Quelltext der Seite Halbebenen oder das Axiom von Pasch

= Halbebenen und das Axiom von Pasch =
== Halbebenen ==
=== Analogiebetrachtungen ===

{| class="wikitable center"  
| style="background: #DDFFDD;"| <center>'''Halbgeraden'''</center>
| style="background: #DDFFDD;"| <center>'''Halbebenen'''</center>

|-
| <ggb_applet width="398" height="401"  version="3.2" ggbBase64="UEsDBBQACAAIAGSMwjwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s1Vlbb9s2FH5efwUhFMWGIbIoWbKF2imyrg8BsiVdsmIYhgG0RMtcdHElypcW/e87vMiW7FhR3KQXP0TmRYeH3+VQckavVkmMFjQvWJaODWxaBqJpkIUsjcZGyacnQ+PV6bNRRLOITnKCplmeED42HNM2RH/JTp/9MCpm2RKRWE55x+hybExJXFADFfOckrCYUcob/aRcsZiRfH05+Y8GvNgOqCDn6byEVXheQl+QhBesqJo9ueA8ZvxXtmAhzVGcBWPDcyF1+PaO5pwFJB4bfUv12GPD3hmELkeMzrKcfchSLqZvg0+hB6GCfaBwpyX6Rj250REtg5iFjKRiMzIPmITQkoV8BiH9IYSkLJoJgHxfRQuyLA+v1wWnCVr9TfNsbJxg7Auk16o5dEWjgLxgQdeSI/WWDEMX15RzoKVAZEW3gEU5CxuN8+KXLN52zTOW8tdkzstccurormu+FgvAWrlI+CyNYqr7MEA+o8HtJFtdSxCwo0LfrOfyFpnQJHqdxVmOcgGvCxP0daKuco7IdDPLknMsOUPHEEE349i35Qx5nairnBWzVKWmd46rXWOrWoYVSHQIGEGKm83HZEKBWgOVKeMXVQMkcLvdqrjh9zKZgAfqItjExI8Vc9Tbkc/oluYpjZVIUuC2zMoCLYQY1VoykZAGLIGmGtCQEEHXn5CA6g1plNMqceUgBZgctepC3Oke9aokRA4F5BpwKAWwHy72IpzKwSVjIzEj00Ah4aJXWCGmCQWfcKkJKakNNmfGpihk0t+Vk/X4FmUY3lORiyX94kLi+YxAppUJYrIGv9c3JSP+loXNrZIUIJP7ANvNRQBBypzSUNc4rpWM5hBS+qKGuASqQCvIAaocWoNhHRODtz+ou+UkZSJhf7mwqxlWqNyDz9uj8Kn7R2L1tdEZmK5t1T+uAss27f7DwAqyJCFpiFKSwMIX4HeJEBOnACKWUBQiWACnUCl5NRCpUDrAHu6idGxgjYxmNeEzMG1Ki0JktNl073husOuoymXZndm5nE4LygWcnqe1ZreRt4X/xDL9vrzFNp0mEY6CH4jwXG/bjXfraQsC9H2q5hSqqrEEjtyA8Xbq/iDrrsxN2pnLIVKF+eQwcX5n4hoSTkOmDADTL/Vsil5E/CXaEPZEtempCNxFoo1ASUQsrH2ecjikqCz6+2fPLaVzcehfpjc5SQvx8Kfm1M60A0q4khWvqYVoTwRX7SJols2ro8omthV18vqtlM6h6dveEFvW0MMD3xkq52PT83z4OB72nL6NRUU4vowe9OLVHg1Bdy8GX8qL8SEvCvNtrfhZdNa8iE0XC4t5ztDx3AH8kZw45qBO1MDXlPjmwHJs13d8x3Xh9aL//Tjzmkaif0cbV4fqdNiujUJHq6gNv4g+SPvjkdUqCa+bJCzTHdyhCFBK32pIQhXrk4HZdwbeVhLO9yOJdxAzy7ue3GW7IhYqWMVleVgQdpsgmq9btX0eR3rHOnDXSbwWEX31SLsN3WVDtVcuTWxAck4LeAXUO+bQlkcloqu5wPxonvar+uJBPC0ehaf7X10ehaa7yvJanJT7RfwrkAa9OYQWRUvDsjTU1BL10MLYIaB3HzXL74kay/Rs28We7TsYDzB8q8qmPfD7ntvHbt/xh7735gQ/AT3tPFDNw+rH5U93AZ+WCc1ZYGzniyVho2W13f3ddYYU35/fDV1xrHN88b7M+Muzt/9+/PkTUg1jP2MOdxjN25/wPeiR1MKKC3JD/2oeT/qH1wIImFY5qx9hQSaaanvPgapo+0Ndpl3Xb3zqD9D3Q2/vQX/yEOjtzi8oD3/q/VaRd70K+YNQN0CbZFlMwaoVJmTXYTV9dhLxcSC5d/4E46tTpN8C4f0ichoiev5PtqC5qGwfr95+et5dTE53H38+BE+tE8e0Bg1f6kNBPFc1HrfsQyrq1X+elv+R0f+SOv0fUEsHCKhmSd+1BQAAxBoAAFBLAQIUABQACAAIAGSMwjyoZknftQUAAMQaAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAA7wUAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />

| <ggb_applet width="396" height="402"  version="3.2" ggbBase64="UEsDBBQACAAIAC+LwjwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3V3rbttGFv69fQpCKIp2GzNzv6B2iyipXTduE8PZYrHdbkFJtMxYFlWKSuwUfaN9in2yPTND6kpRoi4xlSAAw+FwNPN955w558xwcvzd/V3PexcmwyjunzSwjxpe2G/HnajfPWmM0usj1fju28+Ou2HcDVtJ4F3HyV2QnjSoTxqmfBR9+9nfjoc38Xsv6Nkqv0Th+5PGddAbhg1vOEjCoDO8CcN0pjwY3Ue9KEgeXrXehu10OHngGjnvD0bwK2kygrL2XeciGua3T+0PDnpR+iJ6F3XCxOvF7ZOG4NB1+NcvYZJG7aB30mDIlZCTBpl7CEXUPL2Jk+hD3E9N9Unj11DiecPoQwhvIlN2/NQO9DgctXtRJwr6ZjC2H1DJ895HnfQGmtQCmgyj7k3qft221o7jpHP1MEzDO+/+X2ES2+74EiGJCVcaSSp4w3twjzDV8EjAaBTFlFMNGEKHoSdM+5ohgSWXEmuJmXlp+TP72+G7qzBNgcuhF9yHE5S7SdSZuTkfNuPepGgQR/30eTBIR4kVBJoVXaUP5ucAucSM8lm/2wuzMgI83YTt21Z8f2WRw9Q1/eZhYF+xHWp1n8e9OPESAwIMoJtdW+5q65iejmshWwfZGlkbptHxc6yJrWGvLXe1tXpR33UtGznOR41R/jPR0DMF0LiR3/Hge0ErBHloeKN+lF7kNyA3t9lQsXvh59FdCxRnWnLGbeJdtXn8dE7mjm/DpB/2nGT1gdtRPBp674wEu9+yHemE7egObt2DDJLA0PUP6IAr7YTdJMw77tTOAWafzkjvXPHx07wTpg9D6Gs7BfsB40nNWIx6p6BaJ407v+s3vE6QmlKjP73wLgTlSq1MWJEaY/OsMbYksTUKufpnzycow+NC+bCSFPQGNwGU+NkAesEDmIjpIdn2foo7swMN+gCYHQVo6sA0YCgZhGEnM4tpJsfeAJq0WjGFt4Vp6N2fNI6wz0ANhdCMYcww0wz01JUrKSiVQlNCCGXQ/gfXtm3CKZixJ7ZbNGPfIbYCu+angR3yFZrgpgjmDjqwlkJIKQXjgmtNlK4GXTu+uwv6Ha8f3EE3LsAyWLwiM8l4ATKy5wXYwOgwGqX5g65rKmtggQVjZMYgdxuzdie9AfXuh0PQZj6B4OkmTHFsqTKXily9ur4ehqkBV2oHpi5jckqOAXSCFBeYUCEIRZzY94lPFJEYI66IoDDXWCqITylBhDAMj7hQnM1b4RI0wj/6rs7Q2cLoDmb3dpRW0YDLT0UDxKykZxpAfSy0AI9AY4KQNlxspwDNaAggxcm6itCqoAit5YpAyhRhdq5czRjanK8pOS8Q6Icl4v/BmnEuucbAEVYCc8pkiaTPD3ddSZ/l67yfgk8AEM2R1XVktRbIel5O1qzmPF/UnHWIEMwyYS4td9kBF9jXGKScEMUUk4wi6sgQPuOaMkop14ghTS0X3JcU7sDyCM4IEpRvog0voh74J8V6gM1gvIBkkM6A/OyLYBAPv/kdVwF78tKjmqtpyLEvmdRgdQBABDbcIc4AW8yUoBCiICIq+iprIHy5GuHLTRC+XI5wVfuyI4i1DxYdIMYaMwouoAOYgCHhmAnCGYMoUG7l0hQi3FyNcHMThJt1k2EQYSQzcK1/nTkqTEokmcZIEcTYVlNmuZFYw0qQTawEqQvCYCWYz4TWglGisEL5LEmljyVCGCuNBBgQyfdnKNawFJVQvqwbylr7UjEIGAXThIDsZpYCcZ8KDTYEwWOpMNufqVjDVlTCuFk3jDGmEGSOA0yQWAsyZeB5cIEQxO4CohixDcSvkvQm7sb9oFcQal4uc9raFTzs9iF52EsCySLH2zjY0pcYiDCGnGKETRJg3w52KWGZlW8vENapQFjnkAgrjoiWBEQwLzCMsWaUY3AWhXhctprL2AorsBV+smxBhEWUJooq8JeQZvoj8LUsfG07qjoLVL2oMsO8qFH4ykxuQAiYPmBi4Vpyls/gPsza8JdKCGKBDr7D+HUFvOECvN9Xgff7+sCrfI441kjB/C0ZyHWWVxe+UAyBU8rgD+VM7RDcn6IkWUiSdZfZmMB5OxUsTf7GAdmbhcwYW5IYztxU6iOttWKUco4Y5/ufzpdpRMfxNsXSDHunVfTitD56AYQIzbhSHEvQD5OCz4Iz6mPElJIEIgrgbJdZs2UYh+UYn1XB+Kw+GGPiUyWIEJwwopHUeWymfA1xmUYamxQPZWyHGL+Oew/g5xT7o6cuTjuDCy1K2P8SQbPtW5zx8Tt29a9d/a69ZxCHrM79uE7kmI/b3YXJmloDmWYQczq93jVttnAVBpcvHg3Drrmb2OHfdzOgYoksGc/GEsmMI8eIUIQppoR0mXLswwQINlZReMaVduKofMo4kRLEkUkkd7ViYeWtZ1azxtYgivuLmxFuw3BgdoG86r9Jgv7QbCFydaY2OazJ0/WBsbQ4WapHmSwfgaruwanU0YJO8XzrxpxW0WzRmxGozLhJ7Suk1eGS1aonWZPdC9lCICXrUVkx51Rp+8KjU7n+0gRZY2WCVnHJJi/VJJ97RMzWCMwJ1loKgpXMdBbmPDq1DYuqnSfNT1djfLrJ+trpVutr+/B+CfE5VlhQs8UUE0UzbeRU+1SC3mAO8YUget/L8merIT/bBPKz+kGumI8pByNl1obHIR3jwpeAqsncmbgD7xvx5mrEm5sYkmbdDAnIONNEaI2FFBwwdnZE+EgBD5wTjSkG0B91FZltYqtZXSB+zFXk0zVQPt1khfN0qxXO/eQqkE844MgYk9p+QmBdHyEBUGxT0EbQd5kmLTPWpZCfbQL5Wf0gZ8TE2MZ1FBBCTBL/hEtfwwOEGVz2P0FWWcivZEyadTMmH2Mhf0vXegNjXRd0D8Kt3sBM18ZiHKBLvYGJrg/cB+dOb2Cc62I8PoYrvWRtJAPCrZCMb8hEIN1qyZLVqXxtY7qVYBwauvWT6Xa64xuzkrIeb8WrKVstA8+wPPNZSb8TuY9SoPqrrPb//vsivIbf6Px69VulVB2tIg8Vll5mYu8tR//xksUKrIRSnAowHVrahT+T15c+WBEMgm+XY5WbHsGaEx8CHooxIpQilENZy/TiihWY3YnqhKxiSb3y/u5deV/00m+8MVF7XwMwIaqZkQmTlDABJssSy7hvJgMC1HIiNSNuwYZRDm4oAT+JgxQogQ+X2O4+iN07XfNqmH9dMa+H2YoN0synwnxdB7O7ofhw+WptxddjrbHNqRdGPPfECvXriAlfMMSYguiZQrjBdrVf8SOszBRuHptxUbrLQseNA8h6eYJrh5FbfZxTiPNpOc6nm+J8ujXOe9kDRpT0tbF2oCFSYLfcyRhMTpTDJEa0yYns9LvJQtTPylE/2xT1s5qiLnzKkTTfnWGGpHROIISZPuPm22Blgh+2yxi+EPVmOerNTVFv1tGmLESXRcGl3MqglAaXBSFmQaBZEG6uFXQWhJ7TrV8vtt6dK5qEotsHpKtcDLS7sLQsKC07/oLwKoJUOSzdCwK7OdqjilvMl7jFMtv/UiVAnR9yzfzi64Mmbt4/Jqws/DxiRCCfwzyPNQIvipZuGKw5cd1DJm5e4VRxOohm+lYlDq05ba1Dpm3tcLQwGuX6cGib9exeb+TN5Uf2ZRyYS+WNnEdYZZtqSw+i2uVxbBBpYk0VFiY4Eiw/UQkJzcG+gmJSIbMtvRs6jFeZTsw6jK+dG3e54PIF5T7Zgiuyi4PFVjpg5+Xe+44+BceTbT4QBOnshDcC5YRpiYgxnVQz55cIn4MthQiWaGpOWyrbYF3lULGPkPtZcWZTsCATV1UCs6u11XdtrjfX7RK+fw5+tvza6wd3LVIvvmC77gcJ0Gr6nQ3pTXifQp/gwUnjiz9GcfpN9/I/f379l/u3fX8WsRReaMy+vR1o5Qtn6+sKL8MuGl4Eb8J/zopZdiTtMEyi67zT7nha0cjlO9sYP0yDJH1t0HVQXXhfe18efQlO4ldPPOTLrzZIL1wuSyxcVk8pXC5LJjzS4Uzm40klpVQwQ0jBtRD5h1QYa6k5o+DSSUlIxfmhWIDJggAfVRDg9fe7VQ+x1xdfVivxLZO1H1ZJ2RJPs3anQh7ZynaeRLs7NPZ89RlpBwcQ3iVAP34q8OwFnZefGjqVlWudpPEPbu48z/cP/eiSti8X5tIs8Upc/RtXO3K137q07u2qibYwlUt2vKuoyGmcPsM95xMX8EmX87l+wuFmjwPaecSTCxeaF656LmCXIx8dEvJoTq2PyCFD//aQoD/6pKT+9pBO58ml/igXe1Zv6Gfn0OdQmMRRZz6R5ma2X3944sFE+sT78Yn38rdxl/JaF1Xi0IsNvZdK2whKprsizrDK1YVs5qC14rgXBhMP4NwOEt4chQss7dFKTCc4JolfnJ2Zg4kohSUYWJ/Oln3+7/hdmBjJ/fNZ86/P1wuy6UyQPdXE68u/Pl8/2t7+y9R6pIGyLMf0WdOSIZbZZyaZMPuGNKfmeCM0c7bsNNZPp/+nF3Of/5dQ3/4fUEsHCM8TtlY4DQAARGoAAFBLAQIUABQACAAIAC+LwjzPE7ZWOA0AAERqAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAAcg0AAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
|}
{|class="wikitable center"
|-
| colspan="2"  style="background: #DDFFDD;"| <center>Objekt <math>\ G</math>, das in Klassen eingeteilt wird</center>

|-
| <math>\ G</math> ist eine Gerade
| <math>\ G</math> ist eine Ebene

|-
| colspan="2"  style="background: #DDFFDD;"| <center>Dimension von <math>\ G</math></center>

|-
|  eindimensional
|  zweidimensional

|-
| colspan="2"  style="background: #DDFFDD;"| <center> Objekt <math>\ T</math>, das <math>\ G</math> in Klassen einteilt</center>

|-
|  Anfangspunkt <math>\ A</math>
|  Trägergerade <math>\ g</math>

|- 
| colspan="2"  style="background: #DDFFDD;"| <center>Dimension von <math>\ T</math></center>

|-
|  nulldimensional
|  eindimensional

|-
| colspan="2"  style="background: #DDFFDD; "| <center>Referenzpunkt <math>\ Q</math> teilt <math>\ G \setminus_{\{ Q \}}</math> in genau zwei Klassen</center>

|-
| colspan="2"  | 
<center>Klasse 1: </center>
<center>Menge aller Punkte <math>\ P\mathrm{\in }G</math> , die mit <math>\ Q</math> bezüglich <math>\ T</math> „auf derselben Seite liegen“</center>

|-
| <math>\ AQ^{+} = \{P| A \not \in \overline{PQ} \} </math> an dieser Stelle sind noch zwei Präzisierungen notwendig:<br/> 1: es muss sichergestellt sein, dass <math> P </math> Element der Geraden <math> AQ </math> ist und <br/> 2: der Punkt <math> A </math> selbst muss noch berücksichtigt werden:<br/>
<math>\ AQ^{+} = \{P \in AQ| A \not \in \overline{PQ}\} \cup \{A\} </math>
| <math>\ gQ^{+} = \{P| g\cap\overline {PQ} =\{\}\}</math>

|-
| colspan="2"  | 
<center>Klasse 2:</center>
<center>Menge aller Punkte <math>P\mathrm{\in }G</math>, die bezüglich <math>\ T</math> nicht auf der Seite von <math>\ Q</math>liegen.</center>

|-
|  <math>\ AQ^{-} = \{P| A  \in \overline{PQ} \} </math>
|  <math>\ gQ^{-} = \{P| \neg \exist S : g\cap\overline {PQ} =\{S\} \}</math>

|}
--[[Benutzer:*m.g.*|*m.g.*]] 20:00, 23. Jun. 2010 (UTC)

