Deprecated: Creation of dynamic property Drupal\mysql\Driver\Database\mysql\Connection::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Logger\LogMessageParser::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\dblog\Logger\DbLog::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Logger\LoggerChannelFactory::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Session\AccountProxy::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Site\Settings::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Cache\CacheFactory::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Cache\ChainedFastBackendFactory::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Cache\DatabaseCacheTagsChecksum::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Cache\DatabaseBackendFactory::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Cache\DatabaseBackend::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Config\CachedStorage::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Config\ExtensionInstallStorage::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Cache\DatabaseBackend::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Cache\DatabaseBackend::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Extension\ModuleHandler::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\DependencyInjection\ClassResolver::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property ArrayObject::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Validation\ConstraintManager::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Config\TypedConfigManager::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Language\LanguageDefault::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\language\Config\LanguageConfigFactoryOverride::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Config\ConfigFactory::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Cache\Context\CacheContextsManager::$_serviceId is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Component/DependencyInjection/Container.php on line 288

Deprecated: Creation of dynamic property Drupal\Core\Cache\Context\CacheContextsManager::$validContextTokens is deprecated in /is/htdocs/wp11246554_9C0GUOGAIQ/dualize/web/core/lib/Drupal/Core/Cache/Context/CacheContextsManager.php on line 265
Beseitete Strecken und Orientierung | Arbeitsgruppe Geometrie und Topologie

Beseitete Strecken und Orientierung

Definition. Unter einer beseiteten Strecke $\overline{AB}$ verstehen wir eine Strecke mit einem gewählten Anfangspunkt und einer gewählten Halbebene zur Geraden $AB$.

Eine beseitete Strecke fixiert bei einer Strecke also einen Anfangspunkt und damit eine Richtung, nämlich die zum anderen Ende. Darüber hinaus ist sie politisch voreingenommen: Sie favorisiert entweder die linke oder aber die rechte Seite. Wir können das bildlich darstellen, indem wir die Strecke mit einer Pfeilspitze versehen, um den Anfangs- vom Endpunkt zu unterscheiden, sowie einem Schatten, um die favorisierte Seite zu kennzeichnen.Beseitete Strecke
Eine Spiegelung an der Geraden $AB$ ändert einzig den Schatten: Er fällt dann auf die andere Seite.

Satz 2.17. Es seien $\overline{AB}$ und $\overline{CD}$ zwei beseitete Strecken gleicher Länge. Dann gibt es genau eine Isometrie $\sigma$, die die beseitete Strecke $ \overline{AB}$ auf die beseitete Strecke $\overline{CD}$ abbildet.

Beweis. Entsprechend dem Prinzip (2.1) gibt es eine eindeutige Bewegung $\phi$ mit $\phi(A)=C$ und $\phi(B)=D$. Respektiert $\phi$ die gewählten Seiten der Geraden $g=AB$ und $h=CD$, so ist $\phi=\sigma$. Andernfalls respektiert $\phi\circ s_{g}=s_{h}\circ\phi$ die gewählten Seiten dieser Geraden.
qed.
Isometrie beseiteter Strecken

Definition. Eine Isometrie nennt man orientierungserhaltend, wenn sie eine Bewegung ist. Ansonsten nennt man sie orientierungsumkehrend.

Für eine Isometrie $\sigma$ setzt man:\begin{array}{lrr}
\mathrm{or}(\sigma)=&1 & \mbox{wenn}\;\sigma\;\mbox{eine Bewegung ist,}\\
\mathrm{or}(\sigma)=&-1 & \mbox{wenn}\;\sigma\;\mbox{keine Bewegung ist.}
\end{array}

Mit dieser Notation gilt also für Strahlen $s,t$ die Formel $$\sphericalangle\left(\sigma(s),\sigma(t)\right)=\mathrm{or}(\sigma)\cdot\sphericalangle\left(s,t\right).$$ Aus dieser Formel folgt für je zwei Isometrien $\sigma$ und $\tau$ $$\mathrm{or}(\sigma\circ\tau)=\mathrm{or}(\sigma)\cdot\mathrm{or}(\tau).$$

Unterstützt von Drupal