Proving g-Orbit of z is Invariant Under g

  • Thread starter Thread starter zcdfhn
  • Start date Start date
  • Tags Tags
    Invariant
Click For Summary
SUMMARY

The discussion centers on proving that the g-orbit of a complex number z is invariant under the group of isometries g, where g is a subset of Isom(C). The g-orbit is defined as Orbitg(z) = {h(z) | h ∈ g}, indicating that for every isometry h in g, the image h(z) remains within the complex plane C. The proof confirms that since each h is an isometry, it maps elements of C to C, thereby establishing the invariance of the g-orbit under the action of g.

PREREQUISITES
  • Understanding of group theory, specifically the properties of isometries.
  • Familiarity with the complex plane and its elements.
  • Knowledge of orbit definitions in the context of group actions.
  • Basic concepts of mathematical proofs and QED notation.
NEXT STEPS
  • Study the properties of Isom(C) and its elements.
  • Learn about group actions and orbits in abstract algebra.
  • Explore examples of isometries in the complex plane.
  • Investigate the implications of invariance in group theory.
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone studying the properties of isometries in the complex plane will benefit from this discussion.

zcdfhn
Messages
23
Reaction score
0
Suppose g\in Isom C, z\in C:

Prove that the g-orbit of z is invariant under g.

I just need some clarification on what this is asking for:

1.) Are we assuming that g is a group of the isometries of C under composition?
2.) To show invariance, would I only have to show that the g-orbit of z \in C?


Here's my guess at the proof:

The g-orbit of z is defined as Orbitg(x) = {h(x)|h\in g}, x\in C.
Now, for all h\in g, h(z)\in C since h\in Isom C, which means h is an isometry from the complex plane to itself. QED.

Thanks in advance.
 
Physics news on Phys.org
What does it mean for h to be an element of g if g is an element of Isom(C)? g isn't a set, is it? Can you clarify your definitions?
 

Similar threads

Replies
2
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
1
Views
1K
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
7
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K