Was ich nicht verstanden habe ist, warum die Dimension vom Anfangspunkt A gleich eins ist und die Dimension von der Trägergeraden gleich zwei? Soweit ich weiß, hat ein Punkt die Dimension null und eine Gerade die Dimension 1.

Entschuldigung, mein Fehler: Ein Punkt hat natürlich die Dimension 0 und eine Gerade die Dimension 1. --[[Benutzer:*m.g.*|*m.g.*]] 17:00, 27. Jun. 2010 (UTC)

Zu gQ+:
Wenn hier von der geschlossenen Halbebene die Rede ist, fehlen alle Punkte die auf der Trägergeraden liegen und auch dazu gehören...

Zu gQ-:
Ausformuliert steht hier: gQ- ist die Menge aller Punkte, für die gilt, dass es KEINEN Schnittpunkt von g und der Strecke PQ (mit Dächle) gibt.. 
Wenn ich es richtig verstanden habe ist das natürlich quatsch. Voraussetzung ist, dass sie einen Schnittpunkt haben, sonst lägen sie ja in derselben HE wie Q!

--[[Benutzer:Principella|Principella]] 21:42, 20. Jul. 2010 (UTC)

=== Definition des Begriffs der Halbebene ===
==== Alles hat zwei Seiten oder grundlegende Ideen der Beschaffenheit von Ebenen ====
{| 
|-
| Zu unsere Vorstellung von der Eigenschaften einer beliebigen Ebene  <math>\Epsilon</math> gehört u.a., dass jede Gerade <math>\ g</math>, die zu unserer jeweiligen Ebene <math>\Epsilon</math> gehört, diese in zwei ''Hälften'' bzw. zwei ''Seiten'' einteilt. Zur Kennzeichnung der beiden ''Seiten'' von <math>\Epsilon</math> bezüglich der Geraden <math>\ g</math> verwenden wir einen Punkt <math>\ Q \in \Epsilon</math>, welcher nicht zu <math>\ g</math> gehören sollte.
|[[Bild:Halbebene_00.png| 100 px]]
|-
| Zu der einen ''Hälfte'' von <math>\ \Epsilon</math> bezüglich <math>\ g</math> gehören alle die Punkte aus <math>\Epsilon \setminus g</math>, die mit <math>\ Q</math> auf derselben Seite von <math>\ g</math> liegen. Alle anderen Punkte aus <math>\Epsilon \setminus g</math> gehören zur anderen Seite von <math>\ \Epsilon</math> bezüglich <math>\ g</math>.
| [[Bild:Halbebene_01.png | 100 px]]
|}
==== Offene Halbebenen ====
Die beiden Seiten, in die die Menge der Punkte einer Ebene <math>\ \Epsilon</math>, die nicht auf einer Geraden <math>\ g</math> dieser Ebene liegen, durch diese Gerade <math>\ g</math> eingeteilt wird, heißen offene Halbebenen von <math>\ \Epsilon</math> bezüglich der Trägergeraden <math>\ g</math>. Der nicht zu <math>\ g</math> gehörende Referenzpunkt <math>\ Q \in \Epsilon</math> bietet uns eine Möglichkeit zur Bezeichnung der beiden offenen Halbebenen. Die offene Halbebene, zu der alle Punkte gehören, die bezüglich <math>\ g</math> mit <math>\ Q</math> auf derselben Seite liegen, wird mit <math>\ gQ^{+}</math> bezeichnet, die andere offene Halbebene von <math>\ \Epsilon</math> bezüglich <math>\ g</math> und <math>\ Q</math> mit <math>\ gQ^{-}</math>.

