Everything involving general topological spaces: generation and description of topologies; open and closed sets, neighborhoods; interior, closure; connectedness; compactness; separation axioms; bases; convergence: sequences, nets and filters; continuous functions; compactifications; function spaces; ...

learn more… | top users | synonyms (3)

2
votes
0answers
83 views

A question on star $\sigma$-compact spaces

A topological space $X$ is said to be star $\sigma$-compact if whenever $\mathscr{U}$ is an open cover of $X$, there is a $\sigma$-compact subspace $K$ of $X$ such that $X = \operatorname{St}(K,\...
2
votes
0answers
56 views

Are there many spaces which have a regular $G_\delta$-diagonal but is not submetrizable?

Are there many spaces which have a regular $G_\delta$-diagonal but is not submetrizable? Submetrizable = if we can choose a coarser topology on the space $X$ and thus make it a metrizable space. $X$...
2
votes
0answers
78 views

Very Simple Universal Covering problem

A space $X$ is constructed from two disjoint copies of $RP^3$ and a copy of the unit interval $I$ by gluing one end of $I$ to a point of one copy of $RP^3$, and gluing the other end of $I$ to the ...
2
votes
0answers
56 views

defining relationship between geometric entities (features)

I have different features located on a plane (2D); I want to define this structure mathematically in a way to represent their relations. Some of features are aligned in horizontally, vertically or ...
2
votes
0answers
334 views

Restriction of a covering map to a subspace

Let $p:X\rightarrow Y$ be a covering map and let $Y_0 \subset Y$. Show that $p|:p^{-1}(Y_0)\rightarrow Y_0$ is a covering map. Hint: Show first that if $V\subset Y$ is well-covered by $p$, then $Y_0\...
2
votes
0answers
208 views

Example of a nontrivial finite covering map

A covering map $p:C\to X$ is called finite when for each $x\in X$ the fiber of $x$ is finite. I have to prove something about such covering maps, but I have never seen a nontrivial example of one. ...
2
votes
0answers
164 views

Pullbacks as manifolds versus ones as topological spaces

Let $Y_1\overset{f}{\longrightarrow}X\overset{f_2}{\longleftarrow} Y_2$ be smooth maps with a common target. Suppose that we have a pullback $Z$ of the diagram in (Mfd). Questions: Suppose that we ...
2
votes
0answers
226 views

Topological proof that this set is a topological manifold

let $S \subseteq \mathbb R^3 \times \mathbb R^3$ be the set of pairs $(x,y)$ where x,y are orthogonal unit vectors in $\mathbb R^3$. i am trying to show that this is a topological manifold without ...
2
votes
0answers
179 views

Find the closure for several sets

(a) $\mathbb{Q}$ (b) {$(x,y)\in\mathbb{R}^2:xy<1$} (c) {$(x,\sin($${1}\over{x}$$)):x>0$} (d) {$(x,y)\in\mathbb{Q}^2:x^2+y^2<1$} First Closure $\overline{A}$, it is a set contains all ...
2
votes
0answers
44 views

Topological inequivalent manifolds obtaining by removing a surface from a manifold

Are there any general techniques for classifying the inequivalent topologies that can be obtained by removing a 2-surface S from a 4-manifold M? I am particularly interest in the case where both M and ...
2
votes
0answers
77 views

Prove that you can't connect both pairs of opposite sides of a square without the two paths intersected.

Formally, let $$D=[-1,1;-1,1]\subset\mathbb{R}^2,$$ and let $f,g:[0,1]\to D$ be two continuous functions, such that $f(0)=(-1,0)$, $f(1)=(1,0)$, $g(0)=(0,-1)$, $g(1)=(0,1)$. Prove that $\exists\zeta,\...
2
votes
0answers
24 views

How to build the space BTOP

Can anybody explain how is the procedure for building the space BTOP, which classifies microbundles of topological manifold ? Is there any good (and easy to read) references on this subject ? Thanks ...
2
votes
0answers
88 views

How to show that for any meager set $A$ in Baire Space, there is a nowhere dense set $C$, such that $A \subseteq C^*$?

Let $X$ be a subset of $\omega^{\omega}$, $X^{*}$ is defined as:$$\{y:(\exists x\in X,\exists N <\omega)(\forall n >N x(n)=y(n))\}$$ which consists of all sequences in $\omega^{\omega}$ that ...
2
votes
0answers
311 views

Different definitions of regularity of a measure

I was wondering what relations are between these different definitions of a regular measure? When are they equivalent? There are two non-equivalent definitions from Wikipedia Let $(X, T)$ be a ...
2
votes
0answers
192 views

sub-basis for a topology on the real line

Consider the closed intervals $[a,b]$ as a sub-basis for a topology on the real line. Describe the resulting topology My attempt If $[a,b]$ is open, and $[a-1,a]$ is open, then the intersection of ...
2
votes
0answers
85 views

Γ-spaces and operads

I'm looking for a comprehensible reference that explains how $\Gamma$-spaces are related to $E_{\infty}$-operads. I've found some old publications but was hoping there are better references out there. ...
2
votes
0answers
64 views

Inverse limits and sums

Let $(X_\alpha)_{\alpha<\omega_1}$ be a family of compact metric spaces such that $X_\alpha$ is homeomorphic to a subspace of $X_\beta$ for $\alpha<\beta$. Can we regard the disjoint sum $\...
2
votes
0answers
135 views

Quotient map from the $(2n+1)$-dimensional sphere into complex projective space is open.

We have a natural quotient map $$\phi\colon S^{2n+1}\rightarrow (\mathbb{C}^{n+1}\setminus{\{0\}})/\mathbb{C}^{*}=\mathbb{P}^n\mathbb{C}$$ and I want to see, that it's open. Denote by $$\iota\colon S^{...
2
votes
0answers
139 views

Homeomorphism between simply connected, closed 3 - manifold and 3-sphere.

The Poincare conjecture states that a simply-connected, closed 3-manifold is homeomorphic to the 3-sphere. Now that the conjecture has been settled, could someone tell me what this homeomorphism is (...
2
votes
0answers
290 views

topology-cofinite topolgy and co-countable topolgy

Let $T_1=\{U:X-U \text{ is finite for all of } X\}$. Then $T_1$ is the cofinite topolgy on $X$,where $X$ is an arbitrary infinite set. Then $T_1$ is not a Hausdorff space.Is it a regular space or a ...
2
votes
0answers
42 views

Understanding intuitively that any loop $p:[0,1] \to S^1$ is end point preserving homotopic to a loop which doesn't change direction.

I'm trying to understand intuitively the proposition that: Any loop $p:[0,1] \to S^1$ is end point preserving homotopic to a loop which doesn't change direction. Surely a loop round a circle ...
2
votes
0answers
290 views

Properly discontinuous action on a non-locally compact space

Let me begin with some definitions in order to avoid confusion. An action of a group $G$ on a space $X$ is proper if the map $G \times X \to X \times X$ given by $(g, x) \mapsto (x, gx)$ is proper, i....
2
votes
0answers
67 views

How to prove an isotopy relative to a point exist?

Let $M$ $ $ be a differential manifold, and $f$ a diffeomorphism on $M$ which is isotopic to $id$. Assuming that $x\in M$ is a fixed point of $f$ and the orbit of $x$ under the isotopy is a trivial ...
2
votes
0answers
155 views

Affine transformation

Let $S_1$ and $S_2$ be sets. Let $n_1$ be the cardinality of $S_1$ and $n_2$ be the cardinality of $S_2$. I assume that $n_1$ and $n_2$ are finite. Let $e$ be a function that maps members of $S_1$ and ...
2
votes
0answers
150 views

A Cartesian product of metric spaces is perfectly $\kappa$-normal

A space $X$ is called perfectly $\kappa$-normal if the closure of any open set (that is, every canonical closed set) is a zero-set. How can i prove this proposition directly? $Proposition$: A ...
2
votes
0answers
185 views

F-space and completely regular space

A completely regular space X is an F-space if for each functionally open set $M\subset X$ every continous function $f: M \rightarrow I $ continuously extendable over X. I want to prove that a ...
2
votes
0answers
20 views

Edwards-Anderson Hamiltonian of a Hopf link

I was calculating the Edwards-Anderson Hamiltonian of a Hopf link. A hopf link is like attachment 1. I have drawn the Seifert surface of that link. The surface is shown in attachment 2. It also ...
2
votes
0answers
119 views

Twisted tori: discrete and continuous

Taking the advice of Mariano Suárez-Alvarez, I moved this question from MO to MSE: Motivation Let me introduce twisted (discrete) tori: Consider the Cartesian graph product $\mathcal{C}_n = C_n \...
2
votes
0answers
69 views

Continuity of linear form

Let $E=\mathbb{R}[X]$ We define $N:\, P \to \sum_{n=0}^{\infty} { |P^{(n)}(n)|}$ ($P^{(n)}$ being the $n$-th derivative) , it is not hard to prove that $N$ is a norm on $E$. Help me to study the ...
2
votes
0answers
203 views

Separable Banach Space

Let $X$ be a real separable Banach space. Let $A\subset X$ be the enumerable set, given by the separability. How can i define a continuous "bijective" function $f:A\rightarrow\mathbb{Q}$, where im ...
2
votes
0answers
62 views

Show that a node of a real curve is homeomorphic to a cross

This is related to this question. Let $C = \{(x,y) \in \mathbb{R};\; x^3 + x^2 - y^2 = 0\}$ equipped with the subspace topology of the euclidian plane. I want to show that there's a neigbourhood $U$ ...
2
votes
0answers
101 views

Separating points from open sets in a compact space without isolated points

Given that $S$ is compact and it has no isolated point. Show that given any nonempty open set $P$ of $S$ and any point $x\in S$, there exists a nonempty open set $V\subset P $ such that $x\notin \bar ...
2
votes
0answers
113 views

Form of weakly continuous linear functional

This was originally a problem in Stratila and Zsido's "Lectures on von Neumann algebras" (E.1.2). I've spent so much time working on it, and right now I cannot see how the result can be so simple. ...
2
votes
0answers
42 views

Initial topology of the spectrum mapping $\sigma$

Let $\mathcal{A}$ be a Banach algebra, the map $\sigma$ maps each element $a\in\mathcal{A}$ to its spectrum $\sigma(a)$, which is a compact subset of $\mathbb{C}$. The collection of compact subsets ...
2
votes
0answers
35 views

Determining whether a path must pass through a given set

I have sets $E^1, \dots, E^n \subset \mathbb{R}^n_{\ge 0}$, none of which contain $0$. I would like to determine whether or not these sets form an "overhang" of $0$. Intuitively speaking, this is an ...
2
votes
0answers
123 views

Ways to decompose a torus for finite element method so that each cell contains a complete revolution of the major radius

I've got a finite element problem involving paths around the interior of a torus. For this particular problem I think I could make things more computationally efficient if each cell in the mesh made ...
2
votes
0answers
194 views

Fiber Bundle: Hairbrush

I am trying to understand the hairbrush example of a fiber bundle from the Wikipedia article on fiber bundles. If I am understanding this, in the hairbrush example E is the hairbrush, ie. all the ...
2
votes
0answers
4k views

Rudin 2.2: Prove the set of algebraic numbers is countable.

Similar to Proving that the set of algebraic numbers is countable without AC "A complex number $z$ is said to be algebraic if there are integers $a_0,\dots,a_n$, not all zero, such that $$ a_0 z^n + ...
2
votes
0answers
67 views

Pointfree generalization of uniform spaces?

Topological spaces generalize as frames and locales. But are there a pointfree generalization of uniform spaces?
2
votes
0answers
146 views

Euler characteristic of structure sheaf of symmetric product

I recently asked about calculating the Euler characteristic of the symmetric square of a space. There we determined that for a sufficiently well-behaved space $X$ there is a formula $$\chi(X \times ...
2
votes
0answers
177 views

Connectedness of the complement of a compact “small” subset of $\mathbb R^n$

Let $C$ be a compact subset of $\mathbb R^n$ and suppose that for every $\varepsilon >0$ there exists a finite family of open disks $B_i$ s.t. $C \subset \bigcup_{i} B_i$ and $\sum_i r_i \le \...
2
votes
0answers
493 views

Subharmonic/Superharmonic Inequality in Gilbarg/Trudinger [Section 2.8]

This is in Section 2.8 of Gilbarg and Trudinger. I believe there are some inaccuracies in the proof supplied, and in any case I think there is a more straightforward proof. Definition: A $C^0(\...
2
votes
0answers
52 views

Topology of $(\mathcal{A},*)$ determined by $\mathcal{A}_{sa}$?

Let $(\mathcal{A},*)$ be a $*$-algebra, we have the following observation: Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be two norms on $\mathcal{A}$ such that the involution is an isometry with respect to ...
2
votes
0answers
394 views

Recovering the topology of an affine scheme from the specialization preorder

Let $A$ be a commutative ring. The specialization preorder on $\mathrm{Spec}(R)$ is given by $\mathfrak{p} \prec \mathfrak{q} \Leftrightarrow \mathfrak{p} \in \overline{\{\mathfrak{q}\}} \...
2
votes
0answers
69 views

Unit partition to produce smooth function from continuous ones

Given a positive continuous function (except on closed set, where is zero ) on a smooth manifold how to find a smooth function under the same conditions being less (or equal) than this one continuous?...
2
votes
0answers
73 views

$\sigma$-product space and $ \Sigma$-product space

Recently, I'm interested in the $\sigma$-product space and $\Sigma$-product space. Is there a survey on $\sigma$-product space and $\Sigma$-product space, which is simple for a beginner? Thanks for ...
2
votes
0answers
148 views

Smooth deformation retracts

Under what circumstances can it be concluded that if two items from the smooth category are related by a topological relationship, then they are also smoothly related in the corresponding way? For ...
2
votes
0answers
201 views

Countable Product of discrete spaces

Let $X$ be a countable discrete topological space. Consider $X^{\mathbb{N}}$ endowed with the product topology. How do you prove that $X^{\mathbb{N}}$ is homeomorphic to the sub-space of all ...
2
votes
0answers
246 views

Can we find a nice definition of Congruence in Topology?

According to my knowledge, quotient structure is a original structure divided by a congruence. However, quotient topology space is defined this way. Quotient_topology In this way, $\sim$ is only said ...
2
votes
0answers
112 views

Berkovich analytification of Robinson fields

Let $\rho$ be an infinitesimal and let $^\rho \mathbb{R}$ be a (non-archimedean) Robinson valued field. Is there anything known about the topological structure of $\mathbb{A}^{1,an}_{^\rho \mathbb{R}}$...