Questions about symmetry, in group theory, geometry or elsewhere in mathematics. See https://en.wikipedia.org/wiki/Symmetry

learn more… | top users | synonyms

0
votes
0answers
6 views

Generating space representation of all elements of a point group using generators

A well known set of groups are the 32 three-dimensional crystallographic point groups which elements represent the transformation matrices of the symmetry elements (rotation, reflection etc.). If one ...
3
votes
1answer
15 views

Any bi-invariant distance on a group is inverse-invariant?

$\newcommand{\inv}{\text{inv}}$ Let $G$ be a Lie group. Assume $d$ is a metric on $G$ (in the sense of metric spaces) which is bi-invariant. Is it true that the inverse automorphism must be an ...
4
votes
1answer
49 views

Finding a matrix given eigenvalues and eigenvectors.

I am asked to construct a $4 \times 4$ symmetric matrix, with given eigenvalues and eigenvectors. I understand how to actually get $A$ as a product of $P^T, D$ and $P$, when $D$ is the diagonal ...
0
votes
1answer
10 views

How to prove that the pointreflection at the midpoint of two several points out of a regular pointlattice fix the lattice?

How to prove that the pointreflection at the midpoint of two several points $A,B\in\mathfrak{L}$ in a regular pointlattice $\mathfrak{L}$ fix the lattice $\mathfrak{L}$? We call ...
0
votes
1answer
35 views

How do we get the inequality?

Proposition: If $A \in \mathbb{R}^{n \times n}$ a symmetric matrix then $||A||= \sup \{ ||Ax||_2: ||x||_2=1\}= \sup \{ |\langle x, Ax \rangle|: ||x||_2=1\}$. Proof: It suffices to show that $||A|| ...
5
votes
1answer
41 views

Is this 2-tensor symmetric? It satisfies these conditions

I have some scalar field $p$ and a 2nd order tensor $\textbf{T}$ such that $div( \ \textbf{T} \ \textbf{grad}(p) \ )=0$ $\textbf{curl}(\ \textbf{T} \ \textbf{grad}(p) \ )=\textbf{0} $ $\textbf{T}$ ...
2
votes
1answer
63 views

Nodal Lines of the Eigenvalue problem $\Delta u=\lambda u$

I have really enjoyed performing the method of separation of variables to identify the eigenfunctions and nodal lines (the set of points for which each eigenfunctions vanishes) of the 2-D wave ...
2
votes
0answers
68 views

What are the non-vanishing directions of $A_{a(b} B_{cd)} - B_{a(b} A_{cd)}$? ($A$ and $B$ symmetric tensors)

Question Consider two symmetric tensors $A_{ab}=A_{ba},\, B_{ab}=B_{ba}$ which are generally of full rank (non-degenerate, all eigenvalues non-zero but of general sign) and their tensor product under ...
0
votes
1answer
22 views

How to show the space of inverse-invariant metrics on a Lie group is infinite dimensional?

Let $G$ be a Lie group. I am trying to convinve myself there are 'many' Riemannian metrics on $G$ for which the inverse automorphism is an isometry. Denote the iverse by $i$. For any metric $g$ on ...
8
votes
9answers
295 views

Why $e^x$ is always greater than $x^e$?

I find it very strange that $$ e^x \geq x^e \, \quad \forall x \in \mathbb{R}^+.$$ I have scratched my head for a long time, but could not find any logical reason. Can anybody explain what is the ...
1
vote
2answers
45 views

There exists an orthogonal antisymmetric real $n\times n$-matrix iff $n$ is even

How do I prove that there exists an orthogonal antisymmetric $n\times n$-matrix with real coefficients iff $n$ is even? I know that orthogonal and antisymmetric means $AA^T=I$ and $A=-A^T$, thus ...
1
vote
0answers
15 views

Weyl Transformations and Group actions

I have the following question. Let $(M,g_{ab})$ be a Riemannian manifold $M$ with metric $g$, and with an action of a Lie group $G$. Moreover, the Riemannian metric $g_{ab}$ is taken to be invariant ...
0
votes
0answers
29 views

Axis of approximate symmetry in irregular polygon

I'm searching for an axis of approximate reflection symmetry in irregular convex polygons with straight boundaries. Considering the polygons are irregular, the axis of approximate symmetry (defined as ...
4
votes
0answers
48 views
+50

Extend isometry on some cube vertices to the entire cube

Let $K\subset V=\{-1,1\}^n$ be a set of vertices of the $n$-dimensional hypercube $D=[-1,+1]^n$ and let $f:K\to V$ be an isometry with respect to the Euclidean metric inherited from $\mathbb R^n.$ We ...
0
votes
2answers
64 views

Problems in Wikipedia about symmetry group of the non-equilateral isosceles triangle.

I think this wikipedia article - https://en.wikipedia.org/wiki/Symmetry_group#Two_dimensions - is wrong when it states that "$D_2$, which is isomorphic to the Klein four-group, is the symmetry group ...
4
votes
1answer
83 views

Is every linear operator which is $SO(n)$-invariant necessarily isotropic?

