Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [semicontinuity]

The tag has no usage guidance.

0
votes
1answer
77 views

If a function follows another one's range order, can we say it follows some continuity properties?

Suppose that $(X,d)$ be a complete metric space, $f:X \to \mathbb{R}$ is a sequentially lower monotone function. Let $g: X \to \mathbb{R}$ be a function with the property: $f(x)\leq f(y) \Rightarrow g(...
1
vote
1answer
63 views

Takahashi minimization theorem for lower pseudo-continuous functions on complete metric spaces

Takahashi minimization theorem says : Let $(X,d)$ is a complete metric space, $f:X\to \mathbb{R}\cup\{+\infty\}$ is a proper(not constantly +$\infty$) lower semi continuous function, which is bounded ...
0
votes
1answer
98 views

An extension for lower semi continuous lower bounded real valued functions class

Let $(X,d)$ be a complete metric space. I need some explanations about the class of all functions like $f$ which have $f:X \to \mathbb{R}\cup\{ +\infty\}$, be a lower bounded and, for all $y \in X$ we ...
3
votes
1answer
121 views

Continuity concepts for correspondences

Consider two metric spaces (X,d) and (Y,d') and a correspondence F from X to Y. Does a topology on the power set of Y, P(Y) exists such that F is upper (resp. lower hemi- continuous) if and only if F ...
2
votes
0answers
70 views

lower semicontinuity of the number of extreme points

Do you know the reference for the following fact: the number of extreme points of a compact convex subset of a locally compact space varies lower semicontinuously when we endow the space of compact ...
1
vote
1answer
101 views

Does there exist a class of real-valued upper semicontinuos functions on $X$ such that $\mathcal{F}$ is countable?

Ian Morris quoted the following: For any upper semi-continuous function $f \colon X \to [-\infty,+\infty)$ defined on a nonempty topological space $X$ there exists a nonempty set $\mathcal{F}\...
2
votes
0answers
169 views

When will the upper regularization of a bounded function not defined?

Suppose $E$ is a compact metric space. A function $f :E \rightarrow \mathbb{R}$ is upper semicontinous if for all $c \in \mathbb{R}$, $f^{-1}(-\infty, c)$ is open in $E.$ For any real-valued ...
1
vote
1answer
435 views

properties of orderd upper and lower semi continuous functions [closed]

$M$ is a compact space. Assume $f$ is upper semi-continuous on $M$, $g$ is lower semi-continuous on $M$, and $f(x) \geq g(x)$ for any $x\in M$. If $f(x_0) = g(x_0) $ for some point $x_0\in M$, is it ...
1
vote
0answers
27 views

Semi-continuity extends to dual

Say $f \colon X \to \mathbb{R}$ is a lower semi-continuous on a compact space $X$. Let $\mathcal{P}(X)$ denote the space of Borel probability measures on $X$, and let $f^* \colon \mathcal{P}(X) \to \...
5
votes
2answers
936 views

Upper semicontinuity of set-valued maps with open values

Let $X$ and $Y$ be metric spaces. The $(\varepsilon,\delta)$-definition of continuity of single-valued maps can be rephrased as: Let $f$ be a single-valued map from $X$ to $Y$. $f$ is continuous at ...
2
votes
1answer
101 views

Lebesgue measurability of singular set

Let $\Omega$ be a bounded domain in $\mathbb{R}^{d}$ and $f:Q\to\mathbb{R}$ be continuous function. Define a superdifferential of $f$ at $x\in Q$ by $$ D^{+}f(x)=\{p\in\mathbb{R}^{d} \mid \text{$f(y)\...
1
vote
0answers
442 views

Approximation of semicontinuous functions by continuous (or smooth) functions with closed form

I'm looking for a sequence $(f_{\epsilon})_{\epsilon>0}$ of continuous (or smooth) functions approximating a semicontinuous function $f$. Here, for approximation, pointwise convergence is fine. For ...
4
votes
1answer
257 views

Is the embedding dimension minus the dimension upper semicontinuous?

For a Noetherian local ring $R$ with maximal ideal $\mathfrak{m}$ and residue class field $K$, consider the invariant $$\operatorname{def}(R) := \operatorname{dim}_K(\mathfrak{m}/\mathfrak{m}^2) - \...
8
votes
1answer
217 views

Do semialgebraic sets depend outer semicontinuously on their defining polynomials?

Consider a compact (semialgebraic) ball $B\subset \mathbb{R}^n$ and a semialgebraic set $A=A(f_1,\cdots,f_s)\subset \mathbb{R}^n$ defined through some representation in terms of polynomials $f_1,\...
1
vote
0answers
57 views

Upper semicontinuity in C(X)-algebras. Quotient norm question

upper semicontinuity in C(X)-algebras In the 5th paragraph of this post, I don't understand why there exists a vector b satisfying $||a+b||_A < ||q_x (a)||_A(x)$ By the definition of the quotient ...
7
votes
0answers
400 views

Lower semicontinuity of naive fiber size

I would like to present the following result in my algebraic geometry class, but it is seeming much harder than I would expect. Since my class is working with closed points over an algebraically ...
10
votes
2answers
480 views

Geometric applications of Ekeland's variational principle

I'm looking for geometric applications of Ekeland's variational principle in order to see it at work in a context I'm familiar with. Let me recall the principle itself: Definition. Let $(X,d)$ be a ...