Obige Ausführungen können als informelle Definition des Begriffs offene Halbebene dienen. Hinsichtlich wirklicher mathematischer Exaktheit der Festlegung, was denn eine offene Halbene sein möge, bedarf es einer genauereren Erklärung, was denn darunter zu verstehen wäre, dass zwei Punkte <math>\ P</math> und <math> \ Q</math> einer Ebene <math>\ \Epsilon</math> auf ein und derselben bzw. auf zwei verschiedenen Seiten dieser Ebene bezüglich einer Geraden <math>\ g</math> liegen.

===== Definition IV.1: (offene Halbebene)=====
:::Es sei <math>\ \Epsilon</math> eine Ebene in der die Gerade <math>\ g</math> liegen möge. Ferner sei <math>\ Q</math> ein Punkt der Ebene <math>\ \Epsilon</math>, der nicht zur Geraden <math>\ g</math>  gehört.<br /> Unter den offenen Halbebenen <math>\ gQ^{+}</math> und <math>\ gQ^{-}</math> bezüglich der Trägergeraden <math>\ g</math> versteht man die folgenden Teilmengen der Ebene <math>\ \Epsilon</math> ohne die Gerade <math>\ g</math> :

::::<math>\ gQ^{+}:= \{P| \neg\exists S \,\{S\}=g\cap\overline {PQ} \}</math>


