I have to prove that to each of following classes of matrices can be given a manifold structure:
- symmetric (denoted with $\mathcal{S}$)
- upper triangular
- diagonal
- null trace.
I am interested in rather simply proofs that do not allow methods from the theory of Lie groups, instead tools like implicit functions theorem, basic results from basic topology, very basic results from manifold theory are allowed.
- About (1)
I believe that since $\mathcal{S}$ is isomorphic to the upper right triangular matrices, we can consider the bijection $ M \in \mathcal{S} \mapsto (a_{11}\dots a_{1n},a_{22},\dots,a_{2n},a_{33},\dots a_{nn}) \in \mathbb{R}^{\frac{n(n+1)}{2}}$ which defines a bijection. So we can trivially induce a topology on $\mathcal{S}$ from the standard topology over $\mathbb{R}^{\frac{n(n+1)}{2}}$, obtaining a single chart $C^\infty$ atlas (please correct if I'm wrong!!!).
- For (2) and (3)
the reasoning is almost the same as in (1).
- About (4)
I'd like to try with implicit function theorem, taking the space of $n \times n$ matrices ($n^2$-manifold) as starting point, considering the defining equation $f = \sum_i a_{ii} = 0$ and observing that the gradient of $f$ is not $0$ for each null trace matrix. So we can conclude that the space of null trace matrices is a closed submanifold of $M(n,\mathbb{R})$ of dimension $n^2-1$. Is the preceding reasoning correct? Thanks.