Tagged Questions

Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

learn more… | top users | synonyms (1)

0
votes
0answers
70 views

What do sparse sets in a norm topology look like in the weak* topology?

I'm wondering if a very "sparse" set in a normed vector space can look connected in the weak* topology. Specifically, Let V be a Banach space, V* its dual, and X a (uncountable) subset of the unit ...
0
votes
0answers
62 views

hyperspaces and selection principals

Two things bother me for which I haven't found an answer yet: 1.Is anyone familiar with an example of a topological space $X$, in which the hyperspace $2^X$ with the upper Fell topology is ...
1
vote
0answers
68 views

A categorical analogue of Debreu's independent factors theorem

Background A major question in Decision Theory is that of the cardinal meaning of a utility function. That is, given a set $X$, a utility function $u:X\rightarrow \mathbb{R}$ represents the choices ...
3
votes
1answer
209 views

Density of linear functionals in $L^2$

Let $X$ be a locally convex topological linear space, and let $\mathbb P$ be a probability measure on $X$. Suppose that $\operatorname{var}(\varphi) < \infty$ for all continuous linear functionals ...
1
vote
2answers
219 views

Existence of non-locally constant functions

Given a nondiscrete compact Hausdorff space $K$, does there always exist a real-valued function $f$ on $K$ that is not locally constant? Why/why not? In http://arxiv.org/abs/math/9505204 the authors ...
0
votes
1answer
85 views

subspace in pseudotopological space

Every topological space gives rise to a pseudotopological space. Conversely, if $X$ is a pseudotopological space then we can define a topology on $X$ such that every filter converging to $x$ in the ...
2
votes
0answers
389 views

Convex hulls of compact sets

Let $A$ be a compact set in a separable Hilbert space $H$, and let $\bar A$ denote its convex hull. Is $\bar A$ compact?
4
votes
1answer
234 views

What is the Stone–Čech compactification of a dense set of $\beta N \setminus N$?

Is the Stone–Čech compactification of a dense $G_\delta$-set $X \subset\beta N \setminus N$ homeomorphic to $\beta N \setminus N$? Here, $\beta N \setminus N$ is the complement of $N$ in the ...
3
votes
2answers
338 views

The quotient of $\mathbb{R}^{n}$ by a closed subset

Let $A$ be a closed subset of $\mathbb{R}^{n}$. Can the quotient space $\mathbb{R}^{n}/A$ be embedded in some Euclidean space $\mathbb R^{m}$? In particular, assume that $A$ is an algebraic variety of ...
17
votes
1answer
502 views

Is Grothendieck classification of tensor norms and Kuratowski's 14 sets theorem somehow related?

It is known that there are only 14 reasonable tensor norms in $Ban$. On the other hand it is well known fact for topologists that one can obtain only 14 different sets from a given set applying ...
6
votes
2answers
194 views

Fixed points and their continuity (2)

Yesterday I asked a question about fixed point. Here is the link. In summary, the question was, Let $f : I^2 \to I$ be a continuous map, where $I := [0,1]$ is the unit interval. It is a basic ...
6
votes
1answer
175 views

Fixed points and their continuity

Let $f : I^2 \to I$ be a continuous map, where $I := [0,1]$ is the unit interval. It is a basic fact that for each $y\in I$, the function $x \mapsto f(x,y)$ admits a fixed point. I want to ask whether ...
12
votes
2answers
391 views

subsets of groups which have to be closed no matter what

One example of a subset of a group $G$ which has to be closed in any topology on $G$ compatible with the group operations is a centraliser. Are there any other interesting examples?
-1
votes
1answer
129 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}$ ...
3
votes
1answer
153 views

Constructible subset of constructible set

Let $X$ be a topological space. Let $F \subset E \subset X$ be subsets. Assume that $E$ is constructible in $X$ and that $F$ is constructible in $E$. Is it true that $F$ is constructible in $X$? We ...
10
votes
3answers
406 views

Is every T0 2nd countable space the quotient of a separable metric space?