::::<math>\ gQ^{-}:= \{P| \exists S \,\{S\}=g\cap\overline {PQ} \} \setminus \{ g\}</math>

==== Halbebenen ====
Vereinigt man die Menge der Punkte einer offenen Halbeben mit der Menge der Punkte der Trägergerade so erhält man eine Halbebene.

===== Definition IV.2: (Halbebene) =====
::Es sei <math>\ g</math> eine Gerade der Ebene <math>\ \Epsilon</math>. <math>\ gQ^+</math> und <math>\ gQ^-</math> seien die beiden offenen Halbebenen von <math>\ \Epsilon</math> bezüglich  <math>\ g</math>. Unter den (geschlossenen) Halbebenen von  <math>\ \Epsilon</math> bezüglich <math>\ g</math> versteht die beiden Punktmengen, die durch die Vereinigung jeder dieser beiden offenen Halbebene von <math>\ \Epsilon</math> bezüglich der Geraden <math>\ g</math> mit jeweils dieser Geraden <math>\ g</math> entstehen.

::::<math>\ gQ^{+}:= \{P| \neg\exists S\,\{S\}=g\cap\overline {PQ} \} \cup  \{g\}</math>

::::<math>\ gQ^{-}:= \{P| \exists S\,\{S\}=g\cap\overline {PQ} \}</math>


