# Tagged Questions

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; ...

61 views

### Proper Maps: Where is continuity used in this Wikipedia proof?

In this article on Wikipedia, a proof is given of the statement that any map $f$ from $X\to Y$ that is closed, continuous, and has the property that $f^{-1}(\{y\})$ is compact in $X$ for $y\in Y$, is ...
39 views

### condition for homeomorphism

If $X$ and $Y$ are homeomorphic as topological spaces is there any necessary and sufficient condition for $X\setminus A$ and $Y \setminus B$ to be homeomorphic?$A\subseteq X ,B\subseteq Y$
62 views

### $A$ is an interval so $A$ is connected?

I want to prove that if $A\subset \mathbb{R}$ is an interval then $A$ is connected. I found this proof, and I don't understand it essentially the ii) Suppose that $A$ is an interval but not ...
28 views

### How do you show Euler characteristic of any convex polyhedron is $2$?

In the Euler characteristic proof of a convex polyhedron, how do you show the cell decomposition of projection of two polyhedra 1) have a common refinement AND 2) that common refinement comes from ...
211 views

### Borel Measures: Atoms (Summary)

Disclaimer: The question here has been solved, now: Finest Measurable Partition (For jeapardy it is stated below, anyway. Have fun! ;) ) Summary: This is a summary of the discussions: ...
53 views

### Tangent Bundles to manifolds

I am having trouble trying to visualize exactly what a tangent bundle to the klein bottle is spuposed to look like. Is it possible for one to decompose it as a direct sum of simpler bundles?
57 views

### Separated Spaces and a Partition Differences?

I am just getting a handle on separated definitions from Topology , reading Munkres. So the definition of a separated subsets of a topology, is that they are both disjoint. Further, if each subset ...
18 views

### Closed square homemorphic to the surface of a cube?

Is the closed square in $\mathbb{R}^2$, i.e. $[0,1]^2$ homeomorphic to the surface of the cube in $\mathbb{R}^3$? If they are, is there an explicit homeomorphism? I'm looking for something more solid ...
24 views

### Find all regions formed by a set of circles

I was doodling with Python to draw some circles, and I was able to find all intersection points of a set of random circles, yay ! Now I'm stuck on a question, is there a way to find all regions ...
23 views

### Fundamental domain for a $C_2$-action on a Stone space

The following result seems to be true (I can prove it, only quite indirectly): Let $X$ be a Stone space (i.e. a compact totally disconnected Hausdorff space) and $\sigma : X \to X$ be a ...
17 views

### Topology of the intersection of toric arrangement

Hope someone will help me in the solution of the following question. I'm working on some topological problem involving the topology of the intersection of some characters of the torus. I want ot find ...
29 views

### Proving that $\left(X(v,v)\right)^{\frac{1}{2}}$ defines a norm on a vector space where X is a positive-definite bilinear form.

Want to show: If $X$ is a positive-definite bilinear form on a vector space $G$ with real-valued scalars and $v\in G$, then $\left(X(v,v)\right)^{\frac{1}{2}}$ defines a norm on $G$. Thus far I have ...
52 views

### Fix point theorem for measures? metric on space of measures?

I have the following problem: I consider a probability space $(\Omega, \mathcal{F}, \mu)$ where $\Omega= C_0([0,1])$ (space of continuous functions on $[0,1]$ starting from 0), $\mathcal{F}$ is a ...
20 views

### closure of rationalsmin topology

Why is the closure of the rationals Q, the reals R ? Is it because the irrational numbers are only considered part of the set of rationals Q in its closure? Aside: Good thorough website to learn ...
96 views

### General definition of piecewise continuity

Is there a general definition of piecewise continuity for functions between topological spaces ? Of course one can intuitively says that $f: X \rightarrow Y$ is piecewise continuous if for every ...
46 views

### Trigonometric polynomials are dense

Is the set of all trigonometric polynomials in the space of continuous functions on [$-\pi,\pi]$ which are $2\pi$-periodic dense?(with sup-norm topology)Please give hints on how to find a sequence of ...
54 views

### Group of Orientation-preserving Homeomorphisms of the Reals.

Let $h: \mathbb{R}\rightarrow\mathbb{R}$ ; $\mathbb{R}$ Reals be an orientation-preserving homeomorphism. I can see $h$ includes linear maps $h=ax+b$ with $a>0$ . Can we say that every ...
56 views

### Face post of a subcomplex complement

Let $P$ denote the face poset of a simplicial complex, $\Delta$ the order complex of a poset, and $\simeq$ homotopy equivalence. It's known that for any finite simplicial complex $\mathcal{K}$ that ...
158 views

