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)

0
votes
0answers
10 views

cofinite topology

If we have topological space $\mathbb{R}$ equipped with the co finite topology. If we have finite subsets in consideration they are definitely closed because open sets are of the form complement of ...
-1
votes
0answers
10 views

Algebraic topology theorem 57.1

i read right now the theorem 57.1 on munkres book: if h:s^1 to s^1 is continuous and antipode-preserving, then h is not nulhomotopic. at the end of the proof there is written: h* is injective . so ...
2
votes
1answer
23 views

Show that $X$ is Hausdorff.

Suppose that $X$ is a space with the property that for any point $p \in X$ there is a map $f: X \rightarrow \mathbb{R}$ such that $f^{-1}(1) = \{p\}$. Show that $X$ is Hausdorff. ...
0
votes
0answers
5 views

Non-wandering point which is not in the closure of recurent points

A point $x$ in a topological dynamical system $(X,f)$ is called (positively) recurrent if $x \in \omega(x)$, where $\omega(x)$ denotes the $\omega$-limit points of $x$. $R$ denotes the set of all ...
0
votes
0answers
5 views

Two points in a polygonal-path-connected set can be connected with a non-intersecting polygonal path

Let $X$ be polygonal-path-connected and $x,y\in X$. So $x$ and $y$ can be connected by a polygonal path $P=\bigcup_{i=1}^n L_i$ where $L_i$ is a line segment $[x_i,x_{i+1}]$. Non-intersecting means ...
0
votes
2answers
27 views

Infinite intersection of open sets need not be open

The following is the property of an open set: The intersection of a finite number of open sets is open. Why is it a finite number? Why can't it be infinite?
0
votes
0answers
18 views

Definitions of proper maps

As far as I know, there several definitions of a proper map. A function $f\colon X\to Y$ is proper if it is continuous and for any space $Z$, the product $f\times \operatorname{id_Z}\colon X\times ...
1
vote
0answers
24 views

How can I prove two empirically derived graphs are topologically equivalent?

I have two graphs that I've derived from an empirical data set and I suspect that they're topologically equivalent. It seems much easier to show that these graphs are not equivalent than to show that ...
1
vote
2answers
59 views

Is Lebsegue Measure Translation Invariant?

I am trying to prove that the Lebsegue measure is translation-invariant. Namely, given a set $X\subseteq\mathbb{R}$, I'd like to show $X + y$ is measurable and $\mathit{m}(X + y) = \mathit{m}(X)$. ...
1
vote
0answers
32 views

what is relation between topology and geometry? [on hold]

what is relation between general topology and geometry ?( and example in this relation .) is there simple book in relation between general topology and geometry ?
0
votes
1answer
11 views

Properly discontinuous action on hyperbolic plane

If we have G acts properly discontinuously on hyperbolic plane $\mathbb H$, then for any point p $\in \mathbb H$, exist neighborhood V s.t. gV$\cap$V =$\emptyset$ iff gp$\neq$p. Given this, can we ...
0
votes
0answers
14 views

how to show the equivalence of density

How to show $E$ is dense if and only if $int(\mathbb{R}- E) = \emptyset$ suggestions please. I do not see how to a direct proff
2
votes
2answers
70 views

What's the mathematics behind 3D modelling? [on hold]

I'm highly interested about 3D modelling in software, and I know that it has some deep mathematics behind it too. I would like to learn what specific topics are behind it mathematically. As long as I ...
0
votes
0answers
20 views

Connected sets prove that definitions are equivalent

I found the following two definitions of connected set. I couldn't really see how they were equivalent so I tried to prove it. Definition: Two subsets $A$ and $B$ of a metric space $X$ are said to ...
1
vote
1answer
17 views

Product of regular spaces [on hold]

How to achieve demonstration of the following proposition : Every product of regular spaces is regular. Thanks for advance.
0
votes
2answers
29 views

Does a compact set with non-empty interior have a limit point?

My Question: Let $U\subseteq \mathbb{C}$ open and $K\subset U$ be a compact set with nonempty interior $K^{o}$, then $K$ must have a limit point in $U$. Remark: I think that the statement is true. I ...
0
votes
2answers
20 views

Does a closed set not discrete have a limit point?

My Question: Let $U\subseteq \mathbb{C}$ open and $A\subset U$ be a close set not discrete in $U$, then $A$ must have a limit point in $U$. Remark: I do not know if the statement is true. I know that ...
0
votes
0answers
41 views

Largest subset on which a function is continious

Let $f: \mathbb{C} \to \mathbb{C}$ a function with $$f(x) =0, ~~~ \text{if} ~~ x = 0 $$ and $$f(x) = (e^x - 1)/x, ~~~\text{if} ~~x \neq 0$$ I want to determine the largest subset $A \subset ...
1
vote
3answers
31 views