Bemerkung: Für die formale Beschreibung von offenen und geschlossenen Halbebenen wird jeweils dieselbe Bezsichnung verwendet: offene Halbebene: <math>\ g Q^+</math>, (geschlossene) Halbebene: <math>\ g Q^+</math>. Derr weitere Gebrauch der Sprache kennzeichnet, ob es sich um eine offene oder um die geschlossene Halbene handeln soll. Aus Gründen der Vereinfachung sei vereinbart, dass <math>\ g Q^+</math> bzw. <math>\ g Q^-</math> immer die geschlossene Halbebene meint. Soll die offene Halbebene gemeint sein, so ist dieses durch den Zusatz "offen" zu kennzeichnen.
--[[Benutzer:*m.g.*|*m.g.*]] 21:50, 23. Jun. 2010 (UTC)

== Die Repräsentantenunabhängigkeit des Referenzpunktes zweier Halbebenen ==
=== Repräsentantenunabhängigkeit? ===
===== Satz IV.1 =====
:: Wenn <math>\ Q_2</math> ein Punkt der Halbebene <math>\ {gQ_1}^{+}</math> ist, dann gilt <math>\ {gQ_1}^{+} \equiv \ {gQ_2}^{+}</math> und <math>\ {gQ_1}^{-} \equiv \ {gQ_2}^{-}</math>.

