Mulțimea simetricelor

O elipsă (cu roșu), evoluta sa (cu albastru) și axa sa mediană (cu verde). Mulțimea simetricelor, o supramulțime a axei mediane, sunt segmentele verde și galben. Este afișat și un cerc bitangent.

În geometrie mulțimea simetricelor este o metodă de reprezentare a simetricelor locale față de o curbă și poate fi folosită ca metodă de reprezentare a formei obiectelor prin găsirea scheletului topologic. Axa mediană, o submulțime a mulțimii simetricelor este un set de curbe care se desfășoară aproximativ de-a lungul mijlocului unui obiect.

În 2 dimensiuni

Fie $I\subseteq ℝ$ un interval deschis și $\gamma :I\to {ℝ}^2$ parametrizarea unei curbe plane netede.

Mulțimea simetricelor lui $\gamma (I)\subset {ℝ}^2$ este definită ca fiind închiderea mulțimii cercurilor tangente la curbă în cel puțin două puncte (cercuri bitangente).

Mulțimea simetricelor va avea puncte de capăt care corespund vârfurilor curbei. Astfel de puncte vor fi situate în punctele de întoarcere ale evolutei. În astfel de puncte curba va avea 4 puncte de contact cu cercul.

În n dimensiuni

Pentru o varietate netedă din dimensiunea Format:Mvar în ${ℝ}^n$ (este nevoie ca $m<n$). Mulțimea simetricelor varietății este închiderea centrelor hipersferelor tangente la varietate în cel puțin două locuri diferite.

Ca bifurcare a mulțimii

Fie $U\subseteq {ℝ}^m$ un domeniu deschis sumplu conex și $(u_1\dots ,u_m):=\underset{\_}{u}\in U$. Fie $\underset{\_}{X}:U\to {ℝ}^n$ o parametrizare a unei părți netede a varietății. Se poate defini o familie de parametri Format:Mvar de funcții pe curbă, anume

$F:{ℝ}^n\times U\to ℝ,\text{where}F(\underset{\_}{x},\underset{\_}{u})=(\underset{\_}{x}-\underset{\_}{X})\cdot (\underset{\_}{x}-\underset{\_}{X}).$

Această familie se numește familia de funcții de distanțe la pătrat. Aceasta deoarece pentru ${\underset{\_}{x}}_0\in {ℝ}^n$ fixă, valoarea $F({\underset{\_}{x}}_0,\underset{\_}{u})$ este pătratul distanței de la ${\underset{\_}{x}}_0$ to $\underset{\_}{X}$ la $\underset{\_}{X}(u_1\dots ,u_m).$

Mulțimea simetricelor este atunci mulțimea de bifurcare a familiei de funcții de distanțe la pătrat. Adică este mulțimea $\underset{\_}{x}\in {ℝ}^n$ astfel încât $F(\underset{\_}{x},-)$ are o singularitate repetată pentru unele $\underset{\_}{u}\in U.$

Prin singularitate repetată se înțelege că matricea jacobiană este singulară. Deoarece există o familie de funcții, aceasta este echivalentă cu $𝓇F=\underset{\_}{0}$.

Mulțimea simetricelor este atunci mulțimea $\underset{\_}{x}\in {ℝ}^n$ astfel încât să existe $({\underset{\_}{u}}_1,{\underset{\_}{u}}_2)\in U\times U$ cu ${\underset{\_}{u}}_1\ne {\underset{\_}{u}}_2$, iar

$𝓇F(\underset{\_}{x},{\underset{\_}{u}}_1)=𝓇F(\underset{\_}{x},{\underset{\_}{u}}_2)=\underset{\_}{0}$

împreună cu punctele limită ale acestei mulțimi.

Bibliografie

• Format:En icon J. W. Bruce, P. J. Giblin, C. G. Gibson, Symmetry Sets, Proc. of the Royal Soc. of Edinburgh, 101A (1985), 163-186.
• Format:En icon J. W. Bruce, P. J. Giblin, Curves and Singularities, Cambridge University Press (1993).