# Tagged Questions

**1**

vote

**0**answers

45 views

### question about a genralized Skorokhod topology

Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
...

**0**

votes

**0**answers

114 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 ...

**2**

votes

**1**answer

92 views

### Characterization of a subset of [0,1] $III$

I have a question related to the previous one.
Characterization of a subset of [0,1] $II$
Let $T\subseteq [0,1]$ be some subset closed under lower limit topology, i.e.
$t_n$ is said to converge to ...

**7**

votes

**1**answer

231 views

### Counting norms on an infinite dimensional vector space

It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...

**25**

votes

**9**answers

1k views

### Continuous relations?

What might it mean for a relation $R\subset X\times Y$ to be continuous? In topology, category theory or in analysis? Is it possible, canonical, useful?
I have a vague idea of the possibility of ...

**6**

votes

**1**answer

170 views

### Finiteness as a motivation for compactness

Another history question, and I am not sure if I will get any answers. (If anyone knows of a good history of math list to use for this question I would be happy for any tips. The one I used to post to ...

**1**

vote

**1**answer

70 views

### Continuous real function on germs

Let $C_0^{m,n}$ be the space of germs of continuous maps from $\mathbb{R}^m$ to $\mathbb{R}^n$, located at $0\in\mathbb{R}^m$, with the usual inductive limit topology. One can also consider ...

**1**

vote

**0**answers

62 views

### Tubular neighbourhood which is nowhere piecewise linear

I recently asked this question.
I think, if the following were true, then I would solve my problem.
Let $E\subset\{(x_1,\dots,x_n)\in\mathbb R^n\;|\;x_i\geq 0\, \&\, \sum_ix_i=1\}$ be a convex ...

**1**

vote

**0**answers

103 views

### Relationship between weak Lp and strong Lq topologies for q<p

Specificaly:
Does convergence in $L^{\frac{1}{2}}$ imply weak $L^2$ convergence?
Having a limit in $L^{\frac{1}{2}}$ topology and a limit in weak $L^2$ topology whether these are always equal? If ...

**16**

votes

**2**answers

470 views

### Is the notion of fixed point property for topological spaces an absolute notion?

Recall that a topological space $X$ has the fixed point property (FPP) if any continuous function $f: X\to X$ has a fixed point.
Is the notion of FPP for topological spaces an absolute notion? More ...

**0**

votes

**0**answers

30 views

### Is the multiplicity of a Sobolev mapping alwasys locally essentially bounded？

I have the following question:
Let $f:\Omega\to \mathbb{R}^n$ be a (sense-preserving) continuous Sobolev mapping in $W^{1,n}$, where $\Omega$ is a domain in $\mathbb{R}^n$. By Sard's theorem for ...

**-1**

votes

**1**answer

124 views

### Is the countably infinite product of locally convex topological vector spaces locally convex?

Let $(X,\tau)$ be a locally convex topological vector space and denote the product space
$$X^{\infty}=X\times X\times X\cdots:=\big\{x=(x_i)_{i\geq 1}:~ x_i\in X\big\}$$
If we endow $X^{\infty}$ ...

**9**

votes

**1**answer

197 views

### Is it always possible to “encircle” exactly $n$ points in an infinite subset of $\mathbb{R}^d$ without limit points?

Let $d$ be a positive integer, and let $\mathbb{R}^d$ be endowed with the
Euclidean metric. Given an infinite set $S \subset \mathbb{R}^d$ without limit points
and a positive integer $n$, is there ...

**14**

votes

**2**answers

959 views

### Generalization of Darboux's Theorem

Darboux's Theorem. If $f:[a,b]\to\mathbb R$ is differentiable and $f'(a)<\xi<f'(b)$, then there exists a $c\in (a,b)$, such that $\,f'(c)=\xi$.
Does any of the following generalizations
Let ...

**4**

votes

**1**answer

200 views

### Hausdorff metric on C[0,1]

Let us consider $C[0,1]$, the space of continuous functions $f\colon [0,1] \to \mathbb{R}$. It comes usually with the metric of the maximum, or of the supremum, $d_{L^{\infty}}$. Each element $f$ in ...

**16**

votes

**2**answers

505 views

### Intersection of compact sets in the unit interval

Let $\mathscr K$ be an uncountable set such that every $K\in\mathscr K$ is a compact subset of $[0,1]$ with positive Lebesgue measure. Does it then follow that there exists an uncountable $\mathscr ...

**8**

votes

**1**answer

312 views

### Partition $\Bbb{R}$ into a family of sets each one homeomorphic to the Cantor set

It is known that there is no (nontrivial) partition of $\Bbb{R}$ into a countable number of closed set. But is there a partition of $\Bbb{R}$ into sets, each one homeomorphic to the cantor ternary ...

**7**

votes

**3**answers

476 views

### Continuous functions as uniformly continuous function

Three question concerninng metrics on the real line:
Is there a metric $d$ on $\Bbb{R}$ such that a function $f : (\Bbb{R},d) \longrightarrow (\Bbb{R},d)$ ( or $f : \Bbb{R} \longrightarrow ...

**-2**

votes

**1**answer

172 views

### non-trivial convergent sequence [duplicate]

I have reached a deadlock to find a example to show that a compact Hausdorff space does not need to have a no non-trivial convergent sequence.(except $\beta\omega$)
can you give me a example of ...

**1**

vote

**1**answer

101 views

### Special finite subcover of a compact

Let $(a,b)\in \mathbb R^n$. We consider the following open cover of the compact line segment $[a,b]$: $$[a,b]\subset\underset{x\in [a,b]}{\bigcup}B(x,\rho_x),$$
where for $x\in K,B(x,\rho_x)$ is a ...

**0**

votes

**0**answers

68 views

### Extending coverings over dense subsets

Let $X$ be a metric space with $D⊆X$ a dense subset.
If there is a covering for $D$, under which conditions on the covering is it possible to guarantee that the covering also covers $X$?
For a ...

**0**

votes

**1**answer

175 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 ...

**12**

votes

**11**answers

1k views

### Classic applications of Baire category theorem

I've seen Baire category theorem used to prove existence of objects with certain properties. But it seems there is another class of interesting applications of Baire category theorem that I have yet ...

**2**

votes

**1**answer

227 views

### Baire sets of $X$ possess the required Cartesian product property

Let $X=X_{1}\times X_{2}$ is locally compact space, and define $$E=\{E_{1}\times E_{2}\mid E_{i}\text{ is a Borel set in }X_{i}\;,\text{ for}\; i=1,2\}$$ Now why the Baire sets of $X$ are in the ...

**0**

votes

**1**answer

174 views

### Length of intersection of intervals

Can anyone prove this statement? It seems true, but I'm finding it tricky to give a concise proof.
Fix $\alpha\in[0,1]$. Let $\mu$ be Lebesgue measure. Define $B(c,r)\equiv[c-r,c+r]$, where $[\cdot, ...

**5**

votes

**1**answer

291 views

### Arbitrary small positive lower semi continuous functions

This question is a generalization of the question posed in this page to lower semi continuous functions. so let me describe the Question in the following way.
Def: Let $(X,\tau)$ be a Tychonoff ...

**1**

vote

**1**answer

258 views

### The set of Upper semi-continuous functions as a ring.

I should recall that the surgenfery topology on the real numbers is denoted by $\mathbb{R}_l$, and has the set
{$[a , b): a,b \in \mathbb{R} $} as it's base.
If $X$ is a topological space, an upper ...

**7**

votes

**5**answers

814 views

### Homeomorphism of the rationals

In working with the classification of stable vector bundles on $\mathbb{P}^2$, I've found that I need to answer a fairly basic question from analysis/point set topology. Here it is.
Suppose ...

**1**

vote

**1**answer

222 views

### Technique: Compactness => (Finite -> Reals)

Context
I'm studying a classical results of Erdos and Lovasz, on colorings of the real line.
The theorem to be proved is as follows:
Let $m, k$ be two positive integers satisfying:
...

**6**

votes

**3**answers

979 views

### functional subrings

I should recall the notion of maximal subring of a commutative unitary ring $R$.
Def: A commutative ring $S$ is called a maximal subring of $R$ if $S \subset R$ and if $T \subset R$ constitute a ...

**5**

votes

**0**answers

562 views

### Maximal ideals of the rings of Baire- One Functions

A real function $f:X\rightarrow \mathbb{R}$ Is called Baire-one function, if there is a sequence $(f_n)_{n=1} ^\infty$ of continuous functions $f_n:X\rightarrow \mathbb{R}$ on $X$ so that for all ...

**5**

votes

**4**answers

480 views

### Existence of an arbitrary Small positive continuous real Valued Function

Let $(X,\tau)$ be a Tychonoff Topological space.
For each $x\in X$ consider an arbitrary positive real number $\epsilon_x>0$. Is There a continuous real valued function $f:X\rightarrow ...

**0**

votes

**3**answers

256 views

### Some Questions about zero-dimensional subsets of the unit interval related to cantor set

Let $\mathbb{P}$ denote the set of all irrational numbers in the open segment$(0 , 1)$. let $K$ be the intersection of $\mathbb{P}$ and the standard cantor set and $H=\mathbb{P}-K$. as you know these ...

**0**

votes

**0**answers

106 views

### Stable subsets with respect to pointwise convergence.

Consider the linear spacet $\mathcal{F}(\mathbb{R}^n)$ of all real functions defined in $\mathbb{R}^n$. It is well known that the subspace $\mathcal{C}(\mathbb{R}^n)$ of all real valued continuous ...

**0**

votes

**0**answers

201 views

### Approximating compact sets with finite sets

Let $(X,d)$ be a metric space. Let $F(X)$ denote the collection of finite subsets of $X$ and let $K(X)$ be the collection of all non-empty compact subsets of $X$. I want to show that $K(X)$ is equal ...

**5**

votes

**2**answers

416 views

### On the uncountability of zero sets

If $f$ is any real-valued function, we define its zero set $Z_f = \{ x : f(x) = 0 \}$. Obviously, the zero set of a nice function can be uncountable. e.g., if $f(x) = 0$ on an uncountable domain.
I ...

**7**

votes

**2**answers

636 views

### Patching together homeomorphisms: how badly can it fail?

Suppose we have a set $X$ with $X=U \cup V$. If we pick a permutation $f$ of $U$ and a permutation $g$ of $V$ which agree on the intersection $U \cap V$, we can coalesce them into one big endo-map $F$ ...

**0**

votes

**1**answer

188 views

### Special functions on the unit disk

Let $\mathbb{D} = \{ (x,y) \in \mathbb{R}^2 \mid x^2 + y^2 < 1 \}$ be the unit disk.
We say a function $f : \mathbb{D} \rightarrow \mathbb{D}$ is a winner if it satisfies the following:
1) it is a ...

**28**

votes

**1**answer

1k views

### Every real function has a dense set on which its restriction is continuous

The title says it all: if $f\colon \mathbb{R} \to \mathbb{R}$ is any real function, there exists a dense subset $D$ of $\mathbb{R}$ such that $f|_D$ is continuous.
Or so I'm told, but this leaves me ...

**15**

votes

**1**answer

1k views

### Does Arzelà-Ascoli require choice?

Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version:
...

**4**

votes

**0**answers

772 views

### Proofs of Baire category theorem

I would like to have a list of proofs of the fact that the real line is not meager (also very useful would be a reference to such a list, if it already exists somewhere).
My motivation is the ...

**10**

votes

**3**answers

1k views

### Can there be two continuous real-valued functions such that at least one has rational values for all x?

Of course, no continuous real valued non-constant function can attain only rational or irrational values, but can there be a pair of nowhere-constant continuous functions f and g such that for all x, ...

**0**

votes

**2**answers

231 views

### A Jordan Arc in the unit disk

Let D be the open unit disk, and J a Jordan arc (that is a homeomorph of [0, 1]) that lies in D, except J(0) lies on the boundary of D, say J(0)=1. I would like to see that D\J([0, 1]) is a path ...

**2**

votes

**1**answer

1k views

### What is the pure intuition for topological continuity and topology? [closed]

I have read the introductory sections of many books on Real Analysis and Topology, yet nowhere have I found an unbiased motivation for the notions of either topology or (topological) continuity.
The ...

**4**

votes

**0**answers

445 views

### continuous selection of a multivalued function?

The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...

**10**

votes

**2**answers

1k views

### Continuous function from $[0,1]$ to $[0,1]$

Does there exist a continuous function $f:[0,1]\rightarrow [0,1]$ such that $f$ takes every value in $[0,1]$ an infinite number of times?

**19**

votes

**4**answers

1k views

### Which is the correct ring of functions for a topological space?

There is a fact that I should have learned a long time ago, but never did; I was reminded that I did not know the answer by Qiaochu's excellent series of posts, the most recent of which is this one.
...