===== Beweis des Satzes IV.1 =====
===== Neuer Versuch (siehe Diskussionsseite) =====
'''Voraussetzung:''' <math>Q_2 \in {gQ_1}^{+} </math>
<br />'''Behauptung:''' <math>{gQ_1}^{+} \equiv {gQ_2}^{+}</math> und <math>{gQ_1}^{-} \equiv {gQ_2}^{-}</math>
<br />'''Fallunterscheidung:'''
<br />Fall I <math>\ Q_1, Q_2</math> und <math>\ P</math> sind '''nicht kollinear'''.
<br />Fall II <math>\ Q_1, Q_2</math> und <math>\ P</math> '''sind kollinear'''.

{| class="wikitable" 
|- 
| ||'''Fall I''' <math>\ Q_1, Q_2</math> und <math>\ P</math> sind '''nicht kollinear'''.
|- 
| ''Schritt''|| ''Aussage'' || ''Begründung''
|- 
| (1) || <math>{gQ_1}^{+} = \{P| \neg\exists S\,\{S\}=g\cap\overline {PQ_1} \} \cup  \{g\}</math><br />Die Strecke <math>\overline {PQ_1}</math> schneidet '''nicht''' die Trägergerade g.|| Definition von Halbebene
|- 
| (2) || <math>Q_2 \in {gQ_1}^{+}</math><br /> <math>Q_2</math> liegt in der Halbebene <math>{gQ_1}^{+}</math>|| Voraussetzung
|- 
| (3) || <math>P,Q_1,Q_2 \in {gQ_1}^{+}</math>|| Schritt (1) und (2)
|- 
| (4) || Da <math>\overline {PQ_1}</math> (Def. der Halbebene <math>{gQ_1}^{+}</math>) und <math>\overline {Q_1Q_2}</math> (nach Voraussetzung) keinen Schnittpunkt mit <math>g</math> haben, kann auch <math>\overline {PQ_2}</math> als dritte Seite des Dreiecks <math>\overline {PQ_1Q_2}</math>keinen Schnittpunkt mit g haben (da sonst Widerspruch mit Axiom von Pasch).
<br /> Die Strecke <math>\overline {PQ_2}</math> schneidet '''nicht''' die Trägergerade g.
|| Schritt (3) und Satz von Pasch
|- 
| (5) || <math>{gQ_2}^{+} = \{P| \neg\exists S\,\{S\}=g\cap\overline {PQ_2} \} \cup  \{g\}</math>|| Schritt (4)
|- 
| (6) || Es gilt: <math>{gQ_2}^{+} = \{P| \neg\exists S\,\{S\}=g\cap\overline {PQ_2} \} \cup  \{g\}</math> und
<br /> <math>{gQ_1}^{+} = \{P| \neg\exists S\,\{S\}=g\cap\overline {PQ_2} \} \cup  \{g\}</math>|| Voraussetzung und Schritt (5)
|- 
| (7) || <math>{gQ_1}^{+} \equiv {gQ_2}^{+}</math>|| Der Definitionsbereich der beiden Halbebene ist identisch - Schritt (6)
|- 
| (8) || <math>{gQ_1}^{-} \equiv {gQ_2}^{-}</math>|| Die Mengen <math>{gQ_1}^{+}</math> und <math>{gQ_1}^{-}</math>sind disjunkt, gleiches gilt für die Mengen <math>{gQ_2}^{+}</math> und <math>{gQ_2}^{-}
</math>Schritt (7) - Durch Umformung:
<br /> Ebene<math>\Epsilon = {gQ_1}^{+} \cup {gQ_1}^{-} \cup g</math>
<br /> Ebene<math>\Epsilon = {gQ_2}^{+} \cup {gQ_1}^{-} \cup g</math>
<br /> Da Ebene<math>\Epsilon = {gQ_2}^{+} \cup {gQ_2}^{-} \cup g</math> gilt somit auch <math>{gQ_1}^{-} \equiv {gQ_2}^{-}</math>
|}


