Why Is U(n) Considered Connected When O(n) Is Not?

  • Thread starter Thread starter gentsagree
  • Start date Start date
  • Tags Tags
    Groups Lie groups
Click For Summary
SUMMARY

The discussion clarifies the concept of connectedness in the context of the orthogonal group O(n) and the unitary group U(n). O(n) is not connected due to its partition into subsets based on the determinant, specifically detO=1 and detO=-1, with the maximally connected component being SO(n). In contrast, U(n) is considered connected because it encompasses a continuous set of matrices with determinants that form a circle in the complex plane, specifically detU=1 and detU=-1, with SU(n) as a subgroup. The distinction lies in the topological properties of these groups rather than merely their algebraic structures.

PREREQUISITES
  • Understanding of group theory, specifically the properties of orthogonal and unitary groups.
  • Familiarity with determinants and their implications in linear algebra.
  • Knowledge of topological spaces and the concept of connectedness.
  • Basic understanding of Lie groups and their components.
NEXT STEPS
  • Study the properties of Lie groups, focusing on Chevalley's "Theory of Lie groups".
  • Explore the concept of connected components in topological spaces.
  • Learn about the implications of determinants in matrix groups, particularly in U(n) and O(n).
  • Investigate the relationship between algebraic structures and their topological properties.
USEFUL FOR

Mathematicians, particularly those specializing in algebraic topology, linear algebra, and group theory, as well as students seeking to deepen their understanding of connectedness in mathematical structures.

gentsagree
Messages
93
Reaction score
1
I surely am missing something about the notion of connectedness, and I clarify this by means of an example:

O(n), the orthogonal group, has two subsets with detO=1 and detO=-1. Now, the maximally connected component of O(n) is SO(n), which is the subgroup with detO=1 including the Identity, while the other part is simply a coset (and not a subgroup, as it doesn't, of course, contain I).
Thus, O(n) is NOT a connected group.

I do not understand why, on the other hand, U(n) is said to be connected when it has got, in exactly the same way as O(n), two subsets with detU=1 and detU=-1, where we call the former SU(n).
 
Physics news on Phys.org
U(n) is a group of complex matrices, so has matrices A with det(A) = z for any complex number |z|=1 (which you will note is a connected set, namely a circle). This doesn't prove the set is connected by itself but does resolve the issue of the determinant.
 
Check out C. Chevalley's "Theory of Lie groups", Proposition 3, Page 37.
 
You are focussing on words rather than the meaning of words. I suggest you first try to understand how the facts you state imply that O(n) is not connected.

* connectedness is a property of a topological space, not of a group or a set
* O(n) is partitioned into the 1 and -1 fibers of the determinant, while U(n) is not

Anyway, the key to your 'argument' is
the maximally connected component of O(n) is SO(n)
First, it seems to contain a tautology: in my vocabulary a connected component is a maximal connected subset.
Second, do you understand your use of 'the'? It either means 'unique up to homeomorphism', or you forgot to include 'of the identity'. Third, the following statement obtained by substituting words is false:
the maximally connected component of U(n) is SU(n)
so you need to understand why it is true for O(n) in the first place.
 
Last edited:
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 26 ·
Replies
26
Views
887
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 36 ·
2
Replies
36
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K