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

learn more… | top users | synonyms (2)

1
vote
1answer
107 views

A Hausdorff atom in lattice of group topologies

Do you have an example of an infinite Hausdorff nonabelian topological group $(G,\mathcal T)$ such that for any nontrivial group topology $\mathcal S$ on $G$ with $\mathcal S\subseteq \mathcal T$ we ...
1
vote
1answer
167 views

Two questions on path connected spaces

Is it true to say that a compact hausdorff space $X$ is path connected if and only if for every continuous function $f:X\to \mathbb{C}$, we have $f(X)\subset \mathbb{C}$ is path connected? ...
0
votes
1answer
172 views

Totally non hereditary $C^{*}$-subalgebras

Assume that $B$ is a $C^{*}$ subalgebra of $A$. We say $B$ is totally non hereditary subalgebra of $A$ if not only $B$ is not a hereditary subalgebra but also it is not isomorphic to any ...
5
votes
2answers
312 views

Quotient of metric spaces

Let $(X,d)$ be a compact metric space and $\sim$ an equivalence relation on $X$ such that the quotient space $X/\sim$ is Hausdorff. It is well known that in this case the quotient is metrizable. My ...
2
votes
1answer
111 views

Is $ {C_{c}}(G) $ a meager subset of $ {L^{2}}(G) $ for a second-countable locally compact Hausdorff group $ G $?

The following problem is a stumbling block in a research project that I am working on: Problem. Let $ G $ be a second-countable locally compact Hausdorff group with a fixed Haar measure. Is it ...
2
votes
1answer
99 views

Why finite dimensional MCS-space implies $\mathbb{R}^m\times cone$ locally?

Frequently, I see a statment of the result in reference that a finite dimensional Alexandrov spaces is locally a product $\mathbb{R}^m\times cone$. It seems that this result comes from Perelman's ...
4
votes
1answer
165 views

Proper continuous image of metrizable space

Motivated by the following post, "Gelfand duality" and the fact that "a Hausdorff continuous image of a compact metric space is metrizable", we ask: What is a counter example of two locally ...
4
votes
1answer
105 views

Some questions about “inspecting” the boundary of a closed ball in Hilbert space

Let H be a separable Hilbert space and suppose that H is infinite dimensional. Let B be a closed ball of H-which has a positive radius-and let S be the boundary of B. A non-empty subset C of H is an ...
6
votes
2answers
534 views

Co-Hausdorffification

Given a topological space $(X,\tau)$ we can define the "$T_2$-ification" of $X$ by setting $T_2(X,\tau) = X/\simeq$ where $x\simeq y$ in $X$ if and only if for every open neighborhood of $x$ has ...
6
votes
1answer
234 views

A question on compact sets

Let $K\subset \mathbb{R}^N$ be a compact set. We say $K$ is "good" if the following property holds: Given a set of open neighborhoods $\{x\in U_x\subset \mathbb{R}^N\}_{x\in K}$ there exists a finite ...
1
vote
0answers
154 views

Generating the sigma algebras on the set of probability measures

I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and ...
1
vote
0answers
106 views

Properties of “incomplete finite simplicial complexes”

Definition: We say that $K'$ is an incomplete finite simplicial complex if there exists a finite simplicial complex $K$ such that $|K'|=|K|\backslash Y$ where $Y$ is a union of some open faces of K. ...
14
votes
2answers
259 views

Choosing a metric in which homeomorphism is Holder continuous

Let $X$ be a compact metrizable space, and let $f:X \to X$ be a homeomorphism. Is it always possible to choose a compatible metric on $X$ in which $f$ is Holder continuous? I've tried some simple ...
6
votes
2answers
134 views

Image of poset with Hausdorff interval topology

Given a poset $(P,\leq)$ the interval topology $\tau_{\text{int}}(P)$ on $P$ is generated by $$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$ where $\downarrow x = ...
4
votes
1answer
115 views

Product of posets with Hausdorff interval topology

Given a poset $(P,\leq)$ the interval topology on $P$ is generated by $$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$ where $\downarrow x = \{y\in P: y\leq x\}$ and ...
1
vote
0answers
99 views

continuous homomorphism with open image in a product topological space