{| class="wikitable" 
|- 
| ||'''Fall II''' <math>\ Q_1, Q_2</math> und <math>\ P</math> '''sind kollinear''', liegen auf der Geraden <math>\ h</math>.
|- 
| ''Schritt''|| ''Aussage'' || ''Begründung''
|- 
| (1) || <math>{gQ_1}^{+} = \{P| \neg\exists S\,\{S\}=g\cap\overline {PQ_1} \} \cup  \{g\}</math><br />Die Strecke <math>\overline {PQ_1}</math> schneidet '''nicht''' die Trägergerade g.|| Definition von Halbebene
|- 
| (2) || <math>Q_2 \in {gQ_1}^{+}</math><br /> <math>Q_2</math> liegt in der Halbebene <math>{gQ_1}^{+}</math>, dadurch gilt: die Strecke <math>\overline {Q_1Q_2}</math> schneidet '''nicht''' die Trägergerade g.|| Voraussetzung und Definition von Halbebene
|- 
| (3) || Wenn <math> \operatorname{koll} \left( Q_1, Q_2, P \right) </math> und <math>\ Q_1, Q_2, P</math> paarweise verschieden sind, dann gilt 
<br /><math> \operatorname{Zw} \left( Q_1, Q_2, P \right) </math> oder 
<br /><math> \operatorname{Zw} \left( Q_1, P, Q_2 \right) </math> oder 
<br /><math> \operatorname{Zw} \left( Q_2, Q_1, P \right) </math>.|| Aus Voraussetzung '''kollinear''' und [http://wikis.zum.de/geowiki/index.php/Strecken#Satz_II.3 Satz II.3] 
|- 
| (4) || Wenn <math> \operatorname{Zw} \left( Q_1, Q_2, P \right) </math>, dann ist <math>\overline {PQ_2} \subset \overline {PQ_1}</math> und dadurch gilt <math>\overline {PQ_2} \in {gQ_1}^{+}</math>
|| Zwischenrelation, Voraussetzung
|- 
| (5) || Wenn <math> \operatorname{Zw} \left( Q_1, P, Q_2 \right) </math>, dann ist <math>\overline {PQ_2} \subset \overline {Q_1Q_2}</math> und dadurch gilt <math>\overline {PQ_2} \in {gQ_1}^{+}</math>
|| Zwischenrelation, Voraussetzung
|- 
| (6) || Wenn <math> \operatorname{Zw} \left( Q_2, Q_1, P \right)</math>, dann gehören alle Punkte der Strecke <math>\overline {PQ_2}</math> entweder zur Strecke <math>\overline {Q_1Q_2}</math> oder zur Strecke <math>\overline {PQ_1}</math>, für die gilt <math>\overline {Q_1Q_2} \in {gQ_1}^{+}</math> oder <math>\overline {PQ_1} \in {gQ_1}^{+}</math>
<br /> Dadurch gilt <math>\overline {PQ_2} \in {gQ_1}^{+}</math>
|| Zwischenrelation, Aussagenlogik
|- 
| (7) || Trivial, bzw. analog zu '''Fall I'''|| 
|}

Stimmt das so? Nochmal geändert...
--[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 15:10, 23. Jun. 2010 (UTC)

[[Bild:Dozenten.jpg]]

Analog dazu: [[Lösung_von_Aufgabe_8.1|Übungsaufgabe 8.1]]. Dort wird allerdings etwas anders vorgegangen, nämlich dass <math>R \notin {gQ}^{+} </math>. Die Analogie der Lösungen ergibt sich daraus, dass die Mengen disjunkt sind.

Müssen wir unbedingt unterscheiden, ob einmal kollinear und einmal nichtkollinear!? --[[Benutzer:TimoRR|TimoRR]] 08:51, 8. Jul. 2010 (UTC)
Oder geht das auch einfachso wie im folgenden eingescannten Beweise!?
[[Bild:Beweis Satz IV.1]]
--[[Benutzer:TimoRR|TimoRR]] 08:51, 8. Jul. 2010 (UTC)

Ich hab ein Problem mit der Voraussetzung: Wenn ich nur sage <math>Q_2 \in {gQ_1}^{+} </math>, dann kann <math>\ Q_2</math> doch immer noch ein Punkt auf g sein, oder sprechen wir von offenen Halbebenen?
Wenn nicht könnte also <math>\ Q_2</math> auf g liegen. Der "Referenzpunkt" einer Halbebene darf aber nicht auf der Trägergeraden liegen und so könnte <math>\ Q_2</math> kein "Referenzpunkt" sein...
Hat vielleicht jemand eine Ahnung???
--[[Benutzer:Principella|Principella]] 22:31, 20. Jul. 2010 (UTC)
<br /><br />Ja, mir ist auch aufgefallen, dass es da ein bisschen durcheinander geht. <br />Ich würde mal behaupten, dass es bei dem oberen Beweisschema unter '''Schritt 2''' (Voraussetzung, siehe Argument von Principella), '''Schritt 4''' (denn P kann ja auch auf g liegen, dann hat die geschlossene Strecke mit g eben doch einen Schnittpunkt) und in der Begründung von '''Schritt 8''' (auf einmal ist von disjunkten <u>offenen</u> Halbebenen die Rede, dabei wurde in Schritt 1 die Halbebene als geschlossen definiert) zu Problemen kommt. <br />Mein Vorschlag: Ich würde im gesamten Beweis mit offenen Halbebenen arbeiten. g gehört ja entweder zu beiden oder zu keiner der Halbebenen, hat also für deren Unterscheidung keine Relevanz.<br />--[[Benutzer:Barbarossa|Barbarossa]] 07:16, 21. Jul. 2010 (UTC)

== Das Axiom von [http://de.wikipedia.org/wiki/Moritz_Pasch  Pasch] ==
:::''Was Axiomatik ist und wie man Axiome zu formulieren hat, das ist erst gegen Ende des 19. Jh. von Pasch gezeigt worden; von ihm lernten es die italienischen Geometer und lernte es Hilbert.<br />[http://de.wikipedia.org/wiki/Hans_Freudenthal Hans Freudenthal], Mathematik als pädagogische Aufgabe, Stuttgart 1973, S. 14)''

<ggb_applet width="550" height="343"  version="3.2" ggbBase64="UEsDBBQACAAIADkmxTwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VlLcuM2EF1nToHiIjtTBCFSYkXylD+zcJVjp8qTWWSTAkmIQkyCCgnakk+Qm+ReOUkaAElRkmVLGsXjjDcwGi00+r3+WR59nGcpemBFyXMxtrDtWIiJKI+5SMZWJScnQ+vj6YdRwvKEhQVFk7zIqBxbxHYtJa/46YcfRuU0f0Q01SpfOHscWxOalsxC5axgNC6njMkVOa3mPOW0WNyGf7BIlssDc8mVmFVgRRYVyKIsvuZls+1pg7OUy0v+wGNWoDSPxpbvwdPhty+skDyi6djqO0biji137RBERJ1O84I/5UIq9eXlE5AgVPInBp90lGzU046OWBWlPOZUKGf0O0AJoUcey+nY8pSVKePJVAHUx+a2KM+L+G5RSpah+W+syOFlvsJ5YTYn3lDtSngW2PMcfdTd6VvYwx2TElgpEZ2zJV5JweOVzVV5nqdL0SznQl7QmawKTSmpRXdyoQyArUK990wkKatlLiA+ZdF9mM/vNAaYmKs/L2b6I/pBYXKRp3mBCoWuBwr1GppV66iXtlqO1nG0Rn2HurQ9x4GrNfQamlVrpVyYp9We48Zr7DRmeImUQMEIkdg6n9KQAbMWqgSX180GIuC+dhWbD9xUWQgp0I2B9k58rDtHvbXoGd2zQrDUxIgAbqu8KtGDikVjSz8kZhHPYGsOakiooutXeICRxiwpWPNwk0AGMH3qdONwTTzqNY9QbyjhrZGESgD+SOWLSlQJSTK2MjuxLRRTqaQqE1KWMUgTqWNCh1SLzZnV1oRcp3eTyPX5EmU4fjY+dCTRdDalIGlSIKULSPauS/q+28mkZBLNIZOID6nT5Gx9/HMer+JABeCpnYSUnKn7FWMzxuK6/sk6zNEMLOqk6dChUSyVNWz7rjZ34tl9MPxkPq61TIqp2qAtk5p/g9kr6J1/I/QMdiR4C+x8G0N1Xv5gAySURb8rdrzjwXrxprC+NXLu3iEY5VlGRYwEzcDuL3m6SHKhMeKq9yLqqERGFKuIRNRVCBp4KtmcQx1LoVFgoxYZNQoLGVuhMVibeYYcY7CBv71qteLLKRRWwcpStyXZbUDbqewA1+USe0Sz6eG6By3JxPuQuT3iSpaoXfuQ6Nt4s2doLoPLsVfTT+UfRFff9txn0tIl9sAZbDTpF5xkfwqjU5pWyTMY4yIu28BKVeRfCQmNk+lGtNkP7xmbqUHkVnwuqCjVPGp0On12R3roe6Sn085w3V+Iuxt9J+R5/vRIqQhzbex0qwf5/3IXvm/u3L6hDg93o47oqR8+sCXXTtzA9sjmRPx+CVvtvpffR/cdPJ9gMAHiI06An74PsFybNAVM3XD4cHIN4b42mVyakePTxkiSvDx2qMxpcUyOUUOWZMAfUDE3uIH2ba0cox8T+RMCENE/f/2N2Op20m5fJvSQGjRwdpjoO93Dhem7CWd3uDZkqhqEse0Nh52TY/WP7dS35WmNf2r4Tzb4v/udvjZ4dlNNqR+SbH5fk6OW0CxfP31h7MNAFeC2/tc9ZDiwXVX7G7FrcimwHafLkn9Iam3DN9yO76uD/Sq+4fvB1yEQv57fCV+Nb+DZPh5gz+DqQi33cKcHk2PiGm3HNdoP1+htcd38loV4u8F+Q2+0vl6fzHoAope8lFRE643gbBug8ctwiipjBY9auGJ9Lzykqp8Df1F7xMFBHweeQ/qB4+1eofFBrpxvc4Xt5wpbdwXbxA+wEzg+6fuDAQmC/9qVi22uTPZzZbLpSjAEHzw3wHgYOH3va1jpdb/y1F/y1//lOP0XUEsHCKIurGc0BQAAFxkAAFBLAQIUABQACAAIADkmxTyiLqxnNAUAABcZAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAAbgUAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />

===== Axiom III.2: Das Axiom von Pasch =====
:::Gegeben sei ein Dreieck <math>\overline{ABC}</math>. Ferner sei <math>\ g</math> eine Gerade, die durch keinen der drei Eckpunkte <math>\ A, B, C</math> geht. Wenn <math>\ g</math> eine der drei Seiten des Dreiecks <math>\overline{ABC}</math> schneidet, dann schneidet <math>\ g</math> genau eine weitere Seite des Dreiecks <math>\overline{ABC}</math>.

= Konvexe Punktmengen =
=====Definition IV.3: (konvexe Punktmenge)=====
::Eine Menge <math>\ M</math> von Punkten heißt konvex, wenn mit je zwei Punkten <math>\ A</math> und <math>\ B</math> dieser Menge die gesamte Strecke <math>\overline{AB}</math> zu <math>\ M</math> gehört.
===== Satz IV.2 =====
::Halbebenen sind konvexe Punktmengen

===== Beweis von Satz IV.2 =====
trivial (Der Leser überzeuge sich davon)
===== Satz IV.3 =====
::Der Durchschnitt zweier konvexer Punktmengen ist konvex.
===== Beweis von Satz IV.3 =====
Es seien <math>\ M_1</math> und <math>\ M_2</math> zwei konvexe Mengen.

zu zeigen: Der Durchschnitt der beiden Mengen <math>\ M_1</math> und <math>\ M_2</math> ist auch konvex.

[[Lösung von Aufgabe 7.5]]