$\newcommand{\Sym}{\operatorname{Sym}}$ Denote by $\Sym(n)$ the set of symmetric, real $n\times n$ matrices and let $\iota:\Sym^+(n)\hookrightarrow \Sym(n)$ be the subset of positive definite matrices with its standard topologies. My question: is there a continuous map $r:\Sym(n)\to \Sym^+(n)$ with $r\circ\iota=\operatorname{id}_{\Sym^+(n)}$ (a retraction), i.e. can we speak of a positive definite part $r(A)$ of a symmetric matrix $A$?

I thought I knew that but it seems I don’t. Let $\alpha$ be a countable, limit ordinal $\alpha>\omega$. Give $\alpha$ its order topology. What is the Stone-Čech compactification of $\alpha$? Is there any reason why it should be $\beta \omega$?

The following is a past qual problem: let $X = S^1 \times [0,1]$ be the cylinder, and define an equivalence relation on $X$ by $(z,1) \sim (iz,1)$ and $(w,0) \sim (e^{i\pi /7} w, 0)$. Compute $\pi_1(X/{\sim})$. I’ve been trying to realize a CW complex structure for $X/{\sim}$, by having a 2-cell with edges $a^4$ at […]

I started reading about the topology of pointwise convergence. So far I do not feel quite comfortable with this theory. Maybe one can help me out in a more concrete example case. Let’s consider sequences, so $a : \mathbb{N} \to \mathbb{R},x \mapsto a(x)$. In the topology of pointwise convergence it holds now that $$(a)_n \to […]

Let $(a,b)$ be an interval. Let $(A_i, \Sigma_i, \mu_i)$ be a measure space for each $i \in (a,b)$. Is it possible to put a measure space on the disjoint union $$\bigcup_{i \in (a,b)}\{i\}\times A_i?$$ If the $A_i = \Omega_i$ were open subsets of $\mathbb{R}^n$, we can think of this disjoint union as a non cylindrical […]

Let $f_n:[0,1]\to\mathbb{R},\ n\in\mathbb{N}$ be a sequence of convex analytic functions. Consider the sequence of derivatives $(f_n’)_{n\in\mathbb{N}}$. Suppose that $$f’_n(x)\xrightarrow[n\to\infty]{}g(x)\in\mathbb{R}\ \text{for all}\ x\in\mathbb{Q\cap[0,1]}.$$ Is it true that $(f_n’)_{n\in\mathbb{N}}$ converges uniformly on $\mathbb{Q}\cap[0,1]$?

My textbook gives the following definition: “For each $\epsilon>0$, the $\epsilon$-ball about a point $x$ in a metric space $M$ is the set $\{y\in M:d(x,y)<\epsilon\}$.” Is this correct? Because this sounds as if $\epsilon$ is just a dummy variable, and that there is such a thing as, say, a “5-ball” meaning $\{y\in M:d(x,y)<5\}$. Shouldn’t the […]

Reference:- Evans-Gariepy, Federer, other books and notes of geometric measure thoery. I just want to clarify whether these definitions of measure theoretic interior and boundary are correct. Given a Borel regular measure $ \mu $ in $\mathbb{R}^n $, given a $\mu$-measurable subset $E \subset \mathbb{R}^n $, let $$ \psi(x,E) = \lim_{r\rightarrow 0}\frac{\mu(E\cap B(x,r))}{\mu(B(x,r))} $$ Here […]

Let $X$ and $Y$ be manifolds and suppose that $X$ is a compact, complete metric space and $Y$ is a complete metric space. So, both $X$ and $Y$ are Baire spaces. Question: For what values of $k\geq 0$ is the space $C^k(X,Y)$ (with the $C^k$-topology) a Baire space? For $k=0$, the space $C^0(X,Y)$ is a […]

The next is a problem in the context of $0$-dimensional Hausdorff spaces. If $S$ is a subspace of a space $X$ such that for every continuous function with domain $S$ and codomain the discrete space of two points we may extend that function to a continuous function with domain $X$ and codomain the same discrete […]

Intereting Posts

$H_1 ,H_2 \unlhd \, G$ with $H_1 \cap H_2 = \{1_G\} $. Prove every two elements in $H_1, H_2$ commute
Correct process for proof in graph theory.
Uniform Continuity of $f(x)=x^3$
Example of a an endomorphism which is not a right divisor of zero and not onto
How to factor numbers that are the product of two primes
Show that if $\int_0^x f(y)dy \sim Ax^\alpha$ then $f(x)\sim \alpha Ax^{\alpha -1}$
How to integrate $\frac {\cos (7x)-\cos (8x)}{1+2\cos (5x)} $ ?
Generating connected module over a connected $K$-algebra
Open math problems which high school students can understand
Is $\det(I+aAVV^*A^*)$ increasing function in $a$.
$M$ be a finitely generated module over commutative unital ring $R$ , $N,P$ submodules , $P\subseteq N \subseteq M$ and $M\cong P$ , is $M\cong N$?
Automorphism on integers
Simplify sum of factorials with mathematical induction
There are finitely many ideals containing $(a)$ in a PID
“belongs to” versus “contained in”