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)

1
vote
0answers
47 views

$SO(3)$ vs 3-Torus

$SO(3)$ and 3-Torus both can be viewed via rotations for a rigid body. They are not diffeomorphic. $SO(3)$ can be decomposed into three axial rotations. Could I think the reason they are not ...
1
vote
0answers
42 views

technique of showing a set is a topology

Let $X $ be a set and let $Y\subset X$. Define $\tau_Y $ to be the collection of all subsets U of X such that $Y\subset U $ or $U= \emptyset $ . Prove that $\tau_Y $ is a topology on $X $. I have ...
1
vote
0answers
13 views

Are there any other measures of complexity for a continuous map than topological entropy?

Let $X$ be a compact topological space and $T\colon X\to X$ be continuous. In order to say something about the complexity of $(X,T)$ there is of course the notion of topological entropy of $T$, ...
1
vote
0answers
21 views

Upper-hemicontinuity of product maps on compact metric spaces.

Let $X$ and $\{Y_i\}_{i\in I}$ be compact metric spaces (where $I$ an index set of possibly uncountable cardinality). Let $\Gamma_i$ be a compact valued, upper hemicontinuous (UHC) correspondence from ...
1
vote
0answers
29 views

Zips and Zippers

I'm currently reading Differential Manifolds by Antoni Kosinski, and the concept of a zip--defined as half of a zipper--is mentioned early on, of course with the intent of connecting manifolds. This ...
1
vote
0answers
22 views

Disjoint Union of Completely Regular Spaces

I am trying a new approach to an already-solved problem, but I need help to see if I'm on point. Munkres Chapter 53, question 6 [abridged] asks, given a covering map $p: E \to B$: Show that "if $B$ ...
1
vote
0answers
27 views

On the covering dimension of an image under a continuous function

I'm trying to solve the following exercise: Let $X$ be a compact Hausdorff space and let $U_1,...,U_n$ be a cover of $X$ of order $m$. Let $z_1,...,z_n\in\mathbb{R}^N$ for some $N$ be in general ...
1
vote
0answers
30 views

Showing any metric space is a Hausdorff space

This is the question i've been given along with the solution i have written, however, could someone explain why showing $z \notin V$ shows any metric space is a Hausdorff space
1
vote
0answers
19 views

Continuity of Component Function

Let $f:Z\times X \to Y$ be given such that $f$ is continuous. I'm trying to prove that $f(z, -)$ is continuous for a fixed $z\in Z$. I would appreciate if someone could tell me if the proof that ...
1
vote
0answers
54 views

Projection of a covering map over product set.

Let $p,q$ be a covering maps, $p:\tilde X \rightarrow X$ and $q:\tilde Y \rightarrow X$ and let $Z=\lbrace(\tilde x, \tilde y)| p(\tilde x)=q(\tilde y) \rbrace$, I want to proff that $f:\tilde ...
1
vote
0answers
40 views

Topologically equivalent metrics, using different definitions.

I´ve been dealing with topologically equivalent metrics for a while, using the usual definition, that $d$ and $d'$ are topologically equivalent iff they have the same open sets. However, there is ...
1
vote
0answers
28 views

Topological Embedding Which is Neither Open nor Closed

I'm having trouble coming up with an example of an embedding which is neither open nor closed. My attempts have included trying to find such a map from $\mathbb{R}$ (given the usual Euclidean ...
1
vote
0answers
31 views

core-compact but not locally compact

A space $X$ is called core-compact if the set of all open set in $X, \mathcal{O}(X)$, is a continuous poset. It is known that every locally compact is core-compact. Here, a space $X$ is locally ...
1
vote
0answers
37 views

Prob. 7, Sec. 26 in Munkres' TOPOLOGY, 2nd ed: How is the projection onto the first factor closed if the second factor is compact?

Let $X$ and $Y$ be topological spaces such that $Y$ is compact. Then how to show that the projection map $\pi_1 \colon X \times Y \to X$ is a closed map? My effort: Let $C$ be a non-empty closed ...
1
vote
0answers
154 views

Fubini's theorem on a product of locally compact spaces which do not have countable bases

Let $X$ be a locally compact Hausdorff space. Let $\mathcal B$ be the $\sigma$-algebra generated by the family of open subsets of $X$. A measure $\mu$ on $\mathcal B$ is called a (positive) Radon ...
1
vote
0answers
21 views

A sequence with two distinct limits

I just wanted to check I was right about this: Consider $X=\{1,2,3\}$ equipped with the topology $T=\{\emptyset,\{1,2\},X\}.$ Then the sequence $(1,2,1,2,1,2,\ldots)$ converges to both $1$ and $2$ ...
1
vote
0answers
24 views

How can I show uniqueness of a (constructed) topology.

Let $X$ be a set, and $\Phi$ a set of subsets of $X$ such that: $\varnothing, X \in \Phi$ If $\{ F_i: i\in I\}\subseteq \Phi$, then $\bigcap_{i} F_i \in \Phi$ If $F,G \in \Phi$ then ...
1
vote
0answers
55 views