Metric space $(X,d)$ with distance $D(x,S)=\inf\{d(x,y)|y\in S\}$ for $S$ subset of $X$

Let $(X,d)$ be a metric space with $S$ a non-empty subset of $X$. For $x\in X$ we define the distance $D$ between $x$ and $S$ as $D(x,S)=\inf\{d(x,y)|y\in S\}$. How do I prove that $\overline{S}$ ...
0
votes
2answers
32 views

Compact space with a discrete subspace

I'm looking for an example (or a proof of nonexistence) of a compact space with discrete and uncountable subspace.Thank you for all your answers.
0
votes
1answer
29 views

how can we define closed set or open set for a set of matrices?

Suppose we consider the set of all matrices in $M_{2}$(R) such that neither eigenvalue is real .Is the set open or closed?
2
votes
0answers
33 views

How to view Stone-Cech compactification of the real line?

I am going through Arveson's A Short Course on Spectral Theory and have come across an exercise constructing $\beta\mathbb{R}$ using the Gelfand map. I was wondering if there is an explicit ...
1
vote
2answers
44 views

Specific example of a space that is separable but not second countable.

A toplogical space $X$ is said to be second countable if there exists a countable basis for the topology. $X$ is separable if there exist a countable dense subset. Show that a second ...
1
vote
1answer
23 views

Converting all arcs to polygonal arcs in a plane graph

I am trying to understand a proof on the conversion of arcs to polygonal arcs in plane graphs, in the book "Graphs on Surfaces" by Mohar and Thomassen. In the book, an arc joining two points $x,y \in ...
1
vote
0answers
94 views

I want to self study systematically pure mathematics? Where do I start? [on hold]

I am an undergraduate student in Mechanical Engineering and I am highly interested in studying pure mathematics systematically.I have a fair amount of knowledge on real and complex analysis, ...
0
votes
1answer
25 views

Proof verification: Compact set has sup and inf

I was reading this post compact set always contains its supremum and infimum There was an answer reposted as follows: As $K$ is compact, we have that $K$ is bounded. So $\sup K$ and $\inf K$ ...
0
votes
1answer
22 views

Comparing different topological spaces regarding homeomorphisms and fundamental groups.

Which of the following topological spaces are homeomorphic? Which have the same fundamental group? a) The interval $(0,1)$ and $\mathbb{E}^1$ b) The torus $\mathbb{R}^2/\mathbb{Z}^2$ ...
1
vote
1answer
13 views

Effective Topological Transformation Groups and the Group of Homeomorphisms

