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
76 views

Is it true that $\operatorname{Int}(A) \cap \operatorname{Int}(B) = \operatorname{Int}(A \cap B)$?

can someone please verify my proof? (a) Is it true that $\operatorname{Int}(A) \cap \operatorname{Int}(B) = \operatorname{Int}(A \cap B)$? (b) Is it true that $\bigcap \operatorname{Int}(A_\...
2
votes
0answers
39 views

Souslin space and functional

I have a question about Borel $\sigma$-algebra on a Souslin space. Let $E$ be a locally convex topological real vector space which is a Souslin space, that is, the continuous image of separable ...
2
votes
0answers
77 views

Problem about compact subspace of Hilbert cube.

This is my problem: I have already completed part (i), but I really can't see how I can relate compact subspace with homeomorphism in part (ii). Please give me some ideas.
2
votes
0answers
171 views

Rudin Theorem 2.7

Theorem 2.7 in Rudin's Real and Complex analysis Theorem Suppose $U$ is open in a locally compact Hausdorff space X, $K \subset U$, and $K$ is compact. Then there is an open set $V$ with compact ...
2
votes
0answers
92 views

Basic question about lifting maps to covering spaces

Any continuous map $f: X_1 \to X_2$ "lifts" to a map $\tilde f: \tilde X_1 \to \tilde X_2$ (provided that $X_1$ and $X_2$ have universal covers). The space $\tilde X_1$ is certainly path-connected ...
2
votes
0answers
96 views

A sufficient condition for the composition of covering maps to be a covering map

Let $q:X \rightarrow Y$ and $r:Y \rightarrow Z$ be covering maps and $p= r \circ q$. If $r^{-1}(z)$ is finite for all $z \in Z$, then $p$ is a covering map. Now I found the following proof: Let ...
2
votes
0answers
53 views

Ribbon Surfaces and Legendrian Graphs on Contact 3-manifolds.

Let $M=(M, \xi)$ be a contact 3-manifold. I am trying to show that every Legendrian graph L (i.e., a graph embedded in $M$ so that it is everywhere-tangent to the contact planes) admits a ribbon ...
2
votes
0answers
544 views

Prove that every subset of $\mathbb{R}$ is compact in the finite complement topology.

I need help with my proof in particular. I am aware that there is a similar question elsewhere. Can someone please verify my proof or offer suggestions for improvement? Prove that every subset of $...
2
votes
0answers
32 views

Comparing product topologies

Let $C$ denote the set of complex numbers. Let $T$ be the smallest topology on $C$ such that singletons are closed. Let $T_1$ denote the smallest topology on $C$x$C$ such that all the polynomials in $...
2
votes
0answers
43 views

Extension of function with values in a Banach space

I want to prove the following Let $E,X$ be Banach spaces, and $Y\subset E$ a closed subspace with codimension $1$. Let $T:Y \to X$ be a continuous linear function. Then there exists a continuous ...
2
votes
0answers
172 views

At most one connected component of unbounded portion of entire function.

Suppose $f$ is an entire complex analytic function and $R$ a positive real number. Define the set $E:= \{z\in\mathbb{C};|f(z)| < R\}$ to be the set of $z$ whose image is bounded by $R$. I want to ...
2
votes
0answers
88 views

A Homeomorphism that is not unique even upto Isotopy

I'm currently reading the following paper by Richard Skora, entitled Cantor sets in $S^3$ with simply connected complements found here, and on page 2, just before Theorem 1, it says "the homeomorphism ...
2
votes
0answers
77 views

Number of faces of a polytopal subdivision

Let $\mathcal{P}$ be a (bounded) polytope in $\mathbb{R}^d$ and let $\mathcal{C}$ be a polytopal subdivision of $\mathcal{P}$ [1]. Is there a known tight upper bound in the number of polytopes in $\...
2
votes
0answers
48 views

Prove that $d_\infty(f, g) = \operatorname{sup}\{|f(x)-g(x)|:x \in [a,b]\}$ defines a metric

Can someone please verify my proof? Let $C[a,b]$ denote the set of all continuous functions from $[a,b]$ to $\mathbb{R}$. Let $d_\infty:C[a,b] \times C[a,b] \longrightarrow [0, \infty)$ be given ...
2
votes
0answers
61 views

Continuous function - unsure of statement that lacks rigour

I have the following statement in my Topology notes in a section on continuous functions - A polynomial of degree $n$ has at most $n$ roots. Thus $f^{-1}(b)$ is finite. This shows that $...
2
votes
0answers
61 views

explicit function between transformation matrix and vertex in polyhedron

recently I am stuck in solving a geometric problem. I hope someone could give me some tips, thanks for all in advance!!! Question 1: given a constant polygon $M1$ with 4 vertices: $(1,0),(1,1),(0,1),(...
2
votes
0answers
174 views

Homeomorphism of compact Hausdorff spaces

In the preprint "A REMARK ON CANTOR DERIVATIVE" (http://arxiv.org/pdf/1104.0287v1.pdf), there is the next proof: We show that two countable locally compact Hausdorff spaces $X$ and $Y$ of same ...
2
votes
0answers
49 views

Connected $G_\delta$ non-singleton, proper subsets in a connected complete metric space with more than one point

This is a question related to my last; I have still not solved it. Maybe this one is easier: Suppose $X$ is a connected complete metric space with more than one point. Must $X$ contain a non-...
2
votes
0answers
64 views

topological spaces with The FDS property?

I have difficulty with bellow Theorem that was asked by one of users: The class of spaces in which all compact subsets are closed is $KC$ space. A space $X$ is said to have the FDS property if each ...
2
votes
0answers
59 views

Is there a bound for the genus of the generalized petersen graphs?

I've looked online and could only find a bound for specific generalized petersen graphs. Does any bound (lower or upper) depending on $n$ and $k$, where $n$ is the order of a cycle and $k$ is the "...
2
votes
0answers
56 views

isomorphism of algebric torus

I'm trying to prove the following: Let $D_n=(\mathbb{C}^{\times})^n$ (an algebric torus of rank $n$). Assuming $D_k$ is isomorphic to $D_n$ as an algebric group. Prove that $k=n$. So far, I managed ...
2
votes
0answers
56 views

Turning a cup into a donut: parametrising the continuous deformation

A cup and a donut are topologically equivalent because one can be continuously deformed into another. What if you had a particular cup and a particular donut and wanted to write down (or simulate on a ...
2
votes
0answers
27 views

Direct sums, tensor products etc. of $G$-vector bundles are again $G$-spaces

Given two $G$-vector bundles $E$ and $F$ over a $G$-space $X$ ($G$ some finite group), I am interested in the vector bundles $E \oplus F$, $E \otimes F$, $\operatorname{Hom}(E,F)$ etc. I am familiar ...
2
votes
0answers
38 views

an example that property $\delta$ does not imply property $\gamma$

In this article, two properties are mentioned at page 153: property $\gamma$: If $\mathcal U$ is an open $\omega$-cover of $X$, then there is a sequence $G_n \in \mathcal U$, with $\underline {Lim} ...
2
votes
0answers
68 views

Topologies of flag manifolds

I'm currently reading an article discussing flag manifolds and the action of $\mathrm{PSL}(n,\mathbb{C})$ on them. A flag (in my view at least) is a nested sequence $(y^1,\ldots,y^{n-1})$ of subspaces ...
2
votes
0answers
62 views

Pervin quasi-uniformity

for a subset $ A$ of a set $X$ we set $S_{A} =[(X - A)×X]∪ [X ×A]$. We recall that if $X$ is a topological space, then the Pervin quasi-uniformity of $X$ is generated by the subbase $\{S_{G}: G \...
2
votes
0answers
34 views

How do I prove that $U(r) \to S(r,n) \to G(r,n)$ is a fibration?

$U(r)$ here is unitary group of $\mathbb{C}^n$, $S(r,n)$ is the Stiefel manifold of $r$-frames in $\mathbb{C}^n$ and $G(r,n)$ is the Grassmannian manifold of $r$-planes in $\mathbb{C}^n$. I've tried a ...
2
votes
0answers
79 views

Stereographic projection for a link/knot

I've been trying to understand the topological "link" between algebraic varieties and their associated knots/links and to this end I've been reading F. Kirwan's book, "Complex algebraic Curves". The ...
2
votes
0answers
256 views

Homeomorphic or Homotopic

Q1: Are the Fig (a) and (b), the equivalence "=" is Homeomorphic or Homotopic? ps. for details of the figures see Ref here. I learned that "The characterization of a homeomorphism often leads ...
2
votes
0answers
50 views

Is there a metric on $\mathbb{R}$ such that $\mathbb{Z}$ is dense in $\mathbb{R}$?

It seems that such a metric doesn't exist,but how to prove?
2
votes
0answers
75 views

How do we understand and visualize the meridians of a 3-sphere?

The equator of a n-sphere is (n-1)-sphere. Then the equator of a 3-sphere is a 2-sphere. Does this mean the meridian of a 3-sphere is a hemisphere (half 2-sphere)? In contrast, Wikipedia describes the ...
2
votes
0answers
47 views

A dense set and neighbourhood bases induce a topological basis

Looks like I can't get my head around the following proposition. Let $(T,\mathcal O)$ be a topological space and $S\subseteq T$ a dense set in $T$. If $B(x)$ is a neighbourhood basis of the point $x\...
2
votes
0answers
28 views

When a sort of weak topology is enough to generate vector space topology

Consider a vector space $V$, and some functions $f_\alpha: V \rightarrow \mathbb{C}$ where $\alpha$ ranges over some index set $A$. We can think about the coarsest topology which: a) makes the $f_\...
2
votes
0answers
593 views

A subset E of $R^n$ is totally bounded if and only if E is bounded

I am studying Compactness in metric space with Gamelin and Greene's Introduction to Topology and am confused about lemma 5.4 in the book. A metric space $X$ is totally bounded if for each $e > 0$, ...
2
votes
0answers
123 views

$\ f \colon X \to X $ ,continuous function where X is compact,Hausdorff space.Show $\exists A$ st $f(A) =A$.

Suppose $\ f \colon X \to X $ is a continuous function from a compact,Hausdorff space to itself. Prove that there exists a subspace $A$ such that $f(A) =A$. I came up with an answer based on nets (...
2
votes
0answers
65 views

How can we characterize all topological groups given $G$?

The idea is that all topologies on G (not necessarily making it a topo group) can be completely specified by a set of functions $F = \{f: G \to G\}$ if you form a basis for the topology like: $B = \{U\...
2
votes
0answers
124 views

Why is proof of the [topological] closed graph theorem incorrect?

Specifically, the closed graph theorem I am referring to is: Let $f : X \rightarrow Y$ exist and $Y$ be compact and Hausdorff. Then $f$ is continuous if and only if the graph of $f$ denoted by $G_f = ...
2
votes
0answers
56 views

Comparison of two final topologies

Consider the vector space $F$ of all infinite sequences of reals numbers, such that only finitely many terms of each sequence are nonzero. I recently encountered an exercise where I was required to ...
2
votes
0answers
137 views

n-Torus with antipodal points identified

If we have n-torus $S^1 \times S^1 \times S^1 \times ....$ n times, and $\mathbb{Z}_2$ acts on this just sending each component of $S^1 \times S^1 \times S^1 \times ....$ to its antipodal. What will ...
2
votes
0answers
92 views

Push-out of product of push-out diagrams

Let $\pi(U\cup V)$ be the push-out of the diagram $\pi(U)\leftarrow \pi(U\cap V) \rightarrow \pi(V)$ that appears when we apply Vam-Kampen Theorem to the open sets $U,V$ in a topological space $X$. ...
2
votes
0answers
91 views

If every point $x \in X$ has a neighborhood that is Baire space, then $X$ is a Baire space

Show that if every point $x \in X$ has a neighborhood that is Baire space, then $X$ is a Baire space. (Munkres "Topology", 48.3) Here is what I tried : Let $\{U_n\}_{n \geq 1}$ be a collection of ...
2
votes
0answers
208 views

Sobolev Spaces separable

How do I demonstrate that the Sobolev spaces $W^{1,\infty}$ is not separable? PS: I know that space $L^{1,\infty}$ is not separable but was unable to use this information.
2
votes
0answers
74 views

Homeomorphism form $(-1,1)$ to $\mathbb{R}$

I want to show that every open intervall $(a,b)$ is homeomorph to $\mathbb{R}$. On $(a,b)$ I chose the relative topology $\mathcal{T}_{(a,b)}$ and on $\mathbb{R}$ the trivial topology $\mathcal{T}$ ...
2
votes
0answers
56 views

Open Book Decompositions of 3-manifold and Associated Heegard Splittings

In page 13 of the paper: http://arxiv.org/pdf/math/0510639v1.pdf It is stated that "An open book decomposition (S,h, K) , gives rise to a special Heegard decomposition of M ". Here, S is a surface , ...
2
votes
0answers
99 views

Zer0-dimensional, countable, 1st countable T1 space is metrizable?

Show that every countable, first countable, zero-dimensional T1 space $X$ is metrizable. I know that T1 space means that all its singletons are closed. Also, zero-dimensional means that $X$ has a ...
2
votes
0answers
123 views

Showing a subcategory of $\mathbf{Top}$ is Cartesian-Closed

We start with some preliminary definitions (necessary because there is not much literature on this): a test map is a continuous function $\varphi:V\rightarrow X$ where $V$ is an open subspace of $\...
2
votes
0answers
59 views

Creating continuous functions - topology

I am having some difficulty in understanding the following proof. -- If $X$ and $Y$ is a topological space, and there is a continuous function $f:X \to Y$. Now if $Z$ is a subspace of $Y$ ...
2
votes
0answers
109 views

Limit Point vs Boundary Point

I'm reading Kosniowski's book on algebraic topology, and I have a question about how he defines limit points. He says that for a subset $Y$ of a topological space $X$, the limit points of $Y$ are ...
2
votes
0answers
78 views

A question about rectifiable curves

Does every rectifiable curve that is a subset of the Euclidean plane have zero two-dimensional Lebesgue measure?
2
votes
0answers
57 views

Topological Groups and the Mapping Class Group

I am currently studying mapping class groups. In particular, I am looking at a relation between the group of topological automorphisms of a topological group (i.e. group automorphisms which are also ...