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

learn more… | top users | synonyms (1)

3
votes
4answers
418 views

A generalized diagonal?

A simple question. Let $ f:X\to Y $ be a function and let $ E_f:=\{(x, y): f (x)=f (y)\}\subset X\times X $. What is the name of the set $ E(f) $? It would be nice to have some reference also. It ...
2
votes
0answers
90 views

The Hausdorff quotient of totally disconnected space

Let $G$ be a second countable locally compact Hausdorff group and $X$ be a second countable locally compact almost-Hausdorff $G$-space. If $X$ is totally disconnected and the orbit space X/G is ...
5
votes
1answer
89 views

Continuity of central point operation

Stanisław Mazur and Stanisław Ulam, in their joint paper, characterized the mid-point $\ \frac{a+b}2\ $ in a Banach space in pure metric terms (without algebra). This allowed them to show that any two ...
2
votes
1answer
219 views

Anti-compactness

Let $(X,\tau)$ be a topological space such that $\tau$ is a proper superset of $\{\emptyset, X\}$. We call an open cover $\mathcal{U}$ of $(X,\tau)$ proper if $X\notin \mathcal{U}$. Moreover we say ...
11
votes
1answer
176 views

Nonperiodic points of homeomorphisms of a ball

Suppose $B$ is a $d$-dimensional ball (for some $d \geq 1$) and $T$ is a homeomorphism from $B$ to itself. Suppose also that $T$ is not of finite order (that is, for no $n \geq 1$ is it the case that ...
15
votes
2answers
1k views

The letters of the word “ART”

Edit: According to the Gelfand duality between topological spaces and commutative $C^{*}$algebras, I add some new tags. So the question is that what is the structure of $ Ext (A,A)$ where $A$ is ...
5
votes
2answers
161 views

“All retracts are closed” as separation axiom

The starting point of this question is the fact that any retract of a $T_2$-space is closed. Let's say a topological space $(X,\tau)$ is $T_{\textrm{rc}}$ if all retracts of $X$ are closed. All ...
11
votes
1answer
419 views

Connected components $0-1$ matrices

Let $M$ be a $0-1$ matrix. Here a matrix has one component means we can traverse from a matrix entry $(i,j)$ which is $1$ to any other one by moving step of $(i\pm1,j),(i,j\pm1),(i\pm1,j\pm1)$ where ...
0
votes
0answers
43 views

Baire sets in locally compact Hausdorff spaces

I posed this on 14 Dec. at http://math.stackexchange.com/questions/1067751/baire-sets-in-locally-compact-hausdorff-spaces, but there has been no response: (This is a follow-up to ...
2
votes
0answers
52 views

Remainders in compactifications of completely metrizable spaces

Given a Tychonoff (topological) space $X$, we know that $X$ admits a Hausdorff compactification $cX$. We say the remainder of $X$ in this compactification is $rX=cX\setminus X$. One natural question, ...
2
votes
0answers
111 views

Classify spaces that make extension theorems hold

Recall a Polish space is a completely metrizable separable space. Say a Polish space $Y$ is a terminal space if for any Polish space $X$ and any closed $C \subseteq X$, one can extend a continuous ...
4
votes
0answers
45 views

topological spaces admitting CAT(1) metrics

Suppose that $X$ is a locally contractible completely metrizable topological space. Is it true that $X$ can be metrized as a (complete) CAT(1) metric space? The only result in this direction I know ...
9
votes
1answer
284 views

Nonperiodic points of piecewise-linear homeomorphisms

Suppose $K$ is a compact polytope and $T$ is a piecewise-linear homeomorphism from $K$ to itself. Suppose also that $T$ is not of finite order (that is, for no $n \geq 1$ is it the case that ...
1
vote
0answers
124 views

Topological characterisation of loop spaces

Let $\Omega\colon \mathrm{Top}_*\to\mathrm{Top}_*$ be the loop space functor assigning to each pointed topological space $X$ the pointed space consisting of all based continuous maps $S^1\to X$ ...
0
votes
0answers
118 views

$Ax=b$ in a function space (again)

Let $X$ be compact Hausdorff topological space, $C(X)$ denote the algebra of complex-valued continuous functions on $X$, $b\in \mathbb{C}^m$, $\mathbf{A}\in C(X)^{m\times n}$, Let ${\mathbb{C}}^n$ ...
5
votes
1answer
83 views

Continuity of taking collapse maps

Let $U$ and $V$ be open subsets of $\mathbb R^n$ and let $\mathrm{OEmb}(U,V)$ denote the space of open embeddings of $U$ into $V$ with the compact-opent topology. Let $\bar{U},\bar{V}$ denote their ...
2
votes
1answer
116 views

Hausdorff spaces such that every subset is a retract

Let $(X,\tau)$ be a Hausdorff space such that for every non-empty $A\subseteq X$ there is a continuous map $r:X\to A$ such that $r(a) = a$ for all $a\in A$. Does $\tau$ have to be discrete?
2
votes
1answer
76 views

Name for this topological property similar to “second countable”

let alpha be a cardinal. I want to look at topological spaces with the property that their topology has a basis with cardinality at most alpha. This property of a topological space certainly has a ...
3
votes
0answers
24 views

Unique representability of bounded distributive lattices

Priestley Duality assigns to every bounded distributive lattice $L$ a compact totally order-disconnected topological space $P(L)$, also called a Priestley space. A poset $(P,\leq)$ is called ...
2
votes
2answers
293 views

Topological retraction vs categorical retraction

Let $(X,\tau)$ be a topological space. We say that $A\subseteq X$ is a topological retract if there is a continuous map $r:X\to A$ onto a subspace $A \subseteq X$ such that for all $a\in A$ we have ...
3
votes
1answer
125 views

CCC Forcing and $\omega_1$ conditions

I have a question about the proof of the Lemma 7.2 in the paper I. Juhász, P. Koszmider and L. Soukup, A first countable, initially $\omega_{1}$-compact but non-compact space, Topology and its ...
2
votes
1answer
198 views

A commutative Banach algebra with an abundance of discountinuous functions

Let $A$ be the algebra of all bounded functions from $[0,\;1]$ to $\mathbb{C}$. For $f\in A,\;$ $\omega_{f}$ is the standard oscillation function.. Each of the following two (equivalent) norms ...
0
votes
1answer
146 views

$Ax=b$ in a function space

Let $X$ be compact Hausdorff topological space, $C(X)$ denote the algebra of complex-valued continuous functions on $X$, $b\in \mathbb{C}^m$, $\mathbf{A}\in C(X)^{m\times n}$, for all $x\in X$, ...
3
votes
2answers
220 views

Is the defining bijection for a pullback of topological spaces a homeomorphism?

I work in the category of CGWH spaces enriched over themselves. If a space $P$ is the pullback of $A \rightarrow B \leftarrow C$, then for every space $T$ the canonical map $$Top(T,P) \rightarrow Top ...
8
votes
1answer
203 views

Strongly rigid Hausdorff spaces

A space $(X,\tau)$ is called rigid if $\textrm{Aut}(X)=\{\textrm{id}_X\}$. We say $(X,\tau)$ is strongly rigid if for every continuous map $f:X\to X$ we have that $f = \textrm{id}_X$ or $f$ is ...
11
votes
2answers
548 views

Hausdorff spaces with trivial automorphism group

Is the singleton space the only Hausdorff space $X$ such that the set of automorphisms $\varphi: X\to X$ equals $\{\textrm{id}_X\}$?
3
votes
0answers
49 views

Paracompact and countably compactly generated spaces

A space X is countably compactly generated if it can be written as countable direct limit of compact Hausdorff spaces. Are countably compactly generated spaces paracompact spaces? Do we have ...
1
vote
0answers
156 views

Separability of the space $C(C[0, 1], \mathbb{R})$

Let $E=C([0, 1])$ be the space of all real-valued continuous functions on $[0, 1]$, equipped with the uniform norm. $C(E)$ stand for the continuous real-valued functions on $E$. I am wondering that ...
7
votes
0answers
199 views

Two questions about universally measurable sets

I have two questions about universally measurable sets: (1) Is there a universally measurable set of reals which does not have the Baire property? (2) Is there a universally measurable set of reals ...
2
votes
0answers
89 views

Generalization of Jordan Curve Theorem

Jordan Curve Theorem says that any plane continuum homeomorphic to $\mathbb{S}^1$ separates the plane into exactly two components. Now "Let $\alpha$ and $\beta$ be two homeomorphic plane continua. ...
-3
votes
3answers
145 views

Riemann Mapping Theorem in Higher Dimensions for Continuous funcions [closed]

Is there any analogue for Riemann Mapping Theorem(!) in higher dimensions? Or a much simpler question, is it true that every open subset of $\mathbb{R}^3$ with zero homology in dimensions 1 and 2 is ...
21
votes
1answer
360 views

Which ordered fields are homeomorphic to their power?

It is well known that $\mathbb{R}^2\ncong \mathbb{R}$. It is also known that $\mathbb{Q}^2\cong \mathbb{Q}$. It is a corollary to Sierpiński's theorem which states that every countable metric space ...
1
vote
0answers
85 views

Selecting dense diagonals in $\Bbb T^2$

Let $p$ be a prime number and let $G=\bigcup_{n\in \Bbb N}\{\exp(k\frac{2\pi i}{p^n})\mid k\in \Bbb Z\}$ be a Prüfer group. For homomorphisms $f,g:G\to G$ let $H_{f,g}=\{(f(x),g(x))\mid x\in G\}$. ...
3
votes
1answer
119 views

How many pairwise non-homeomorphic compact, zero-dimensional topologies are there on $\mathbb{N}$?

To make the question more precise: We call a topological space $(X,\tau)$ zero-dimensional if for $x\neq y \in X$ there is a clopen set $U\subseteq X$ with $x\in U, y\notin U$. Let $\mathcal{C}$ be ...
4
votes
1answer
98 views

Maps between spaces of non-empty compact subsets with the Hausdorff distance (reference request)

Let $X, Y$ be metric spaces, and let $PX$ (resp. $PY$) be the set of all non-empty compact subsets of $X$ (resp. $Y$) with the Hausdorff metric. A continuous map $f\colon X\to Y$ induces a continuous ...
5
votes
2answers
155 views

another question about connected open sets in $R^2$

Before posting this question,I just asked a similar question:a question about connected open sets in $R^2$. I got several nice answers.Now I want to ask: Let $U$ be a nonempty connected open set in ...
10
votes
2answers
256 views

a question about connected open sets in $R^2$

Let $U,V$ be two nonempty connected open sets in $\mathbb{R}^2$ and $U\subsetneqq V$.I want to ask if there must exist an open ball $B\subset V$ such that $B\not\subset U$ and $B\cap U$ is a nonempty ...
4
votes
1answer
284 views

Free action of $\mathbb{Z}(2^{\infty})$ on a compact space

Assume that $X$ is a Hausdorff compact space such that $\forall n\in \mathbb{N}$, we have a free action of $\mathbb{Z/{2^{n}}\mathbb{Z}}$ on $X$. Must $\mathbb{Z}(2^{\infty})$ act freely on ...
2
votes
2answers
166 views

Is there an (almost) dense set of quadratic polynomials which is not in the interior of the Mandelbrot set?

For the parameter plane of complex quadratic polynomials, $(z\mapsto z^2+c)_{c\in\mathbb{C}}$ : Is it possible to find a part of the parameter plane, scanned with a given limited precision ...
4
votes
1answer
163 views

When does $\mathbf{Top}/X$ embedd fully faithfully into $\mathbf{Top}$?

Under what conditions on the topological space $X$ is the overcategory $\mathbf{Top}/X$ of topological spaces over $X$ equivalent to a full subcategory of $\mathbf{Top}$? Surely if $X$ terminal i.e. a ...
6
votes
1answer
191 views

“Productively normal” space

If a set $S$ is endowed with the discrete topology $\mathcal{P}(S)$, then for every normal space $N$ the product $S\times N$ is normal. Question: can we endow a set $S$ with another Hausdorff ...
12
votes
1answer
224 views

Universal maps between topological spaces

Let $X,Y$ be topological spaces. We call a continuous map $u:X\to Y$ universal if for every continous map $f:X\to Y$ there is $x\in X$ such that $f(x) = u(x)$. If $u:X\to Y$ and $v:Y\to Z$ are ...
2
votes
0answers
88 views

continuity with respect to weak-${\ast}$ topology

Let $V:=V([0,1],R)$ be the space of all cadlag functions defined on $[0,1]$ of bounded variation. Thus any element $v\in V$ determines a signed measure $\nu$ on $[0, 1]$ given by the formula $\nu([0, ...
2
votes
1answer
61 views

Constructivity of zeros demanded by topological degree

Let $f : S^{n - 1} \to S^{n - 1}$ be a smooth map from the unit vectors of $\mathbb{R}^n$ to themselves. If $f$ has nonzero degree, then we know that any smooth map $g : D^n \to \mathbb{R}^n$ ...
3
votes
1answer
101 views

Characterizing space that preserves positive-definiteness property

Given a symmetric positive-definite matrix $\Sigma$, consider the space $\mathcal{D}$ of diagonal matrices such that $\forall D\in\mathcal{D}$, the matrix $\Sigma-D\Sigma^{-1}D$ is positive definite. ...
3
votes
1answer
110 views

A question about Skorokhod metric

I have a question related to the Skorokhod distance. Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\Lambda$ be the collection of non-decreasing continuous ...
3
votes
1answer
77 views

Skorokhod distance between $\omega, \omega\circ f_{\varepsilon}$ and $\omega, \omega\circ b_{\varepsilon}$

Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\rho$ be the Skorokhod metric on $\Omega$, see e.g. http://en.wikipedia.org/wiki/C%C3%A0dl%C3%A0g Now define ...
1
vote
0answers
104 views

(The Homotopy type of the) lifting of homeomorphism of Grassmanian

For $k<n$ put $FM_{k\times n}$ for the space of all $k\times n$ full rank matrices with real or complex entries. Note that the permutation group $S_{n}$ has an obvious action on this space ...
4
votes
1answer
82 views

Approximation of sets by sets with regular border

What kind of conditions on a (bounded) set $E \subset \mathbb{R}^{n}$ ensure that it can be approximated from outside/inside by sets with regular border (say Lipshitz or $C^{k}$ conditions) in the ...
5
votes
2answers
330 views

Gorelic's Forcing for large Lindelöf spaces with points $G_\delta$

I am trying to understand a step for proving that there exists large Hausdorff Lindelöf Spaces with points $G_\delta$ using forcing. I am following Isaac Gorelic's "The Baire Category And Forcing ...