I'm reading Steenrod's Topology of Fibre Bundles, and on pages 6 and 7, he defines a topological group $G$ and a topological transformation group of a topological space (which I understand to be a ...
0
votes
1answer
37 views

Show there are infinitely many distinct maximal solutions of $\frac{dx}{dt} = (3/2)x^{1/3}$ that pass through the point $(t_0,0)$

$$\frac{dx}{dt} = (3/2)x^{1/3}$$ Solve Show that given any point $(t_0,0)$ on the $t$-axis, there are infinitely many distinct maximal solutions that pass through the point. We are given: ...
1
vote
1answer
38 views

Why is the map $f(x)=e^{i2\pi x}$ from $[0, 1)$ to the unit circle continuous?

This seems to be a really silly question, I just couldn't think it straight. The definition of a continuous map: $f: X \to Y$ is continuous if for any open set $U$ in $Y$ , $f^{-1}(U)$ is open in ...
1
vote
1answer
21 views

Projection maps are open

I want to show $p_x: X\times\ Y \to X$ is an open map. Here's my proof: Let $W \subset\ X\times\ Y$ be open subset, then $W = \bigcup U_\alpha \times\ V_\beta$, for $U_\alpha, V_\beta$ are open ...
2
votes
0answers
21 views

shrinking a convex hull around a set of polygons

I'm trying to find (Or design) an algorithm that will let me, after I have a convex hull, progressively shrink the hull towards the polygon set via increasing some parameter. I.e., if we use the ...
0
votes
1answer
11 views

Suborderable space, orderable characterization proof doubt

In Orderability in the presence of local compactness, Valentin Gutev states and proves the following proposition: A suborderable space $X$ is orderable with respect to a linear order $\prec$ on it if ...
4
votes
5answers
481 views

A Compact Hausdorff Space with no Manifold Structure? [on hold]

What is an example of a compact Hausdorff space that cannot be given the structure of a (i) differential manifold (ii) topological manifold?
0
votes
1answer
32 views

When do two subbases generate the same topology

Let $X$ be a set. If $\mathcal B_1$ and $\mathcal B_2$ are bases of subsets of $X$, it is well-known that $\mathcal B_1$ and $\mathcal B_2$ generate the same topology if and only if for any pair of ...
1
vote
1answer
58 views

a topological property of the product topology

Let $G$ be a non discrete Polish group. Let $K$ be a compact set of $G$, $C$ a closed set of $G^n$ and $B$ an open set of $G^n$. Suppose $K^n\cap C\subseteq B$. Prove that there is an open set of $G$, ...
1
vote
1answer
31 views

Closed subsets of $\mathbb{C}^*$ proper for multiplication

Let $S_1$ and $S_2$ be two proper closed subsets of $\mathbb{C}^*$. Let's denote by $\overline{S_1}$ and $\overline{S_2}$ their closure in $\mathbb{C}_{\infty}.$ (Alexandrov compactification) ...
0
votes
4answers
47 views

A sequence in a Hausdorff space and in a space that is not Hausdorff.

Let $X$ be a topological space and $\{x_n\}_{n=1}^{\infty}$ a sequence in $X$. Show that if $X$ is Hausdorff, $x_n \rightarrow x \:$, $x_n \rightarrow y \:$ implies $x=y$. Give an ...
1
vote
0answers
36 views

The closure of the closed ball is a closed [on hold]

In how many ways you can show that $\overline{\overline{B}(x,r)}=\overline{B}(x,r)$ where $\overline{B}(x,r)=\lbrace y \in \mathbb{R}^n : d_e(x,y) \leq r \rbrace$, and $d_e$ is the euclidean metric ? ...
2
votes
1answer
18 views

Sequential compactness of smooth functions

Suppose I have a sequence $u_n$ of smooth functions on the $N$-dimensional reals. If $\|D^{\alpha}u_n\|_{\infty} \leq C_{\alpha}$ for all multi-indices $\alpha$, then is it possible to deduce that ...
5
votes
1answer
63 views

are two metrics with same compact sets topologically equivalent?

are two metrics with same compact sets topologically equivalent ? I think if the cardinal of set is finite then we have one metric that is the discrete metric and every metric on this set is ...
4
votes
0answers
57 views

Is the sum of infinitely many open sets open?

Let $X$ be a locally convex space (or, in particular, a normed space). Let $(O_n)_{n=1}^\infty$ be an infinite sequence of non-empty open sets in $X$ such that the sum $\displaystyle\sum_{n=1}^\infty ...
5
votes
3answers
65 views

Show that two topological spaces are not homeomorphic.

Let $X = (-1,1)$ be considered with the Euclidean metric, and $Y = (0, \infty)$ be given the cofinite topology. Prove that $X$ and $Y$ are not homeomorphic. My current thoughts are that a ...
0
votes
3answers
63 views

Let $F : X → X$ be continuous. Prove that the set $\{x ∈ X : F(x) = x\}$ of fixed points of F is closed in X

Here X is a Hausdorff Space. I know that singleton sets, {x}, are closed in a Hausdorff space. Although Im not sure if thats how to use the Hausdorff property. Should I investigate $h=F(x)-x$? Can ...
0
votes
1answer
24 views

Show that $|d(m,n) -d(n,o) | \leq d(m,o)$ for a metric space

Problem Let $(M,d)$ be a metric space. Show that $$|d(m,n) - d(n,o)| \leq d(m,o) \ \forall m,n,o \in M$$ Since $(M,d)$ is a metric space I know it fufills the triangle inequality. So if I ...
2
votes
0answers
38 views

Is $(\omega \times \omega)^{\omega}\cong \omega \times \omega \times… \cong \omega^{\omega}$? Where “$\cong$” means homeomorphic.

I'm interested in the circumstances for when we can conclude that two ordinal spaces are homeomorphic by an examination of their written form. Specifically, I'm taking an ordinal space, say ...
1
vote
0answers
15 views

Special case of noetherian space

A topological space  is called Noetherian if it satisfies the descending chain condition for closed subsets. Now let $X $ be a topological space, and there exists a fix natural number $n $ such that ...
0
votes
0answers
23 views

Another question from Exercise 6d in section 50 in Munkres' textbook in Topology.

I have a question regarding exercise 6d in section 50 from Munkres' Topology textbook: Exercise 6c in section 50 Munkres' Topology textbook. Show that if $N=2m+1$, then $U_\epsilon(C)$ is dense ...
0
votes
0answers
20 views

Cantor-Bendixson rank of a first countable space

This question has been bothering me for quite a while, so let me ask it here. Is there a first-countable compact space $X$ with uncountable Cantor-Bendixson index? By a Cantor-Bendixson index I ...
0
votes
3answers
43 views

Countable connected spaces

I can not think of any countable connected subsets in $\mathbb{R}$ (with subspace topology).. Are there any such? Only countable subsets of $\mathbb{R}$ that i am familiar with is $\mathbb{Q}$ ...