(* Content-type: application/mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 6.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 145, 7] NotebookDataLength[ 11929, 406] NotebookOptionsPosition[ 11300, 382] NotebookOutlinePosition[ 11685, 399] CellTagsIndexPosition[ 11642, 396] WindowFrame->Normal ContainsDynamic->False*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Adh\[EAcute]rence", "Section", CellChangeTimes->{{3.432647252906341*^9, 3.4326472632061167`*^9}}], Cell[TextData[{ "Un r\[EAcute]el ", Cell[BoxData[ FormBox["a", TraditionalForm]]], " adh\[EGrave]re \[AGrave] l'ensemble E \[Subset] \[DoubleStruckCapitalR] si \ et seulement si tout intervalle ouvert centr\[EAcute] en ", Cell[BoxData[ FormBox["a", TraditionalForm]]], " poss\[EGrave]de une intersection non vide avec E.\n\n", Cell[BoxData[ FormBox[ RowBox[{"a", "\[Element]", " ", RowBox[{"adh", " ", "E"}]}], TraditionalForm]]], "\n\[DoubleLongLeftRightArrow]\n", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"\[ForAll]", RowBox[{"r", " ", ">", " ", "0"}]}], " ", ":"}], " ", "]"}], "a"}], "-", "r"}], ",", RowBox[{"a", "+", RowBox[{"r", "[", " ", RowBox[{ RowBox[{"\[Intersection]", " ", "E"}], " ", "\[NotEqual]", " ", "\[EmptySet]"}]}]}]}], TraditionalForm]]] }], "definition", CellChangeTimes->{{3.4326472811227293`*^9, 3.43264740319986*^9}, { 3.432647771201642*^9, 3.432647772935912*^9}, {3.432648140586742*^9, 3.432648179073682*^9}, {3.4326928745570908`*^9, 3.432692875024296*^9}}], Cell[TextData[{ "L'ensemble des r\[EAcute]els qui adh\[EGrave]rent \[AGrave] E est not\ \[EAcute] adh E (adh\[EAcute]rence de E) ou encore ", Cell[BoxData[ FormBox[ OverscriptBox["E", "_"], TraditionalForm]], FormatType->"TraditionalForm"], ".\nadh E ", Cell[BoxData[ FormBox[ RowBox[{"=", RowBox[{"{", RowBox[{"x", "\[Element]", RowBox[{"\[DoubleStruckCapitalR]", ":", " ", RowBox[{"a", " ", "adh\[EGrave]re", " ", "\[AGrave]", " ", "E"}]}]}], "}"}]}], TraditionalForm]], FormatType->"TraditionalForm"] }], "definition", CellChangeTimes->{{3.4326928849440527`*^9, 3.432692912621016*^9}, { 3.43269347211839*^9, 3.432693487907879*^9}}], Cell[TextData[{ Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"adh", " ", "\[EmptySet]"}], "=", "\[EmptySet]"}], TraditionalForm]], FormatType->"TraditionalForm"], "\nadh \[DoubleStruckCapitalR]=\[DoubleStruckCapitalR]\n", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"adh", " ", "[", RowBox[{"a", ",", "b"}], "]"}], "=", "adh"}], "]"}], "a"}], ",", RowBox[{"b", "[", RowBox[{"=", RowBox[{"adh", "[", RowBox[{"a", ",", RowBox[{ RowBox[{"b", "[", RowBox[{"=", "adh"}], "]"}], "a"}], ",", RowBox[{"b", "[", RowBox[{"=", RowBox[{"[", RowBox[{"a", ",", "b"}], "]"}], " "}]}]}]}]}]}]}], TraditionalForm]], FormatType->"TraditionalForm"] }], "remarque", CellChangeTimes->{{3.432652728197714*^9, 3.432652802730863*^9}}], Cell[TextData[{ "le r\[EAcute]el ", Cell[BoxData[ FormBox[ RowBox[{"-", "2"}], TraditionalForm]]], " adh\[EGrave]re \[AGrave] l'ensemble E=", Cell[BoxData[ FormBox[ RowBox[{"[", RowBox[{ RowBox[{"-", "2"}], ",", RowBox[{"5", "["}]}]}], TraditionalForm]]], "\n\nEn effet, \t", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", "2"}], " ", "\[Element]", " "}], TraditionalForm]]], "E\n\t\t\t\t", Cell[BoxData[ FormBox[ RowBox[{"-", "2"}], TraditionalForm]], FormatType->"TraditionalForm"], " appartient \[AGrave] l'ensemble ", Cell[BoxData[ FormBox[ RowBox[{"[", RowBox[{ RowBox[{"-", "2"}], ",", RowBox[{"5", "["}]}]}], TraditionalForm]], FormatType->"TraditionalForm"], "\n\t\t", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"\[ForAll]", RowBox[{"r", " ", ">", " ", "0"}]}], " ", ":", " ", RowBox[{ RowBox[{"-", "2"}], " ", "\[Element]"}]}], " ", "]"}], "-", "2", "-", "r"}], ",", RowBox[{ RowBox[{"-", "2"}], "+", RowBox[{"r", " ", "["}]}]}], TraditionalForm]]], " \n\t\t\t\t", Cell[BoxData[ FormBox[ RowBox[{"-", "2"}], TraditionalForm]]], " appartient \[AGrave] tout intervalle ouvert centr\[EAcute] en \ lui-m\[EHat]me\n\t\t", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"-", "2"}], "\[Element]"}], " ", "]"}], "-", "2", "-", "r"}], ",", RowBox[{ RowBox[{"-", "2"}], "+", RowBox[{"r", " ", "[", " ", RowBox[{"\[Intersection]", " ", "E"}]}]}]}], TraditionalForm]]], "\n\t\t\t\tdonc ", Cell[BoxData[ FormBox[ RowBox[{"-", "2"}], TraditionalForm]], FormatType->"TraditionalForm"], " appartient \[AGrave] l'intersection de l'intervalle ouvert et E\n\t\t", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{" ", "]"}], "-", "2", "-", "r"}], ",", RowBox[{ RowBox[{"-", "2"}], "+", RowBox[{"r", " ", "[", " ", RowBox[{ RowBox[{"\[Intersection]", " ", "E"}], " ", "\[NotEqual]", " ", "\[EmptySet]"}]}]}]}], TraditionalForm]]], "\n\t\t\t\tet d\[EGrave]s lors l'intersection est non vide" }], "exemple", CellChangeTimes->{{3.4326481280214787`*^9, 3.432648134878533*^9}, { 3.432648200773432*^9, 3.432648309397129*^9}, {3.432648382047407*^9, 3.432648569135273*^9}, 3.432692934723928*^9, {3.432693522922491*^9, 3.432693636176745*^9}}], Cell[TextData[{ "le r\[EAcute]el ", Cell[BoxData[ FormBox["5", TraditionalForm]]], " adh\[EGrave]re \[AGrave] l'ensemble E=", Cell[BoxData[ FormBox[ RowBox[{"[", RowBox[{ RowBox[{"-", "2"}], ",", RowBox[{"5", "["}]}]}], TraditionalForm]]], "\n\nmontrons que\t\t", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"\[ForAll]", RowBox[{"r", " ", ">", " ", "0"}]}], " ", ":"}], " ", "]"}], "5"}], "-", "r"}], ",", RowBox[{"5", "+", RowBox[{"r", " ", "[", " ", RowBox[{"\[Intersection]", " ", RowBox[{"[", RowBox[{ RowBox[{"-", "2"}], ",", RowBox[{"5", "[", " ", RowBox[{"\[NotEqual]", "\[EmptySet]"}]}]}]}]}]}]}]}], TraditionalForm]]], " \n\nen effet, \npour ", Cell[BoxData[ FormBox[ RowBox[{"0", "<", "r", "\[LessEqual]", "7"}], TraditionalForm]], FormatType->"TraditionalForm"], ",\n\t\t", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"]", " ", "5"}], " ", "-", " ", "r"}], ",", " ", RowBox[{"5", " ", "+", " ", RowBox[{"r", " ", "[", " ", RowBox[{"\[Intersection]", " ", RowBox[{"[", RowBox[{ RowBox[{"-", "2"}], ",", " ", RowBox[{"5", "[", " ", "="}]}]}]}]}]}]}], TraditionalForm]], FormatType->"TraditionalForm"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"]", " ", "5"}], " ", "-", " ", "r"}], ",", " ", RowBox[{"5", "[", RowBox[{"\[NotEqual]", "\[EmptySet]"}]}]}], TraditionalForm]], FormatType->"TraditionalForm"], "\npour ", Cell[BoxData[ FormBox[ RowBox[{"r", ">", "7"}], TraditionalForm]], FormatType->"TraditionalForm"], ",\n\t\t", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"]", " ", "5"}], " ", "-", " ", "r"}], ",", " ", RowBox[{"5", " ", "+", " ", RowBox[{"r", " ", "[", " ", RowBox[{"\[Intersection]", " ", RowBox[{"[", RowBox[{ RowBox[{"-", "2"}], ",", " ", RowBox[{"5", "[", " ", "="}]}]}]}]}]}]}], TraditionalForm]], FormatType->"TraditionalForm"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"]", " ", "-", "2"}], ",", " ", RowBox[{"5", "[", RowBox[{"\[NotEqual]", "\[EmptySet]"}]}]}], TraditionalForm]], FormatType->"TraditionalForm"], "\n" }], "exemple", CellChangeTimes->{{3.4326481280214787`*^9, 3.432648134878533*^9}, { 3.432648200773432*^9, 3.432648309397129*^9}, {3.432648382047407*^9, 3.432648569135273*^9}, {3.4326530673703737`*^9, 3.432653243206956*^9}, { 3.432692936617866*^9, 3.43269321829077*^9}}], Cell[TextData[{ "Pour montrer qu'un r\[EAcute]el ", Cell[BoxData[ FormBox["a", TraditionalForm]]], " n'adh\[EGrave]re pas \[AGrave] E, il suffit de trouver un intervalle \ ouvert centr\[EAcute] en ", Cell[BoxData[ FormBox["a", TraditionalForm]]], " qui poss\[EGrave]de une intersection vide avec E.\n\n", Cell[BoxData[ FormBox[ RowBox[{"a", "\[NotElement]", " ", RowBox[{"adh", " ", "E"}]}], TraditionalForm]]], "\n\[DoubleLongLeftRightArrow]\n", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"\[Exists]", " ", RowBox[{"r", " ", ">", "0"}]}], ":"}], " ", "]"}], "a"}], "-", "r"}], ",", RowBox[{"a", "+", RowBox[{"r", "[", " ", RowBox[{ RowBox[{"\[Intersection]", " ", "E"}], " ", "=", " ", "\[EmptySet]"}]}]}]}], TraditionalForm]]] }], "remarque", CellChangeTimes->{{3.432647413934308*^9, 3.432647439722406*^9}, { 3.432647494389743*^9, 3.432647539195348*^9}, {3.4326475884080276`*^9, 3.432647615939219*^9}, {3.432647651170464*^9, 3.43264768411959*^9}, { 3.432647751344872*^9, 3.432647768840146*^9}, {3.432647872784634*^9, 3.432648064302129*^9}, 3.432693655349794*^9}], Cell[TextData[{ "le r\[EAcute]el ", Cell[BoxData[ FormBox[ RowBox[{"-", "7"}], TraditionalForm]]], " n'adh\[EGrave]re pas \[AGrave] l'ensemble E=", Cell[BoxData[ FormBox[ RowBox[{"[", RowBox[{ RowBox[{"-", "2"}], ",", RowBox[{"5", "["}]}]}], TraditionalForm]]], "\n\nEn effet, prenons ", Cell[BoxData[ FormBox[ RowBox[{"r", "=", "3"}], TraditionalForm]], FormatType->"TraditionalForm"], ":\n\t\t", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"]", "-", "7", "-", "3"}], ",", RowBox[{ RowBox[{"-", "7"}], "+", RowBox[{"3", " ", "[", "=", "]"}], "-", "10"}], ",", RowBox[{"-", RowBox[{"4", "["}]}]}], TraditionalForm]]], " \n\t\t\tl'intervalle ouvert choisi est ", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"]", "-", "10"}], ",", RowBox[{"-", RowBox[{"4", "["}]}]}], TraditionalForm]], FormatType->"TraditionalForm"], "\net\n\t\t", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"]", "-", "10"}], ",", RowBox[{"-", RowBox[{"4", "[", " ", RowBox[{"\[Intersection]", " ", RowBox[{"[", RowBox[{ RowBox[{"-", "2"}], ",", RowBox[{"5", "[", " ", RowBox[{"=", " ", "\[EmptySet]"}]}]}]}]}]}]}]}], TraditionalForm]]] }], "exemple", CellChangeTimes->{{3.4326481280214787`*^9, 3.432648134878533*^9}, { 3.432648200773432*^9, 3.432648309397129*^9}, {3.432648382047407*^9, 3.432648569135273*^9}, {3.432693255284623*^9, 3.4326933932011223`*^9}, { 3.4326936830202513`*^9, 3.43269371611432*^9}}] }, Open ]] }, WindowToolbars->"EditBar", WindowSize->{817, 843}, WindowMargins->{{261, Automatic}, {Automatic, 3}}, Magnification->1.25, FrontEndVersion->"6.0 for Mac OS X x86 (32-bit) (May 21, 2008)", StyleDefinitions->"stylemath.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[590, 23, 104, 1, 55, "Section"], Cell[697, 26, 1133, 32, 154, "definition"], Cell[1833, 60, 687, 19, 72, "definition"], Cell[2523, 81, 886, 30, 65, "remarque"], Cell[3412, 113, 2457, 85, 243, "exemple"], Cell[5872, 200, 2641, 89, 243, "exemple"], Cell[8516, 291, 1217, 34, 127, "remarque"], Cell[9736, 327, 1548, 52, 179, "exemple"] }, Open ]] } ] *) (* End of internal cache information *)