I originally posted the problem below in MathSE, but I deleted it since it is not receiving any attention. So I decided to transfer the question here instead. Let $G$ be a profinite group and $I$ ...
7
votes
0answers
116 views

Is $(\omega+1)^\omega$ with the box topology ultraparacompact?

Let $\omega+1$ be endowed with the interval topology, that is $U\subseteq (\omega+1)$ is open if $U\subseteq\omega$ or $(\omega+1)\setminus U$ is finite. We call $U\subseteq (\omega+1)$ basic if ...
4
votes
1answer
167 views

Paracompact zero-dimensional space without clopen partition refinement

If $(X,\tau)$ is a topological space we say that an open cover $\mathcal{U}$ is a clopen partition cover if it consists of disjoint clopen sets. Trivially, every clopen partition cover is locally ...
2
votes
0answers
90 views

Regularity of Dirac measure on Baire sets [closed]

Suppose $X$ is a locally compact Hausdorff space. Define the Baire sets in $X$, denoted by $\mathcal Ba(X)$, to be the smallest $\sigma$-algebra that contains all compact $G_\delta$ subsets of $X$. ...
6
votes
2answers
283 views

The Metrizability of Symmetric Products of Metric Spaces

The (infinite) symmetric product of a based topological space $(X,e)$, denoted by $\mathrm{SP}(X,e)$, can be viewed as the topological space of ''multisets'' in $X$ containing the base point $e$ ...
6
votes
1answer
339 views

Sierpinski-like spaces

Let $\mathbb{S}$ be the Sierpinski space, that is $\mathbb{S}$ has $\{0,1\}$ as a base set, and $\tau = \{\emptyset, \{0\}, \{0,1\}\}$ as a topology. The Sierpinski space $\mathbb{S}$ has the ...
2
votes
1answer
113 views

Closed sets in ordinal spaces

I'm studying the ordinal space $[0,\kappa[$ where $\kappa\neq \omega$ is a cardinal of countable cofinality and I want to know why there are in $[0,\kappa[$ two disjoint closed sets of cardinality ...
0
votes
1answer
412 views

What is the meaning of non-Hausdorff spaces in algebraic geometry [closed]

At the beginning I should warn everybody reading this post: I don't know much about algebraic geometry so specialists in this subject may see my question as ignorant. As far I understood one on the ...
2
votes
1answer
312 views

A question in general topology

Motivated by this question we ask: Up to homeomorphism, are there only a finite number of connected locally compact hausdorff topological space $X$ such that $X$ has an open set $U$ ...
1
vote
0answers
107 views

The category of discontinuous Banach spaces

A banach space is discontinuous if it is isometric to $DC(X)$ for some Hausdorff topological space $X$. ($DC(X)$ is defined here. We denote by $DBan$, the category of all discontinuous ...
9
votes
0answers
82 views

A 2 dimensional Sharkovskii type Theorem

Does there exist a homeomorphism of $\mathbb{R}^2$ with a periodic point of period three and no fixed points? Note that according to a theorem from Brouwer such homeomorphism must be orientation ...
7
votes
1answer
157 views

Foliation with leaves which are and are not dense

Do there exist a foliation on a closed surface (i.e. real dimension 2) which has a dense leaf and also a leaf which is not dense?
4
votes
5answers
866 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 ...
3
votes
0answers
141 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
108 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 ...
3
votes
1answer
246 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 ...
14
votes
1answer
342 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 ...
16
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 ...
1
vote
0answers
196 views

On matrix rank inequality

Let $A$ be a $\{0,1\}$ square matrix. Let $J$ be all $1$ matrix. Let $\bar{A}=J-A$. Is it possible for $rk_+(A)\geq c\cdot rk_+(\bar{A})^d-1$ and $rk_+(\bar{A})\geq c\cdot rk_+({A})^d-1$ for some ...
6
votes
2answers
192 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
531 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 ...
2
votes
0answers
73 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
126 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
58 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 ...
10
votes
1answer
318 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
152 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
137 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
95 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 ...
6
votes
3answers
343 views

Infinite topological spaces such that every subset is a retract

Let $X$ be an infinite set and let $(X,\tau)$ be a topological 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 this ...
4
votes
1answer
135 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?
3
votes
1answer
90 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 ...
5
votes
0answers
36 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 ...
4
votes
2answers
345 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
143 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
281 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 ...