Can a subset of R^n have multiple centres of symmetry?

  • Context: Graduate 
  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
  • Tags Tags
    Symmetric
Click For Summary
SUMMARY

The discussion focuses on the properties of centrally symmetric subsets of R^n, specifically addressing three key points: (1) if X is centrally symmetric and f is an isometry, then f(X) remains centrally symmetric; (2) if X has two centres of symmetry, it must have infinitely many; and (3) a bounded subset of R^n can have at most one centre of symmetry. The participants explore the implications of isometries and affine transformations, particularly through the use of orthogonal matrices and the composition of isometries.

PREREQUISITES
  • Understanding of isometries in R^n
  • Familiarity with affine transformations and orthogonal matrices
  • Knowledge of the concept of symmetry in mathematical contexts
  • Basic principles of bounded sets in Euclidean spaces
NEXT STEPS
  • Study the properties of isometries in R^n, focusing on their effects on geometric shapes
  • Explore the concept of affine transformations and their applications in symmetry
  • Investigate the implications of multiple centres of symmetry in higher-dimensional spaces
  • Examine the characteristics of bounded subsets in R^n and their symmetry properties
USEFUL FOR

Mathematicians, geometry enthusiasts, and students studying advanced topics in linear algebra and symmetry in Euclidean spaces.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
X a subset of R^n is called centrally symmetric if the isometry f_z:R^n->R^n
defined by x|->2z-x for some z in R^n satisifies: f_z(X)=X.
and z is called centre of symmetry.
Now i need to show that:
1. if X is centrally symmetric and f is an isometry then f(X) is also centrally symmetric.
2. prove that if X has two centres of symmetry then it has infinie centres of symmetry.
3. prove that a bounded subset of R^n has at most one centre of symmetry.

Now for 1:
now sure how to do it, i mean from what is given:
fof_z(X)=f(X)
if i can prove that fof_z satisfies fof_z(x)=2z-f(x) then it will suffice, cause fof_z is a composiition of isometries which is itself an isometry.

now we proved that each isometry can be written as an affine transformation, i.e
f(x)=Ax+b where A is an orthogonal matrix (nxn).
now here: fof_z(x)=A(f_z(x))+b=A(2z-x)+b=2Az-Ax+b=2z'-(Ax+b)=2z'-f(x)
where z'=Az+b
will that do, or something is missing?

for the second question i tried to look if we have two centres of symmetry, then
z1,z2, then f_z_i(X)=X
then I thought of looking at f_z3(x)=[f_z2(x)+f_z1(x)]/2=(z2+z1)-x
if we define z3=(z1+z2)/2 then this should be another centre of symmetry, the prblem is that i need to show that: f_z3(X)=X, well perhaps this follows because every point in X is in f_z1(X) and f_z2(X) and then also it's in f_z3(X) cause f_z3(x) is actually a mean value of the other functions, is that even make sense (too mcuh hand wavy)?

for the third i thioght of showing that if it had for example two then from section 2 it will have more and thus get that the set isn't bounded, not sure how to formalise this.

any hints are apprecitaed.
 
Physics news on Phys.org
any comments?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
5K
  • · Replies 86 ·
3
Replies
86
Views
14K
  • · Replies 9 ·
Replies
9
Views
9K
  • · Replies 150 ·
6
Replies
150
Views
20K
  • · Replies 20 ·
Replies
20
Views
7K
  • · Replies 15 ·
Replies
15
Views
4K