### Definition and Intuition of a Weakly Dense Set

What does it mean to say: set A is "weakly dense" in a set B? The definition of a "dense set" is rather intuitive: the classic example of Q (rationals) being dense in R (reals) is very clear. How ...
55 views

### Conceptual proofs to seven color theorem of torus for 17-19 year olds

what is the best way to explain the seven color theorem of torus to some high school kids and freshman college people?
55 views

Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$ ...
75 views

### Is $\mathbb{Q}^{\infty}$ first countable?

Give $\mathbb{R}^{\omega}$ the box topology. Let $\mathbb{Q}^{\infty}$ denote the subspace consisting of sequences of rationals that end in an infinite string of 0's. I'm thinking that since ...
59 views

### Proving that the set is closed.

We use the sequential definition to prove a set is closed. So no continuity or closure or anything related to the topology of the set is allowed. Show $A = \{ x \in \ell^2: |x_n| \leq 1/n \}$ is ...
23 views

### Why $\prod_{n\in \mathbb N}\left([-2^{-n},2^{-n}]\cap\mathbb Q\right)\subset l_2$ is countable and dense in $l_2$?

Why $$\prod_{n\in \mathbb N}\left([-2^{-n},2^{-n}]\cap\mathbb Q\right)\subset l_2$$ is countable and dense in $l_2$? Please explain. My attempt I just try to relate with $\mathbb Q ^\mathbb N$. But ...
100 views

### Finite graph products of finite groups have free subgroup of finite index

This is a problem in Hatcher's Algebraic topology. Show that a finite graph product of finite groups has a free subgroup of finite index, by constructing a finite-sheeted covering space of $K\Gamma$ ...
32 views

96 views

### Path-connected, simply connected subsets of $\mathbb{R}^n$

A discussion in my topology class caused me to have the following question: Given $A,B \subseteq \mathbb{R}^n$, where $A$ and $B$ are both path-connected and simply connected, need $A$ and $B$ be ...
49 views

### Why are empty measurable spaces and empty topological spaces not desirable?

The definition of a $\sigma$-field $\mathscr{F}$ on a set $X$ (or $\sigma$-ring) requires $\mathscr{F}$ to be a non-empty subset of $\mathscr{P}(X)$. Why is this convention taken? What is the issue ...
97 views

### Volterra operator and completely continuous operators

Consider the Volterra operator $V$ defined here. Let me give some definitions first: [Dunford-Pettis] We say that a bounded linear operator $D:L_1[0,1]\to L_1[0,1]$ is Dunford-Pettis if it sends ...
73 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.
156 views

### Diffeomorphism and hyperbolic points

Suppose $f$ is a diffeomorphism.Prove that all hyperbolic periodic points are isolated. I tried using the mean value theorem using two diferent periodic points (assuming the periodic points arent ...
91 views

### Are Borel sets preserved by an open continuous map?

Does an open, continuous function defined on a compact metric space to itself send Borel sets to Borel sets?
450 views

### The topology generated by open intervals of rational numbers

Let $B = \{ \mathbb{R} \} \cup \{ (a,b) \cap\mathbb {Q} \ ,\ a\lt b \ ,\ a,b \in\mathbb{Q}\}$ Thus, a set $V \in B$ if it is either equal to $\mathbb{R}$ or if it is in the intersection of ...
50 views

### Stuck on continuity proof (like 8 sheets of A4…) $p_if$ is cont. iff $f$ is cont, $p_i:X\rightarrow X_i$ given by $p_i(a)=a_i$ for $a=(a_1,…,a_n)$

Let $Y$ be a metric space, let $f:Y\rightarrow X$ where $(X,d)$ is a metric space given by $X=\prod^n_{i=1}X_i$ equipped with the stadard metric ($\max$) I wish to prove $f$ is continuous iff ...
31 views

### Intuitive affirmation on convex sets

Let $D_1, D_2$ two open, bounded and convex domain in $R^n$. Suppose that $D_2 \supset \overline{D_1}$, and the boundaries of these sets are of class $C^1$. Fix $x \in \partial D_1$ and suppose that ...
33 views

### Seperating neighborhoods of infinite sets in normal topological spaces

Let $(T,\tau)$ be a normal topological space, let $(x_n)_{n\in \mathbb{N}}\subset T$ be a discrete subset. Are there disjoint neighborhoods $U_n(x_n)\in\tau$?
38 views

### Computing the tangential and cross components of one quantity using gnomonic projection

I have a spin-2 field given called shape distortion of galaxies as $$\gamma=\gamma_1+i\gamma_2=|\gamma|e^{-2i\phi}$$ where $\phi$ is the orientation angle. If this quantity has been measured on ...