Teilmenge/Euklidischer Raum/Eigentliche Symmetriegruppe/Definition

Zu einer Teilmenge ${\displaystyle {}T\subseteq V}$ in einem euklidischen Vektorraum ${\displaystyle {}V}$ heißt die Menge der eigentlichen Isometrien

${\displaystyle \varphi \colon V\longrightarrow V}$

mit ${\displaystyle {}\varphi (T)=T}$ die eigentliche Symmetriegruppe von ${\displaystyle {}T}$.