Almost complex structure gluing

Consider smooth complex manifold $X$ of complex dimension $n$ and its smooth submanifold $Z$ of codimension $k$. Denote the normal bundle of the inclusion $Z\subset X$ by $\nu.$ One can blow up $X$ ...
1
vote
0answers
33 views

Is imaged of a Polish Hausdorff space under an injecitve map always Hausdorff?

I have a question about Hausdorff topological space. Question: Let $X,Y$ be topological spaces. If $X$ is a Polish space (i.e. $X$ is a separable and completely metrizable space.) and $Y=f(X)$ ...
1
vote
0answers
26 views

Prove that a point $(a,b)$ in $\mathbb{R^2}$ has the same homotopy type as $\mathbb{R^2}$.

Prove that a point $(a,b)$ in $\mathbb{R^2}$ has the same homotopy type as $\mathbb{R^2}$. If someone could verify my proof that would be great. I just started this learning this material and I ...
1
vote
0answers
38 views

Is Hausdorffness characterisable by the uniqueness of the limits?

It is clear that if the points $x$ and $y$ are separated by neighbourhoods, then there is no sequence which converges to $x$ and to $y$ as well. But when I try to prove that if $x$ and $y$ aren't ...
1
vote
0answers
31 views

Topological group, which is second category in itself, is a Baire space.

A Baire space is a topological space in which the union of every countable collection of closed sets with empty interior has empty interior. $G$ is a topological group, if $G$ is of the second ...
1
vote
0answers
24 views

Interior/boundary of unit diagonal

Trying to wrap my head around interiors and boundaries of subsets. I'm attempting to find the interiors and boundaries of the open and closed unit diagonals w.r.t the product topology on ...
1
vote
0answers
89 views

The skeleton of Eulerian polyhedra

There is (at least) two kind of validity domain of Euler's $v−e+f=2$ polyhedron formula. One is the "Eulerian" polyhedra, i.e. simply connected polyhedra with simply connected faces (see here). The ...
1
vote
0answers
32 views

Prob. 5, Sec. 25 in Munkres' TOPOLOGY, 2nd ed: Is there a connected set that is locally connected at none of its points?

Let $A$ denote the rational points of the interval $[0,1] \times 0$ of $\mathbb{R}^2$. Let $T$ denote the union of all line segments joining the point $p = 0 \times 1$ to points of $A$. Then I can ...
1
vote
0answers
41 views

A problem about the intersection of convex open sets in $\Bbb R^m$

Let $X\subset \Bbb R^m$ be the union of convex open sets $X_1,\cdots,X_n$ such that $X_i\cap X_j\cap X_k\neq\varnothing$ for all $i, j, k$. Is $\bigcap\limits_{r=1}^nX_r\neq\varnothing$ true?
1
vote
0answers
25 views

Basis for a topology of a scheme

Suppose that $X$ is a proper and connected scheme over an algebraically closed field. Moreover let $\mathcal A$ be a collection of open subsets of $X$ with the following property: For every open ...
1
vote
0answers
29 views

Let $X=\mathbb Z^+$. Topologize $X$ with the finite complement topology. Let $A=\{3,5,6,7\}$. Find $\overline A$, int$(A)$, and bdry$(A)$.

Let $X=\mathbb Z^+$. Topologize $X$ with the finite complement topology. Let $A=\{3,5,6,7\}$. Find closure of $A$ $(\overline A)$, interior of $A$ (int$(A)$), and boundary of $A$ (bdry$(A)$). $A$ ...
1
vote
0answers
40 views

Shortest smooth paper Möbius Strip

I want to make a familiar Möbius strip of width 1 unit satisfying the physical properties of paper. Assume paper is a ruled surface, and the strip has to be smooth and non-self-intersecting. What ...
1
vote
0answers
33 views

A name for a particular covering map?

The quotient space of $\mathbb C$ obtained by identifying points differing by a Gaussian integer is topologically a torus. The map that takes each point in $\mathbb C$ to its corresponding point in ...
1
vote
0answers
73 views

Does the proof of productivity of connectedness require Axiom of Choice?

For arbitrary index set $\Lambda$, the product space $$ X = \prod_{\alpha \in \Lambda} X_{\alpha} $$ with product topology is connected if all of each $X_{\alpha}$ is connected. In the standard proof ...
1
vote
0answers
33 views

Is the boundary of a set a subset of the limit points?

Let $(X, \mathfrak T)$ be topological space and suppose that $A$ is a subset of $X$. Then $Bd(A) \subseteq A'$. My definition of boundary: Let $(X,\mathfrak T)$ be a topological space and let $A ...
1
vote
0answers
45 views

Path-components of the general linear group using only elementary algebra

Let $E(c)$ be an elementary matrix of the type to add $c$ times a row to another row when applied to another matrix on the left (with $c$ in some off-diagonal position $(i, j)$), and, with the usual ...
1
vote
0answers
17 views

