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
The discussion centers on the concept of connectedness in the context of the orthogonal group O(n) and the unitary group U(n). O(n) is not considered connected because it has two distinct subsets based on the determinant values, with the maximally connected component being SO(n), which only includes matrices with a determinant of 1. In contrast, U(n) is deemed connected despite also having subsets with different determinant values, as its structure allows for a continuous set of matrices with determinants that form a connected circle in the complex plane. The key distinction lies in how O(n) is partitioned by its determinant, while U(n) maintains a continuous connection across its determinant values. Understanding these differences is essential for grasping the topological properties of these groups.
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:

Similar threads

  • · Replies 26 ·
Replies
26
Views
809
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
2K