definition of \(m \times n\) real matrices topological space
Topics
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of %ring name% matrices space.
- The reader knows a definition of Euclidean topological space.
Target Context
- The reader will have a definition of \(m \times n\) real matrices topological space.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( m\): \(\in \mathbb{N} \setminus \{0\}\)
\( n\): \(\in \mathbb{N} \setminus \{0\}\)
\( \{M\}\): \(= \text{ the } \mathbb{R} \text{ matrices space }\)
\(*M_{m \times n} (\mathbb{R})\): \(= \{M \in \{M\} \vert M \in \text{ the } m \times n \text{ matrices } \}\), \(\in \{\text{ the topological spaces }\}\)
\( \mathbb{R}^{m n}\): \(= \text{ the Euclidean topological space }\)
\( f\): \(: M_{m \times n} (\mathbb{R}) \to \mathbb{R}^{m n}, M \mapsto (M^1_1, ..., M^m_1, ..., M^1_n, ..., M^m_n)\)
//
Conditions:
\(f \in \{\text{ the homeomorphisms }\}\)
//
When \(m = n\), \(M_{m \times n} (\mathbb{R})\) is often denoted as \(M_n (\mathbb{R})\).
2: Note
In other words, \(M_{m \times n} (\mathbb{R})\) is given the topology that makes \(f\) a homeomorphism, which is valid, because \(f\) is a bijection: any \(S \subseteq M_{m \times n} (\mathbb{R})\) is open if and only if \(f (S) \subseteq \mathbb{R}^{m n}\) is open.
When \(m = n\), \(M_n (\mathbb{R})\) is a ring, by the definition of ring of \(n \times n\) ring matrices, and the multiplication, \(m: M_n (\mathbb{R}) \times M_n (\mathbb{R}) \to M_n (\mathbb{R})\), is continuous, by the proposition that the multiplication on any multiplication-possible finite-product of real matrices topological spaces is continuous.
Let us see that the transposition, \(t: M_n (\mathbb{R}) \to M_n (\mathbb{R}), M \mapsto M^t\), is continuous.
\(t = f^{- 1} \circ f \circ t \circ f^{- 1} \circ f\).
Let us see that \(f \circ t \circ f^{- 1}: \mathbb{R}^{n^2} \to \mathbb{R}^{n^2}\) is continuous.
\(\mathbb{R}^{n^2}\) is a topological subspace of the \(C^{\infty}\) manifold, \(\mathbb{R}^{n^2}\), and by the standard chart for \(\mathbb{R}^{n^2}\), each component of each \(v \in \mathbb{R}^{n^2}\) becomes a component of \(f^{- 1} (v)\), each component of \(t (f^{- 1} (v))\) is a component of \(f^{- 1} (v)\), which is a component of \(v\), and those components of \(t (f^{- 1} (v))\) become the components of \(f \circ t \circ f^{- 1} (v)\), so, the components of the components function of \(f \circ c \circ f^{- 1}\) are some components, which are continuous.
So, \(f \circ t \circ f^{- 1}\) is continuous, by the proposition that any topological spaces map is continuous at any point if the spaces are the subspaces of some \(C^\infty\) manifolds and there are some charts of the manifolds around the point and the point image and a map between the chart open subsets which (the map) is restricted to the original map whose (the chart open subsets map's) coordinates function's restriction is continuous.
\(f\) is continuous, because \(f\) is a homeomorphism.
\(f^{- 1}\) is continuous, because \(f\) is a homeomorphism.
So, \(t = f^{- 1} \circ f \circ t \circ f^{- 1} \circ f\) is continuous, by the proposition that for any maps between any arbitrary subspaces of any topological spaces continuous at any corresponding points, the composition is continuous at the point.