Prove that the “additive” operation of the module($\mathbb{Z}_{p}^{*},\mathbb{Z}_{p-1},\cdot$) is continuous.

Consider the following module $\mathcal{M}=$($\mathbb{Z}_{p}^{*},\mathbb{Z}_{p-1},\cdot$) in which the "additive" operation is defined by normal multiplication in $\mathbb{Z}_{p}^{*}$ and scalar ...
1
vote
0answers
20 views

Finite intersection of arbitrary union not stable for arbitrary unions

It is a set-theoretic exercise to prove that the set of arbitrary unions of finite intersections of sets is still stable under finite intersections. However it is not true that finite intersection of ...
1
vote
0answers
33 views

weak closure of unitary group in $B(H)$

Let $H$ be a Hilbert space with dim $H=\infty$ , and $\cal{U}$ be the group of all unitaries on $H$. Show that the weak closure of $\cal{U}$ is a semigroup with respect to the multiplication. I know ...
1
vote
0answers
44 views

How to show a map is a homeomorphism?

I have calculated two of the properties of homeomorphism. Where I have found the bijective mapping and showed that $f$ is continuous. However i am not sure how to show that $f^{-1}$ is continuous?
1
vote
0answers
56 views

transformation of a folded piece of paper!!!

This is a question in the book Real Mathematical Analysis by Charles Chapman Pugh and I don't know how to face it! : Fold a piece of paper in half. (a) Is this a continuous transformation of one ...
1
vote
0answers
34 views

Quotient Space and Quotient Topology Definitions

I'm trying to show an equivalence between these two definitions: (1) The Quotient Space: Let $f: X \to Y$ be a map from a topological space $X$ to a set $Y$ and define $\pi: X \to \frac{X}{\sim}$ as ...
1
vote
0answers
26 views

A calculation for an open ball in $\mathbb{R}^N$ and function space.

Let $B_r(x)$ denoting the ball of center $x$ and radius $r>0$. We denote by $\lambda_{1,\,B_\rho(y)}$ the first eigenvalue of $-\Delta$ in $W^{1,\,2}_0\left(B_\rho(y)\right)$ and by ...
1
vote
0answers
36 views

quick question about a definition of homeomorphism set classes

Take $S$ a surface of general type. I want to define $Q$ the set of homeomorphism classes determined by the surface $S$. How can i define $Q$? I think that $Q$ is determined by all surfaces $S^{'}$ ...
1
vote
0answers
31 views

Lie bracket question

I am wondering if this is correct. Suppose $X$ and $Y$ are two smooth vector fields which vanish at $p$: $X(p) = Y(p) = 0$. Also assume that $[X, Y](p) = 0$. Is it true that the derivative of the ...
1
vote
0answers
48 views

Normal space is compact

I know that a compact Hausdorff space implies Normal, but does the converse holds? I.e. If a space is normal, it is compact and Haudorff. (Although $T_4$ imlicitly implies $T_2$)
1
vote
0answers
56 views

Hilbert Space is not locally compact.

The book I am using for my Introduction of Topology course is Principles of Topology by Fred H. Croom. Show that Hilbert Space is not locally compact at any point. This is what I understand: ...
1
vote
0answers
48 views

Uncountability of $\mathbb{R}^I$ if $I$ is uncountable

Prove that if $I$ is uncountable, then $\mathbb{R}^I$ with the product topology is not countable. Based on what I have read, a set is uncountable if there is a bijection from that set to ...
1
vote
0answers
31 views

Linking of $S^p$ and $S^q$ in the $\mathbb{R}^d$ space

Can we have a nontrivial linking of a $S^p$ sphere and a $S^q$ sphere in the $\mathbb{R}^d$ space (or in the ${S}^d$ space)? I suppose that it can happen only if $p+q<d$. For example, we can have: ...
1
vote
0answers
12 views

Homology group and homotopy group of the standard twin

Given a 4-sphere, if we cut out a solid 3-torus $B^2 \times S^1 \times S^1$ from a 4-sphere $S^4$ (with an unknotted torus), the remained exterior is called "the standard twin," say $M$. What are ...
1
vote
0answers
52 views

Wot topology on $B(H)$ is not metrizable

Let $H$ be a infinite dimensional Hilbert space and $B(H)$ be the space of bounded and linear operators on $H$. I know that weak operator topology (wot) and strong operator topology (sot) are ...
1
vote
0answers
39 views

Marking Integers Using a Wheel

Suppose I had a wheel of diameter one meter and I was charged with marking every meter along an infinite stretch of a beach. The strategy is to insert pegs into the wheel so that every point that is a ...
1
vote
0answers
33 views

Order topology is regular and not normal

π-Base shows that linear order topology is not normal. But I remember in class the prof said order topology is normal. If $X$ is a set with linear order $<$, define a topology on X by letting ...