Suppose the space $X$ has a countable basis and $X$ is $T_{0}$. Must there exist a separable metrizable space $Y$ and a quotient map q:$Y \rightarrow X$? (Some surrounding facts: Every metrizable ...
1
vote
0answers
83 views

equivalence of topologies defined on $M_1$(a subspace of bounded measures on $\mathbb{R}$)

Let $\mathcal{C}:=\mathcal{C}(\mathbb{R})$ be the space of continuous functions on $\mathbb{R}$ and $\mathcal{C}_b$ its subspace consisting of bounded elements. Define for $\phi(x):=1+|x|$, $$ ...
2
votes
0answers
109 views

Hall's paper on the profinite groups and Andre Weils “voisinage” notion

I am reading through a classical paper A Topology for Free Groups and Related Groups by Marshall Hall Jr. in which profinite groups are defined for the first time. There he defines on p. 129: ...
3
votes
0answers
186 views

Strong measure zero sets and selection principles

A set of reals $X$ is strong measure zero if for any sequence of positive real numbers $ ( \epsilon_n ) _{n \in \omega }$ there is a sequence of open intervals $ ( a_n ) _{n \in \omega }$ which ...
1
vote
1answer
207 views

Interior of a dual cone

Let $K$ be a closed convex cone in $\mathbb{R}^n$. Its dual cone (which is also closed and convex) is defined by $K' = \{ \phi\ |\ \phi(x) \geq 0,\ \ \forall x \in K\}$. I know that the interior of ...
13
votes
2answers
395 views

compact-open topology on $B(H)$

In topology, it is common to use the compact-open topology on the set of continuous maps between two given topological spaces. Let now $H$ be a Hilbert space and $B(H)$ the set of continuous linear ...
3
votes
1answer
308 views

Is there a simple topological proof for a topological theorem about $S^2$?

Consider the problem of coloring each point of $S^2$ with one of two colors (say "black" or "white") so that among any three points of $S^2$ which are the vertices of an equilateral spherical triangle ...
9
votes
1answer
198 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 ...
2
votes
1answer
105 views

Projective limit and connected components

Let $E$ be a topological space. Let $\mathcal{K}$ be the set of the compact subsets of $E$. $(E-K)_{K \in \mathcal{K}}$ is a projective system, because if $K,K'$ are two compacts, there are two ...
9
votes
0answers
165 views

Multiplicity of ball covering

Background. My questions are motivated by the following: A. Conway and Sloane in "On the covering multiplicity of lattices" (Discrete and Computational Geometry, 8 (1992) 109-130) considered the ...
8
votes
2answers
509 views

Totally disconnected locally compact Hausdorff spaces

Can any totally disconnected locally compact Hausdorff space be written as a disjoint union of subsets that are both compact and open? If this is true, does anyone know of a good reference?
14
votes
2answers
979 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 ...
1
vote
0answers
76 views

Topologies on spaces of linear sections

Let $X$ and $Y$ be topological linear spaces which are complete & Hausdorff, and admit dual spaces which separate points. Suppose the topologies are non-separable and non-metrizable. Let $f : X ...
12
votes
7answers
693 views

Examples of toposes for analysts

I've read that toposes are extremely important in modern mathematics, but I find the definitions and examples given on the nLab page a little too abstract to understand. Can you provide some examples ...
2
votes
1answer
158 views

characterization of the unit disk

We know of a charcterization of spaces homeomorphic to [0,1], as being metric continua with 2 noncut points. We have as well a characterization of spaces homeomorphic to the unit circle. I can't find ...
6
votes
1answer
134 views

Constructing a odd homeomorphism between $A$ and $S^n$

I have asked this question here seven months ago and until now I got no answer. Let $A\subset\mathbb{R}^N\setminus\{0\}$ be a closed symmetric set ($x\in A$ then $-x\in A$). Suppose that $A$ is ...
2
votes
1answer
121 views

Tensor product of topological abelian groups with the reals

Given an abelian group A, the tensor product $A \otimes R$, where R are the reals, is naturally an R-vector space. Now suppose that A is a topological abelian group (if necessary, we can assume it ...
0
votes
1answer
273 views

Quotient Metric Space [closed]

Let $(X,d)$ be a metric space and $R\subseteq X \times X$ an equivalence relation. There is a condition for which $X/R$ with the usual quotient topology is a metric space? Thanks!
1
vote
0answers
55 views

Collapsing a countable collection of intervals on $\mathbb{S}^1$

Consider a countable collection $I_n$ of closed connected disjoint intervals on $\mathbb{S}^1$. When this collection is maximal, the set $\bigcap \nolimits_{i=1}^{n}( \mathbb{S}^1 \backslash \bigcup ...
5
votes
1answer
387 views

sets without perfect subset in a non-separable completely metrizable space

Suppose $X$ is a completely metrizable (but not separable) space. Suppose $D$ is a Borel (actually $F_{\sigma}$) subset of $X$. Is there any logical relation between the following statements? [1] ...
6
votes
1answer
391 views

Is there a suitably generalized Baire property for topological spaces of arbitrary cardinalities?

Is there some suitable generalization to the notion of Baire property for topological spaces of arbitrary cardinalities which satisfies the following condition: The meager sets are sets which are ...
20
votes
1answer
795 views

A function composed with itself produces the identity

Let $B$ be the closed unit ball in $\mathbb R^3$ and $f: B\to B$ continuous, such that $f\circ f$ is the identity (i.e., $f\circ f=\mathbb 1_B$) and $f$ restricted on $\partial B$ is also the identity ...
3
votes
1answer
115 views

The finest countably generated free topological group so that $x^{m_{n}}_n\rightarrow 1$?

What is the finest free topological group $H$ with generators ${x_{1},x_{2},...}$ so that $x^{m_{n}}_n\rightarrow 1$ for all sequences $m_{1},m_{2},...$? Is $H \simeq K$, with $K$ the natural ...
2
votes
2answers
364 views

Locally compact space that is not topologically complete

It is know that for a metric space, it is locally compact and separable iff exist an equivalent metric where a set is compact iff it is closed and limited. So, locally compact and seperable metric ...
1
vote
1answer
178 views

algebra-geometry duality

For topological spaces $S$ and $T$, denote by $C(S)$ and $C(T)$ the corresponding algebras of continuous real-valued functions. What are the necessary conditions that we need to impose on $S$ and $T$ ...
4
votes
0answers
215 views

Is the Milnor construction contractible

Let $G$ be any topological group. Then we can form the infinite join $E_G$ of $G$, i.e. the colimit $G*G*G\cdots$. Is $E_G$ contractible? I mean it is clear that $E_G$ is weakly contractible, ...
0
votes
0answers
51 views

Minimal length of connection

I wonder if someone has an example which answers the following problem. Find $X\subseteq\mathbb R^n$ bounded, such that the set $$ \{ \mathcal H^1(S) \colon S\cup X \text{ connected}\} $$ does not ...
3
votes
0answers
227 views

How many ways do we have to prove that a mapping is open?

Given a continuous mapping $f$ between Euclidean domains (or domains in topological manifolds) of the same (topological) dimension, what are the natural assumptions to conclude that $f$ is open? ...
5
votes
1answer
191 views

Completely Metrizable Space and Baire Theorem

Is well know that completely metrizable spaces are Baire's spaces. Reciprocally, if $X$ is a Baire's metric space, then $X$ is completely metrizable?
2
votes
1answer
196 views

Probability measures on $L^p$

Let $(X,\mathcal X,\mu)$ be a fixed measure space, and suppose that $\mu$ is stationary and ergodic with respect to the (left) action of a topological group $G$. Stationarity means that $\mu = g_* \mu ...
20
votes
1answer
536 views

Which spaces have the (weak) homotopy type of compact Hausdorff spaces?

Inspired by the discussion in the comments of this question, I'd like to ask the following question: is it possible to characterize the class of spaces that are homotopy equivalent (or weak ...
2
votes
1answer
147 views

Name of the concept “Topological boundary of A intersected with A”

In closure spaces (thus, also in topological spaces), one may define the boundary of a set A as the closure of A minus the interior of A. This set is partitioned into "the closure of A minus A" and "A ...
5
votes
1answer
356 views

Spaces over which every vector bundle is a summand of the trivial bundle

Let X be a Hausdorff space such that every real vector bundle on X is summand of a trivial bundle. Does this imply that X is homotopy equivalent to a compact Hausdorf space? This question ...
2
votes
0answers
127 views

How many ways we have to prove that a topologically (or analytically) nice mapping is injective?

I would like to know what are the methods people have used to prove that a topologically (or analytically) nice mapping $f: B\to \Omega$ is injective? Above, $B$ is the unit ball in $\Bbb R^n$ and ...
1
vote
0answers
93 views

Characterising singular homology among a more general class of cosimplicial spaces

Is there a way to characterise (up to isomorphism) the cosimplicial spaces $F: \Delta \to \underline{\text{Top}}$ with $F( \underline{n}) \subset \mathbb{R}^{n+1}$ compact and $F(\underline{0})$ a ...