Semicontinuity

General Topology
Post Reply
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Semicontinuity

#1

Post by Tsakanikas Nickos »

Definition: Let $Y$ be a topological space. A function $ \varphi \ \colon Y \longrightarrow \mathbb{Z} $ is called upper semicontinuous if for every $y \in Y$ there exists an open neighborhood $U$ of $y$ such that $ \varphi(y) \geq \varphi(y^{\prime}) $ for all $ y^{\prime} \in U $.

Show that a function $ \varphi \ \colon Y \longrightarrow \mathbb{Z} $ is upper semicontinuous if and only if for every $ n \in \mathbb{Z} $ the set $ \left\{ \, y \in Y \ \big| \ \varphi(y) \geq n \, \right\} $ is a closed subset of $Y$.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 16 guests