This question already has an answer here: Projection map being a closed map 5 answers

I realize most people work in “convenient categories” where this is not an issue. In most topology books there is a proof of the fact that there is a natural homeomorphism of function spaces (with the compact-open topology): $$F(X\times Y,Z)\cong F(X,F(Y,Z))$$ when $X$ is Hausdorff and $Y$ is locally compact Hausdorff. There is also supposed […]

So, let’s consider $M=\mathbb{R}^{2}$ and $N= \mathbb{R} \times [0, +\infty]$ – two topological spaces. Since $\pi_{1}(M)=\pi_{1}(\mathbb{R}) \times \pi_{1} (\mathbb{R}) = \{0 \}$ (since $\mathbb{R}$ is path-connected). This time, fundamental group of every convex subset of $\mathbb{R}$ is also trivial, so it’s time to conclude that $M$ is homotopy equivalent to $N$. But how to prove […]

I’m looking at this theorem from Marsden’s Elementary Classical Analysis, but there’s a part of the proof that I don’t understand. First I’ll state the proof of the direction that if it is complete and totally bounded then it is compact. The bold parts of the proof are what I don’t understand. Proof: Assume that […]

Let $E$ be a locally convex space, let $E^{\prime}$ be its continuous dual space and let $F$ be a subspace of $E^{\prime}$ which is dense with respect to the strong topology on $E^{\prime}$ (i.e. the topology of uniform convergence on bounded subsets on $E$). Under what assumptions on $E$ is it possible to conclude that […]

I’m reading the definition of weak topology in Banach Algebra Techniques in Operator Theory by Douglas: According to an article about the product topology in Wikipedia, the product topology is also called topology of pointwise convergence. I’m confused with the underscored sentence. According to the answer by @Brian M. Scott to the question What is […]

I’m trying to understand the topology of pointwise convergence, we’re defined it on the set $\cal{F}(X)$ of real functions on set $X$ to be the sub basis with topology $$\{f \in \cal{F}(X) : a < f(x) <b\} $$ where $x \in X$ and $a,b \in \mathbb{R}$. Then it says: ‘A set from the sub-basis consists […]

The closure of $A$ can be equal to $\operatorname{int}(A)\displaystyle\cup\operatorname{bdry}(A)$. Another definition is that the closure is the set of limit points of $A$. How are these 2 definitions equivalent?

Give $f:(\mathbb{R}^2,d^{1}) \rightarrow (\mathbb{R}^2,d^{\infty})$ let $f$ be defined $$f(x_1,x_2)=(x_1+x_2,x_1-x_2)$$ My ideal is to try to show that $f$ preserves the origin and that $f$ is continuous and injective, thereby implying $f$ is surjective. I wonder if it is possible to show that $$d^{1}(x,y) = d^{\infty}(f(x),f(y))$$ to show that $f$ is an isometry, but I do […]

Prove that a Covering map is proper if and only if it is finite-sheeted. First suppose the covering map $q:E\to X$ is proper, i.e. the preimage of any compact subset of $X$ is again compact. Let $y\in X$ be any point, and let $V$ be an evenly covered nbhd of $y$. Then since $q$ is […]

Intereting Posts

How do I write this matrix in Jordan-Normal Form
RSA encryption. Breaking 2048 keys with index
Removing $e^{-in\pi x/\ell}$ from an integral
Does Closed Graph imply Closed Range
Computing expectation of: $\small E\left $
Integrable function whose Fourier transform is not integrable
How can I convert fifth order polynomial to a linear equation using logs?
Linear algebra to find EV of sort algorithm
Are $4ab\pm 1 $ and $(4a^2\pm 1)^2$ coprime?
Problem evaluating $ \int_{0}^{\pi/2}\frac{x}{\tan x}dx $
Is the set of closed points of a $k$-scheme of finite type dense?
Help with proof of Jensens inequality
The topological boundary of the closure of a subset is contained in the boundary of the set
Prob. 1, Chap. 6, in Baby Rudin: If $f(x_0)=1$ and $f(x)=0$ for all $x \neq x_0$, then $\int f\ \mathrm{d}\alpha=0$
What is the smallest prime of the form $n^n+8$?