All Questions
72 questions
0
votes
1
answer
101
views
Limit sequence of regular function in $L_1$‘s unit sphere
Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$. For any $f\in U$, we say it is regular if $\int_{x_0\times [0,1]}f=\int_{[0,1]\times y_0}f=1$ for a.e. every $x_0, y_0\in [...
- 349
0
votes
1
answer
92
views
Continuous selectors of a continuous multifunctin on a compact metric space
I am currently working on a continuous selector problem of multifunctions. I am trying to figure out if a continuous multifunction defined on a compact metric space always admit a continuous selector.
...
- 79
0
votes
1
answer
253
views
Is the space $L^p_{\text{loc}} (\mathbb R^d)$ separable w.r.t. the norm $\|f\|_{\tilde L^p} := \sup_{x \in \mathbb R^d} \|1_{B(x, 1)} f\|_{L^p}$?
Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let ${\tilde L}^p (\mathbb R^d)$ be the space of ...
- 835
0
votes
1
answer
279
views
When does strict inclusion holds for the domain of subdifferential?
Recall that, given an extended real-valued function $f: \mathbb{R}^n \to (-\infty, \infty]$
Its effective domain is,
$$\text{dom}(f) = \{x \in \mathbb{R}^n : f(x) < +\infty\}$$
The subdifferential ...
- 103
0
votes
3
answers
554
views
Converting a bounded metric into an unbounded metric
Suppose $d$ is a bounded metric on $X$, i.e. $d(x,y)< K<\infty$ for all $x,y\in X$. Is there a standard way to convert $d$ into another metric $\widetilde{d}$ on $X$ with the property that $\...
- 710
0
votes
1
answer
127
views
Continuous extensions of tangent vector fields
Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
- 434
0
votes
1
answer
80
views
Continuous modification of tangent vector fields
Let $\Omega$ be an open subset of $S^2$, and assume that there exists a continuous tangent vector field $F(x)$ defined on $\bar{\Omega}\neq S^2$ with $|F(x)|=1$ for all $x\in \bar{\Omega}$. Suppose a ...
- 434
0
votes
1
answer
843
views
$C^{\infty}_{loc}$-convergence - right definition
Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...
- 35
0
votes
1
answer
208
views
The pth power of a distance function is twice continuously differentiable, for $p>2$?
Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$.
Is $\beta^p$, $p>2$ a twice continuously ...
- 9
0
votes
1
answer
290
views
Tensor product is complete?
Let $(V,\|\cdot\|_V)$ and $(W,\|\cdot\|_W)$ be Banach spaces and let the norm $\|\cdot\|_{V\otimes W}$ on the tensor product space $V\otimes W$ be admissible in the following sense: for $v\in V, w\in ...
- 177
0
votes
1
answer
243
views
Condition for set of the type $\{(a,b)|a \in A, \ b = f(a)\}$ to have empty interior if $A$ has empty interior [closed]
Let us consider $$\mathcal X = \{(a,b)|a \in A, \ b = f(a)\}, $$ where $A \subset L^1(\mathbb R)$ has empty interior and $f:L^1 \to L^1$ is a bijective map. Does $\mathcal X$ also have empty interior? ...
- 839
0
votes
1
answer
969
views
Is the pointwise supremum of a continuous function continuous?
Suppose $f(x , y)$ is continuous in both variables. For any $\epsilon > 0$ and some $y_0$, let $h_{\epsilon}(x) = \max_{y^{'}: \| y^{'} - y_0 \| \leq \epsilon} f(x , y^{'})$. It seems to me that $...
- 3
0
votes
1
answer
86
views
Lattice of functions and their minimal separating set upto topological equivalence
There is a very wide series of questions I have been thinking about and I am wondering if there is any literature on this type of structures.
Let's start with the set of all functions $F: \mathbb{R} \...
- 39
0
votes
1
answer
223
views
Dense $G_{\delta}$ set with $\sigma$-porous complement is cofinite?
Let $X$ be a separable Banach space and $D\subseteq X$ be a
proper, connected, and dense $G_{\delta}$ subset of $X$,
$X-D$ is $\sigma$-porous.
Then is $X-D$ contained in a finite-dimensional ...
- 5,405
0
votes
0
answers
131
views
Cyclic group action and finite invariant set
Let $(X, d)$ be a compact metric space and $G$ a discrete group acting on $X$ such that, for each $g\in G$, the mapping $x\mapsto g\cdot x$ defines a homeomorphism on $X$
Is it true that the ...
- 307
0
votes
0
answers
94
views
Is the space of affine continuous functions a Baire space
Let $\Omega$ be a compact convex set in q linear normed space. Let $A(\Omega)$ be the space of affine continuous real-valued functions. My question is whether the space $A(\Omega)$ is a Baire space? ...
- 675
0
votes
0
answers
147
views
Approximation of Inductive Tensor Product $C(X) \bar{\otimes} C(Y)$
The following question is from Banach Algebra Techniques in Operator Theory written by Ronald G. Douglas.
Assume both $X, Y$ are Banach spaces and $X \otimes Y$ is the algebraic tensor product. Let ${...
- 307
0
votes
0
answers
153
views
extension of function in an abstract metric space
my question is the following.(Maybe my title is not quite proper for this question):
Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set $...
- 1,835
-1
votes
1
answer
168
views
Space of distributions on $[0,1]^2$: weakly compact or not?
Let $X_1,X_2$ be distributions on $[0,1]$ and let $X=(X_1,X_2)$ be the joint distribution of $X_1,X_2$. Let $\mathcal{X}$ be the set of all such joint distribution $X$.
Question 1: Does $\mathcal{X}$ ...
- 349
-1
votes
1
answer
346
views
An infinite set in a compact space
Let $X$ be a topological space. Is there any characterization for the property that says "for every infinit subset $A$ of $X$ there exists $a\in A$ such that if $f$ be an arbitrary real continuous ...
-1
votes
1
answer
81
views
Closed on generic set implies closed set whole set [closed]
Assume that $f:\mathbb{R}^{2}\rightarrow \mathbb{R}^{2}$ is a continuous on a set $A$. Let $B \subset A$ be a generic set in $\mathbb{R}^{2}$ i.e, the countable intersection of the open and dense ...
- 1,043
-3
votes
1
answer
315
views
Are the injective functions dense in $C([0,1]^n,\mathbb R^n) $?
Let $n\geq 2$. Are injective functions dense in $C([0,1]^n,\mathbb R^n) $ with the uniform norm?
- 4,074