Let $M_n$ be the vector space of $n \times n$ real matrices. We say a linear operator $\alpha:M_n \to M_n$ is hemitropic* if: $(*) \, \, \alpha(S^TXS)=S^T\alpha(X)S \, , \, \forall S \in SO(n)$ and ...
1
vote
1answer
45 views

Rotational Symmetry for Rangoli Designs

I am viewing these Rangoli Patterns And it says Which one has no line symmetry but matches four times as it turns around? But to me, they all have line symmetry, i.e. you fold it in half, ...
1
vote
0answers
36 views

Nontrivial Symmetry of an Integral Depending on a Parameter

We have defined the following function \begin{equation} \chi(\gamma)=\frac{1}{2\pi}\int{\rm d}^2{\bf x}_2\frac{{\bf x}_{10}^2}{{\bf x}_{20}^2{\bf x}_{21}^2}\left[\left(\frac{{\bf x}_{21}^2}{{\bf ...
0
votes
0answers
47 views

$O(d,d)$ vector

The $O(d,d)$ matrix $M$ ($M\in O(d,d)$) is defined as the matrix satisfying $$ M^T \eta M=\eta,\quad \eta=\left(\begin{matrix}0 & 1\\1 & 0 \end{matrix}\right).$$ So if we are given some ...
1
vote
1answer
45 views

Killing fields and symmetries

In my answer to Why are Killing fields relevant in physics? I wrote: The flow of a Killing field can drag the whole manifold. Since Killing fields are divergence free and thus their flows have no ...
0
votes
0answers
14 views

Invariants of a PDE by Lie Symmetries

I have a little Problem in understanding how to derive invariants form Lie Symmetries (or theire infinitesimals). As one can show the heat equation $u_t=u_{xx}$ has the following symmetries ...
0
votes
0answers
15 views

symetrical coordinates of algebraic variety

Let $$M = \{ \mathbf{x} \in \mathbb{R}^n : x_i \geq 0 \}$$ and $c \in \mathbb{R}$, $\alpha_i \in \mathbb{Z} \setminus \{0\} $ for $i \in \{1,\dots,n\}$ $$ \mathcal{S} = \{ \mathbf{x} \in M : c = ...
0
votes
4answers
56 views

How to show that an odd function always goes through zero?

I have the standard definition of an odd-function from wikipedia: Again, let f(x) be a real-valued function of a real variable. Then f is odd if the following equation holds for all x and -x in ...
0
votes
0answers
25 views

Group of rotational symmetries of regular tetrahedron is isomorphic to $A_4$

Let $G$ be the group of rotational symmetries of a regular tetrahedron. I'm trying to think of an argument proving that since $G\cong H$, where $H\leq S_4$, $H=A_4$. There are 12 rotational ...
2
votes
1answer
14 views

Finding Equality around Axis of Symmetry

I have a particular function that for even numbers $m$ obeys the following equation: $$f_{m,n}\left(\frac{2}{m}-x\right)=(-1)^nf_{m,n}(x)$$ Now when I put in odd values for $m$ and plot the ...
0
votes
0answers
5 views

Differential equation with ellipsoidal symmetry

I wish to solve a given PDE with ellipsoidal symmetry (I'm not sure the wording is correct). For example it could be a PDE describing the temperature field in a bottle. I am thinking of using the ...
17
votes
2answers
223 views

Why is this definite integral antisymmetric in $s\mapsto s^{-1}$?

I recently happened into the following integral identity, valid for positive $s>0$: $$\int_0^1 \log\left[x^s+(1-x)^{s}\right]\frac{dx}{x}=-\frac{\pi^2}{12}\left(s-\frac{1}{s}\right).$$ The ...
0
votes
0answers
30 views

Why does the equality hold?

For $A \in \mathbb{R}^{n \times n}$ with $A=A^{T}$ we set: $$\lambda:= \max \{ \langle x, A x \rangle: ||x||_2=1\} \\ \mu:= \min \{ \langle x,A x \rangle: ||x||_2=1\}$$ Then for $x \in ...
0
votes
0answers
90 views

Equivalence relation for strings

Let R be the relation consisting of all pairs (x,y) such that x and y are strings of uppercase and lowercase English letters with the property that for every positive integer n, the nth characters in ...
2
votes
1answer
42 views

Manifolds as Homogeneous Spaces

With very little effort one can, for example, show that $S^n$ can be written as a homogeneous space as $S^n\cong G/H$, where $G$ is the group of all rotations in $\mathbb{R}^{n+1}$ about the origin ...
1
vote
3answers
44 views

Visualizing $180^\circ$ rotational symmetries of a tetrahedron

I am trying to learn about the symmetries of a regular tetrahedron. I understand the identity and all eight $120^\circ$ rotations that keep one vertex fixed, ...
2
votes
1answer
24 views

Explaining a proof of Euler's theorem

Can someone please explain the question marked extrapolation in the following image?
0
votes
0answers
17 views

Points in complex plane invariant under inversion?

I can think of two points in the complex plane $z_1=1$ and $z_2=-1$ that are invariant under inversion, which means that $$\frac{1}{z_i}=z_i$$ Are there any other such points, or is this the whole ...
0
votes
1answer
12 views

How large is the subgroup of diffeomorphisms which preserves a vector field?

Let $M$ be a smooth manifold. Let $X \in \Gamma(TM)$ be a vector field on $M$, which vanishes at a finite number of points. (Every smooth manifold admits such a vector field). Consider the subgroup ...
2
votes
2answers
45 views

Is there a non abelian group that characterize a one dimensional lattice structure?

Of all groups that characterize a one dimensional lattice structure (symmetry operations including translation, $C_2$, mirror plane, inversion point), is there a non abelian one? Moreover, Can it have ...
-1
votes
0answers
28 views

Is $R = \{(a,a),(b,b),(c,c)\}$ an equivalence relation on $\{a, b, c\}$?

My intuition is yes is it an eq. rel., but I'm not sure. If $a \sim a \in R$, then $a \sim a \in R$ (inverse which is just the same), and so $a \sim a \in R$ (transitivity). Is this a valid argument ...
3
votes
1answer
49 views

Show that $P$ is symmetric.

Let $P$ = $A(A^TA)^{-1}A^T$, where A is an m x n matrix with rank $n$. I feel like this is wrong, but here is my attempt: $A(A^TA)^{-1}A^T$ = $AA^{-1}(A^T)^{-1}A^T$ = $I$ And $I^T$ = $I$, so the ...
2
votes
2answers
53 views

Express rotation of the plane about a point as the product of a translation and a rotation about the origin

I need help with the following problem: a) Let $s$ be a rotation of the plane with angle $\frac{\pi}{2}$ about the point $(1,1)^t$. Write the formula for $s$ as a product $t_a \rho _\theta $ Edit: ...
2
votes
1answer
42 views

Rotations of 4-Cubes

I have recently learned the orbit stabilizer theorem, and have encountered unexpected results pertaining to the rotations of a tesseract; I am curious if there is any intuition for this. A $4$-Cube ...
1
vote
1answer
67 views

Prove symmetry of probabilities given random variables are iid and have continuous cdf

Let $Y_1, Y_2, ...$ be independent and identically distributed random variables in $(\Omega, \mathscr{F}, \mathbb{P})$ s.t. their distributions are continuous and $$F_{Y}(y) := F_{Y_1}(y) = F_{Y_2}(y) ...
1
vote
1answer
28 views

Order of affine reflections (described with complex numbers operations)

Let be the affine reflection described as an operation with complex numbers : $$s_\beta,_\nu : z \mapsto \nu + \overline{\beta z},$$  where $z, \nu \in \Bbb C$ and $\beta \in \Bbb C^1 = \{x+iy \ ...
0
votes
0answers
32 views

Symmetry and Derivative of Multivariable Functions

I think this is a fairly trivial question, but my multivariable calculus is a little rusty so I wanted to check. I have two functions $v_1(\xi,x)$ and $v_2(\xi,x)$ originating from solutions of an ODE ...
0
votes
0answers
15 views

Get the positions of a periodic system of labeled points in reference to another coordinate system

First of all, I'd like to apologize because I'm not familiar with the conventions (names and formats) used in the math community. The problem is the following, I have information about a Face ...
0
votes
0answers
28 views

Decomposing a set of complex matrices into orbits of the operation of conjugation

I need some assistance with the proof for part (b) of the following problem statement: Problem Statement: Decompose the set $\mathbb{C}^{2\times2}$ of $2\times2$ complex matrices into orbits for ...
0
votes
1answer
24 views

rotational symmetries of a polyhedron

Given is the following Polyhedron $P$ in the $\mathbb{R}^3$: I want to define the set $S$ of the rotational symmetries of the Polyhedron in $\mathbb{R}^3$. Hence an element $s \in S$ is a function ...
0
votes
1answer
32 views

Practical use of order of rotational Symmetry.

Has anyone know what is the use of finding the order of the rotational symmetry of a figure? A student of mine ask that question from me. I search it but could not find any. Plz help. ...
3
votes
1answer
56 views

Symmetry planes in spherical harmonic basis

Suppose I have a function $f(x):S^2\rightarrow\mathbb{C}$ in the degree four spherical harmonic basis: $$f(\theta,\varphi):=\sum_{k=-4}^4a_kY_4^k(\theta,\varphi).$$ I have two related questions: Is ...
0
votes
1answer
20 views

Undirected graph in first order logic

I'm trying to model an undirected edge in a graph. If we have an edge $(a \to b)$ given in a database, the edge $(b \to a)$ is of course implied. Given the predicate Has_Connection(a, b). It ...
0
votes
0answers
25 views

Crystallographic restriction in discrete group of isometries

I need some assistance with this proof: Problem Statement: What is the crystallographic restriction for a discrete group of isometries whose translation group $L$ has the form $\mathbb{Z}a$ with ...
0
votes
1answer
19 views

Symmetry of Predicate and Universal Quantifiers

$$ \forall x \forall y P(x,y) \implies \forall x \forall y P(x,y) \land P(y,x) $$ I guess the above statement is valid but no idea how to formally prove it, any idea?