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
64 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
245 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 ...
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 ...
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 ...
2
votes
0answers
578 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
121 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
63 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 = ...
2
votes
0answers
121 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
136 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
89 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
87 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
205 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
55 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
116 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 ...
2
votes
0answers
36 views

Correct definition of a regular covering without global connectedness hypotheses

Let $p:Y\to X$ be a covering map of topological spaces where $X$ is assumed to be locally path connected (and hence the same is true of $Y$) but neither $X$ nor $Y$ is assumed to be connected. In this ...
2
votes
0answers
81 views

In a complete metric space $(X,\rho)$, show that if $E$ and $X\setminus E$ are dense, then at most one of them is a countable union of closed sets.

The problem statement is in the title. I approached this proof using contradiction. My attempt was: Suppose that both $E$ and $X\setminus E$ are dense and that both are a countable union of closed ...
2
votes
0answers
101 views

Find an example of product of operators not Jointly Continuous in strong topology.

I'm trying to find an example of the fact that the product of operators is not jointly continuous in the strong topology. I know the example of the unilateral shift (that is on wikipedia), but I ...
2
votes
0answers
20 views

Is there a theorem relates continuity of x-section&y-section of a function and continuity(measurability) of a function itself?

Let $(X,\tau),(Y,T),(Z,O)$be topological spaces. Let $f:X\times Y\rightarrow Z$ be a function. Let $f_x,f^y$ denote $x,y$-section of $f$ respectively. Let's assume $f_x,f^y$ are continuous for all ...
2
votes
0answers
232 views

A follow up question : compact sets included in a full, empty interior compact

This is a follow up question to When is a compact of the plane included in a connected compact with empty interior? I realized that I didn't quite correctly formulate the question I had in mind, ...
2
votes
0answers
50 views

Definition of Lebesgue number

I cannot understand the definition of Lebesgue number. Definition: Let $R$ be an open cover for a metric space $M$. A number $e>0$ is called a Lebesgue number if for all $x \in M$ there exist ...
2
votes
0answers
100 views

Difference between Metric Space and Topological Space

I am reading Chapter 11 of Real Analysis written by Royden and Patrick (4th). It says "The concept of uniform convergence of a sequence of functions is a metric concept. The concept of pointwise ...
2
votes
0answers
53 views

Find Group Action

I'm asked to find a group action G on the unit cylinder C such that $C/G$ is homeomorphic to the torus. Would $\pm1 \cdot (x,y,z) = (x,y,\pm z)$ work? The only problem here is that G should only act ...
2
votes
0answers
301 views

Counterexample to Converse of Extreme Value Theorem?

The extreme value theorem says: If $X$ is a compact topological space, then for all functions $f: X \to \mathbb{R}$ such that $f$ is continuous we have that $f$ satisfies the extreme value property. ...
2
votes
0answers
41 views

When is a locally metrizable space actually metrizable?

A topological space is metrizable when there is a metric that induces the topology. A topological space is locally metrizable when every point has some neighbourhood that is metrizable. According to ...
2
votes
0answers
49 views

What are the names for the structures obtained when we drop some topological space axioms?

Motivation: If I start with the group axioms and drop the requirement that I have inverses, I get the monoid axioms. If I proceed to drop the requirement that I have an identity, I get the semigroup ...
2
votes
0answers
51 views

When can we say that each open set in $U_1 \subset X$ contains another open set $U_2 \subset U_1$ s.t. $U_2 \neq U_1$

As written in the title . Given a topological space $X$, what are the conditions required if we want to be able to say that each nonempty open set $U_1 \subset X$ contains another nonempty open set ...
2
votes
0answers
38 views

Compactness in topology of uniform conergence (of functions and all their derivatives) on compact subsets of (0,\infty)

I am trying to understand an example in the book "Lectures on Choquet's Theorem" (R.R. Phelps). My question is: Given the space of real valued infinitely differentiable functions on $(0, \infty)$ ...
2
votes
0answers
91 views

property of a two subset of the space $X=C[0,1]$ with its usual 'sup-norm' topology

Consider the space $X=C[0,1]$ with its usual 'sup-norm' topology.Let $S$={$f \in X:\int_0^1{f(t)dt \ne 0}$} $S_1$={$f \in X:\int_0^1{f(t)dt = 0}$} $1$.Then $S$ is (a) open , (b) dense in X , ...
2
votes
0answers
115 views

Pointwise convergence on a complete metric space

Let $ f_n :X \rightarrow R $ be sequence of continuous function on complete metric space $(X,d)$, which convergence pointwisely to $ f: X\rightarrow R $ mean that $ f_n(x)\rightarrow f(x)$ $ ...
2
votes
0answers
119 views

Proof of “invariance of domain theorem”

How can I get a proof of "invariance of domain theorem"? Of course, I would like to know brief explanation. Now, this statement is here ; http://en.m.wikipedia.org/wiki/Invariance_of_domain . Thank ...
2
votes
0answers
104 views

Discontinuous function on Q

let $ f_n :X \rightarrow R $ be sequence of continuous function on complete metric space $(X,d)$, which convergence pointwisely to $ f: X\rightarrow R $ mean that $ f_n(x)\rightarrow f(x)$ $ ...
2
votes
0answers
72 views

When is a function space a Fréchet space?

Let $Q$ be a space of indices, and let $(V, |\cdot|)$ be a Banach space of values. Define the function space $X = C(Q,V)$, and equip it with the topology generated by seminorms $\|x\|_D := \sup_{d \in ...
2
votes
0answers
59 views

Morse-Smale Complex, boundary on the number of segments by the number of critical points.

I am looking for a known upper bound on the number of monotone regions of a Morse function by the number of its critical points in the interior of the manifold and on its boundary. Here I try to ...
2
votes
0answers
44 views

Is an ideal generated by a compact subset finitely generated?

Let $R$ be a commutative topological ring and let $K$ be a compact subset of $R$. Denote by $I$ the ideal generated by $R$. Then is it true (or under what assumptions on $R$ (besides Noethernity)) is ...
2
votes
0answers
280 views

A domain on a sphere is simply connected if and only if its complement is connected

I think the statement that a domain (open connected set) in a sphere is simply connected if and only if its complement is connected is a standard result. But how can one prove it? Is it possible to ...
2
votes
0answers
128 views

Locally / Strongly connected product spaces

I have to give necessary and sufficient conditions s.t. $ X=\prod_i X_i$ is locally / strongly connected, where $(X_i,\tau_i)$ are non-empty top. spaces. First locally: Assume all $X_i$ are locally ...
2
votes
0answers
121 views

Set of limit points of S is closed in a metric space X

A point $x \in X$ is a limit point of a subset S of X, if every ball $B(x;\varepsilon)$ contains infinitely many points of S. Show that x is a limit point of S iff there is a sequence {$x_{j}$} ...
2
votes
0answers
86 views

Exploiting the compactness of the unit circle to prove the following proposition.

I am trying to prove that a locally convex topological vector space is equivalent to a semi-normed topological vector space. I have worked through the proof but I am unsure because of the following ...