Problem 6 - A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry

Question

Show that the set of real \(m \times m\) matrices \(M(m, n ; \mathbb{R})\) is a manifold of dimension \(m n\). Show that the matrix multiplication map \(M(m, k ; \mathbb{R}) \times M(k, n ; \mathbb{R}) \rightarrow M f(m, n ; \mathbb{R})\) is differentiable.

Step-by-Step Solution

Answer

Proving that \(M(m, n ; \mathbb{R})\) is a manifold and the matrix multiplication map is differentiable hinges on the defining characteristics of manifolds and differentiability. By showing each matrix can be identified with a unique point in \(\mathbb{R}^{mn}\) (which is a manifold), we establish \(M(m, n ; \mathbb{R})\) as a manifold of dimension \(mn\). The differentiability of the matrix multiplication map is proved by showing that the Jacobian matrix, containing all the first order partial derivatives, exists for each point in the domain (since the map components are polynomial).

Step 1: Prove that \(M(m, n ; \mathbb{R})\) is a manifold of dimension \(mn\)

Consider the set of all \(m \times n\) real matrices \(M(m, n ; \mathbb{R})\). Each matrix in this set has \(mn\) entries, and each entry can take any real value. Thus, we can identify each matrix with a point in \(\mathbb{R}^{mn}\), implying that the set of all matrices is a subset of \(\mathbb{R}^{mn}\). Because \(\mathbb{R}^{mn}\) itself is a manifold of dimension \(mn\), any subset of \(\mathbb{R}^{mn}\) is also a manifold of dimension \(mn\). Thus, \(M(m, n ; \mathbb{R})\) is a manifold of dimension \(mn\).

Step 2: Define the matrix multiplication map

Now, we consider the matrix multiplication map. This map takes as input a pair of matrices, one from each of sets \(M(m, k; \mathbb{R})\) and \(M(k, n; \mathbb{R})\), and outputs a corresponding matrix in the set \(M(m, n; \mathbb{R})\). This map is a function, which we can denote as \(f\): \(M(m, k ; \mathbb{R}) \times M(k, n ; \mathbb{R}) \rightarrow M(m, n ; \mathbb{R})\).

Step 3: Show that the matrix multiplication map is differentiable

A function is differentiable at a certain point if it has a derivative at that point. The derivative of a multivariable function gives us information about the rate of change of the function at a particular point. For our function \(f\), to prove that it's differentiable, we need to show that the Jacobian matrix, which contains all the first order partial derivatives, exists for each point in the domain. The entries of the matrix resulting from the map are polynomial functions of the entries of the input matrices. Since polynomials are smooth functions (having derivatives of all orders everywhere in their domain), the function \(f\) has a Jacobian at every point, and hence is differentiable.

Key Concepts

Matrix Multiplication

Matrix multiplication is an operation that takes two matrices and produces a new matrix. This process involves taking the dot product of rows of the first matrix with the columns of the second matrix.
The operation is defined as follows: If we have two matrices, matrix \( A \) of dimensions \( m \times k \) and matrix \( B \) of dimensions \( k \times n \), the resulting matrix \( C = AB \) will have dimensions \( m \times n \).

• Each element \( c_{ij} \) in \( C \) is calculated as the sum of the products of corresponding elements from row \( i \) of matrix \( A \) and column \( j \) of matrix \( B \).
• This means \( c_{ij} = a_{i1}b_{1j} + a_{i2}b_{2j} + \ldots + a_{ik}b_{kj} \).

Understanding matrix multiplication is crucial as it lays the groundwork for more complex operations in linear algebra, such as solving linear systems and performing various transformations in manifold theory.

Differentiable Maps

Differentiable maps are functions that can be naturally understood in terms of calculus concepts like derivatives and integrability. In the context of matrix multiplication, we consider the defining function as a map between spaces.
Imagine a function \( f \) that maps from one manifold (\( M(m,k; \mathbb{R}) \times M(k,n; \mathbb{R}) \)) to another manifold (\( M(m,n; \mathbb{R}) \)). This function is considered differentiable if small changes in the input matrices lead to small changes in the output matrix in a smooth and predictable manner.

• The map's differentiability is indicated by the existence of a derivative (Jacobian) at each point within its domain.
• A differentiable function allows us to linearize around any point, predicting the function's behavior using calculus tools.
• In our case, the differentiability of the matrix multiplication map stems from the fact that entry outputs are polynomial functions, inherently smooth.

Differentiability is a fundamental concept as it ensures predictable and manageable transformations among mathematical structures, which is essential in manifold theory.

Real Matrices

Real matrices are arrays of real numbers organized into rows and columns, representing numerous mathematical structures and applications.
A matrix is called a real matrix when all its entries are real numbers. These matrices can be square (same number of rows and columns) or rectangular. Real matrices are foundational in manifold theory, enabling representation and manipulation of linear mappings and transformations.

• A set of real \( m \times n \) matrices \( M(m, n; \mathbb{R}) \) forms a manifold, meaning it can be treated like a ``smooth" geometric surface, which is a key aspect in manifold theory.
• The dimension of this manifold is determined by the number of free entries \( mn \), correlating directly to a point in \( \mathbb{R}^{mn} \).
• Being part of \( \mathbb{R}^{mn} \), real matrices exhibit properties that make them smooth, simplifying their study and application in continuous systems.

Real matrices' significance lies in their ability to represent transformations in numerous scientific and engineering disciplines, making them indispensable in calculus and algebra.