Sur la troisième ligne, il y a respectivement trois nombres pour chaque équation cubique. commandé quatre, etc.
Que. nous obtenons une matrice qui peut être parcourue en utilisant le processus diagonal de Cantor. Si certaines racines d’une équation algébrique sont complexes, nous les ignorons simplement lors de la numérotation. Que. chaque nombre algébrique recevra un numéro correspondant, ce qui confirme le fait que l'ensemble des nombres réels algébriques dénombrable .
Fait énumération efficace l'ensemble A découle directement de la méthode donnée de numérotation des éléments avec des nombres naturels, puisqu'en même temps une procédure efficace pour numéroter des ensembles de nombres rationnels qui définissent de manière unique des équations algébriques du degré correspondant est indiquée. Il est important que l'équation algébrique du nième degré ait un algorithme de solution efficace, c'est-à-dire la procédure est totalement efficace. Ainsi, l’ensemble des nombres réels algébriques est dénombrable et effectivement énumérable, Q.E.D.
Les ensembles constitués de toutes les paires, triplets, etc. de nombres algébriques seront également dénombrables.
2.3.7. Ensembles de nombres dénombrables : généralisation
Théorème T.2 (sans preuve)
L'ensemble des éléments pouvant être représentés à l'aide d'un nombre fini de symboles dénombrables est dénombrable.
Dans la vraie vie, nous utilisons divers systèmes de signes finis, par exemple des chiffres, des lettres, des notes.
Considérons un système de signes, par exemple des nombres dans n'importe quel système de nombres finis, par exemple décimal. Disposant de 10 caractères : 0,1,2,3,4,5,6,7,8,9, nous pouvons créer deux types d'ensembles : de longueur fixe et de longueur arbitraire.
Dans le premier cas, nous parlons d'un problème purement combinatoire, par exemple, vous pouvez créer 105 séquences différentes de cinq caractères. C'est un nombre assez grand, mais c'est un nombre naturel et la cardinalité de l'ensemble considéré de toutes les séquences possibles de ce type est exprimée par un nombre naturel. Dans le second cas, l'ensemble de telles séquences sera dénombrablement infini, par analogie avec les ensembles de complexes de nombres naturels, et sa cardinalité est le nombre aleph-zéro.
On peut généraliser que l'ensemble obtenu en appliquant le théorème 2.3.(7) sera dénombrablement infini si, dans le cas d'un système fini de signes, des complexes de signes arbitrairement longs sont autorisés (aussi longtemps que souhaité, mais toujours fini!).
Les dénombrables infinis sont, par exemple :
· un ensemble de « mots » pouvant être composés à l'aide d'un alphabet fini (« un mot » est ici un complexe de lettres, qu'elles aient ou non un sens),
· l'ensemble de tous les livres écrits dans une ou même toutes les langues,
· ensemble de toutes les symphonies, etc.
§2.4. Ensembles innombrables
2.4.1. Indénombrabilité de l'ensemble des nombres réels (continuum)
On note l’ensemble des nombres réels par la lettre latine R.
Théorème T.2
L’ensemble des nombres réels est indénombrable.
Preuve
Supposons le contraire, que l'ensemble des nombres réels soit dénombrable. Alors tout sous-ensemble d’un ensemble dénombrable est également dénombrable. Sur l'ensemble des nombres réels, prenons un sous-ensemble R1 - l'intervalle (0,1) et supprimons de ce segment les nombres qui contiennent des zéros ou des neuf dans au moins un de leurs chiffres (exemples de tels nombres : 0,9, 0,0001, etc. ). L'ensemble R2, constitué des nombres restants, est un sous-ensemble de l'ensemble R1. Cela signifie que R2 est dénombrable.
Du fait que R2 est dénombrable, il s'ensuit directement qu'il est possible d'énumérer ses éléments d'une manière ou d'une autre pour établir une correspondance biunivoque entre les éléments de R2 et les éléments de l'ensemble des nombres naturels. Cela découle de la définition même de la cardinalité d'un ensemble, selon laquelle on suppose que dans des ensembles de cardinalité égale, chaque élément d'un ensemble a un élément apparié d'un autre ensemble et vice versa. Veuillez noter que la différence fondamentale entre cette définition et la définition de l'énumération effective est que dans ce cas nous ne parlons même pas de la présence d'un algorithme d'énumération, nous affirmons simplement qu'il est possible de donner une liste de nombres réels à partir de l'ensemble R2 et une liste d'entiers naturels correspondants de l'ensemble N. Dans ce cas, nous ne nous intéressons pas à l'algorithme de construction de la connexion N ↔ R2 il suffit qu'une telle correspondance soit possible ;
Construisons la liste de nombres suivante à partir de l'ensemble R2 et numérotons les nombres en chiffres :
Construisons maintenant le nombre b=0.b1b2…, et
bi=aii+1, où + désigne l'opération d'addition dont le résultat ne peut pas être les nombres 0 et 9, c'est-à-dire si aii=1, alors bi=2 ; si aii=2, alors bi=3, ...., si aii=8, alors bi=1).
Ainsi, le nombre construit b différera de chacun des nombres de l'ensemble R2 par au moins un chiffre et, par conséquent, ne sera pas inclus dans la liste compilée. Or, de par sa structure, le nombre b doit être contenu dans l'ensemble R2. Nous obtenons une contradiction, ce qui signifie que l’hypothèse initiale est incorrecte et que l’ensemble R2 est indénombrable.
Puisque l'ensemble R2 est par condition un sous-ensemble de l'ensemble R1, alors R1 est indénombrable, et puisque R1 est indénombrable, alors l'ensemble R est indénombrable, Q.E.D.
Note: Vous n’êtes pas obligé de jeter les nombres contenant 0 et 9. Ainsi, certains nombres apparaîtront deux fois dans notre série. En effet, des fractions finies peuvent être transformées en fractions infinies. Par exemple ½=0,5=0,5(0)=0,4(9).
En général, cela pourrait être la raison pour laquelle il n’a pas été possible de compter l’ensemble des nombres réels. Mais l’ensemble des nombres qui peuvent être représentés de deux manières (fractions finies) est l’ensemble des nombres rationnels. Comme nous l’avons prouvé précédemment, il en existe un nombre incalculable. On peut même montrer que cet ensemble est effectivement énumérable. Que. même une double représentation de l'ensemble de ces nombres forme un ensemble dénombrable, donc la preuve est correcte même sans une telle simplification.
Un résultat fondamentalement nouveau a été obtenu : un ensemble indénombrable de nombres a été trouvé. Sa puissance, selon le théorème prouvé, n'est pas égale à aleph-zéro (À0), ce qui signifie qu'un nouveau nombre est nécessaire dans l'échelle transfinie.
Aleph ( À) – le deuxième nombre transfini. Par définition, c'est la puissance du continu (de tous les nombres réels). C'est la deuxième puissance infinie la plus élevée. Le théorème 2.4.(1) qui vient d'être prouvé sur l'indénombrabilité de l'ensemble des nombres réels est une preuve convaincante que la cardinalité de cet ensemble est supérieure à aleph-zéro (supérieure à l'ensemble des nombres naturels). Et c’est un résultat très important après une série de preuves de la dénombrabilité de divers ensembles de nombres.
Si l'on opère avec la notion de nombre cardinal (puissance), on obtient que, puisque chaque nombre du segment (0,1) peut être représenté par une fraction décimale de la forme 0.a1a2a3... au moins une fois et à plus deux fois, alors :
À≤10 À0≤ 2À ,
et puisque 2À=À, on obtient que 10 À0= À. Le même raisonnement est valable si l'on décompose les nombres non pas en décimales, mais, par exemple, en fractions binaires, fractions de base 3, 15, 10005 ou même À0 (si vous pouvez l'imaginer).
Que. À =2À0=3À0=…=10À0=…nÀ0=…À0À0
Si vous y réfléchissez, vous pouvez découvrir un autre fait pas tout à fait évident issu de la théorie des ensembles. À2=À À est la puissance de l'ensemble des paires de nombres réels. Une paire de nombres réels correspond généralement à un point du plan. À son tour, À3=À À À est la puissance de l’ensemble des triplets de nombres réels, et ce sont des points dans l’espace. Le raisonnement peut être poursuivi jusqu'à À0 - un espace dimensionnel ou l'ensemble de toutes les séquences de nombres réels de longueur dénombrable. Que. tous les espaces de dimension finie ou de dimension dénombrable ont la même cardinalité À (ici À est le nombre de points dans l'espace).
Pour un espace réel de dimension À0 ou l'ensemble de toutes les séquences de nombres réels de longueur dénombrable, du point de vue des opérations sur les nombres cardinaux, on obtient ÀÀ0=(2À0)À0=2À0∙À0=2À0=À.
À ce stade, il sera intéressant de se tourner vers les événements historiques associés à une série de preuves dans ce domaine. Les mathématiciens, même si cela n’a pas été immédiat, ont finalement compris qu’il y avait autant de points sur une droite infinie que sur un segment. Mais le résultat suivant de Cantor était encore plus inattendu. À la recherche d'un ensemble comportant plus d'éléments qu'un segment sur l'axe réel, il s'est tourné vers l'ensemble des points d'un carré. Au départ, il n'y avait aucun doute sur le résultat : après tout, le segment entier est situé d'un côté du carré, et l'ensemble de tous les segments en lesquels le carré peut lui-même être décomposé a la même cardinalité que l'ensemble des points du carré. segment. Pendant près de trois ans (de 1871 à 1874), Cantor chercha la preuve qu'une correspondance biunivoque entre les points d'un segment et les points d'un carré est impossible. Et à un moment donné, de manière tout à fait inattendue, le résultat exactement inverse s'est produit : il a réussi à construire une correspondance qu'il considérait sincèrement comme impossible. Cantor n’y croyait pas et écrivit même au mathématicien allemand Richard Dedekind : « Je le vois, mais je n’y crois pas. » Une fois le choc de ce fait passé, il est devenu intuitivement clair et rapidement prouvé qu'un cube a le même nombre de points qu'un segment. D'une manière générale, toute figure géométrique sur un plan (un corps géométrique dans l'espace) contenant au moins une ligne possède le même nombre de points qu'un segment. De tels ensembles étaient appelés ensembles de puissance continue (du latin continuum - continu). La prochaine étape est presque évidente : la dimension de l’espace dans certaines limites n’a pas d’importance. Par exemple, un plan à 2 dimensions, un espace familier à 3 dimensions, des espaces à 4, 5 et autres espaces à n dimensions sont de puissance égale en termes de nombre de points contenus dans le corps à n dimensions correspondant. Cette situation s'observera même dans le cas d'un espace avec un nombre infini de dimensions, il est seulement important que ce nombre soit dénombrable.
A ce stade, deux types d'infinis ont été découverts et, par conséquent, deux nombres transfinis désignant leurs puissances. Les ensembles du premier type ont une puissance équivalente à la puissance des nombres naturels (aleph-zéro). Les ensembles du deuxième type ont une cardinalité équivalente au nombre de points sur l'axe réel (cardinalité du continu, aleph). On montre que les ensembles du deuxième type contiennent plus d’éléments que les ensembles du premier type. Naturellement, la question se pose : existe-t-il dans la nature un ensemble « intermédiaire » qui aurait une cardinalité supérieure au nombre d'entiers naturels, mais en même temps inférieure à l'ensemble des points d'une droite ? Cette question difficile s'appelle "problème de continuum" . Elle est également connue sous le nom "hypothèse du continuum" ou " Le premier problème de Hilbert". La formulation exacte est la suivante :
https://pandia.ru/text/78/390/images/image023_14.gif" height="10 src="> XDIV_ADBLOCK186">
Ainsi, après de nombreuses recherches sur l’hypothèse du continu, le mathématicien allemand Kurt Gödel démontra en 1938 que l’existence d’une puissance intermédiaire ne contredit pas les autres axiomes de la théorie des ensembles. Et plus tard, dans Presque simultanément, mais indépendamment l'un de l'autre, le mathématicien américain Cohen et le mathématicien tchèque Vopenka ont montré que la présence d'une telle puissance intermédiaire ne peut être déduite des autres axiomes de la théorie des ensembles. À propos, il est intéressant de noter que ce résultat est très similaire à l’histoire du postulat des droites parallèles. Comme on le sait, pendant deux mille ans, ils ont essayé de le déduire des autres axiomes de la géométrie, mais ce n'est qu'après les travaux de Lobatchevski, Hilbert et d'autres qu'ils ont réussi à obtenir le même résultat : ce postulat ne contredit pas les autres axiomes, mais ne peut pas en être déduits.
2.4.2. Ensembles de nombres complexes, transcendantaux et irrationnels
En plus de l’ensemble des nombres réels, nous présentons plusieurs autres ensembles indénombrables.
https://pandia.ru/text/78/390/images/image010_26.gif" width="81" height="76"> T.2.4.(2) Théorème
L’ensemble des nombres complexes est indénombrable.
Preuve
Puisque l'ensemble des nombres réels R, indénombrable par le théorème 2.4.(1) précédemment prouvé, est un sous-ensemble de l'ensemble des nombres complexes C, alors l'ensemble des nombres complexes est également indénombrable, Q.E.D.
Numéro transcendantal - un nombre réel qui n'est pas algébrique.
Nous désignons l’ensemble des nombres transcendantaux par la lettre latine T. Tout nombre réel transcendantal est irrationnel, mais l’inverse n’est pas vrai. Par exemple, un nombre est irrationnel, mais pas transcendantal : c'est la racine de l'équation X 2 − 2=0.
Théorème T.2
L’ensemble des nombres transcendantaux est indénombrable.
Preuve
Puisque les nombres réels sont un ensemble indénombrable, que les nombres algébriques sont dénombrables et que l'ensemble A est un sous-ensemble de R, alors R\A (l'ensemble des nombres transcendantaux) est un ensemble indénombrable, Q.E.D.
Cette simple preuve de l'existence de nombres transcendantaux a été publiée par Cantor en 1873 et a fait une grande impression sur la communauté scientifique, car elle prouvait l'existence de nombreux nombres sans construire un seul exemple spécifique, mais uniquement sur la base de considérations générales. Aucun exemple spécifique de nombre transcendantal ne peut être extrait de cette preuve ; non constructif .
Il est important de noter que pendant longtemps les mathématiciens se sont occupés uniquement des nombres algébriques. Il a fallu des efforts considérables pour trouver ne serait-ce que quelques nombres transcendantaux. Ceci a été réalisé pour la première fois par le mathématicien français Liouville en 1844, qui a prouvé un ensemble de théorèmes permettant de construire des exemples spécifiques de tels nombres. Par exemple, un nombre transcendantal est le nombre 0,..., dans lequel après la première unité il y a un zéro, après la seconde - deux, après la troisième - 6, après le nième, respectivement, n ! des zéros.
Il a été prouvé que le logarithme décimal de tout nombre entier sauf 10 est transcendantal. n. L'ensemble des nombres transcendantaux inclut également le péché α, parce que α et tg α pour tout nombre algébrique non nul α . Les représentants les plus frappants des nombres transcendantaux sont généralement considérés comme les nombres. π Et e. D'ailleurs, la preuve de la transcendance du nombre π , réalisée par le mathématicien allemand Karl Linderman en 1882, fut un grand événement scientifique, car elle impliquait l'impossibilité de la quadrature du cercle. L’histoire de la quadrature du cercle a duré quatre millénaires, et le terme lui-même est devenu synonyme de problèmes insolubles.
Unité de mesure" href="/text/category/edinitca_izmereniya/" rel="bookmark">unité de mesure du rayon d'un cercle et désigner X la longueur du côté du carré requis, alors le problème se réduit à résoudre l'équation : X 2 = π, d'où : . Comme vous le savez, à l'aide d'un compas et d'une règle, vous pouvez effectuer les 4 opérations arithmétiques et extraire la racine carrée. Cela signifie que la quadrature du cercle est possible si et seulement si, en utilisant un nombre fini de telles actions, il est possible de construire un segment de longueur π. Ainsi, l'insolvabilité de ce problème découle de la non-algébricité (transcendance) du nombre π. En fait, le problème de la quadrature du cercle se réduit au problème de la construction d’un triangle de base πr et de hauteur r. Un carré égal peut alors être facilement construit pour cela.
Dans la liste mentionnée précédemment des 23 problèmes cardinaux de mathématiques, le numéro 7 était le problème concernant la transcendance des nombres formés d'une certaine manière.
Le septième problème de Hilbert. Soit a un nombre algébrique positif non égal à 1, b un nombre algébrique irrationnel. Montrer que ab est un nombre transcendantal.
En 1934, le mathématicien soviétique Gelfond et un peu plus tard le mathématicien allemand Schneider prouvèrent la validité de cette affirmation et ce problème fut ainsi résolu.
Deux faits plus intéressants sont associés au principe de division des nombres en rationnels et irrationnels, qui ne sont pas immédiatement perçus comme vrais.
T.2.4.(5) Théorème
Entre deux nombres rationnels différents, il existe toujours un ensemble de nombres irrationnels de puissance continue.
Preuve
Soit deux nombres rationnels, un Et b. Construisons une fonction linéaire, et donc biunivoque F(X) = (X - un) / (b - un). Parce que F(un) = 0 et F(b) = 1, alors F(X) mappe le segment [ un; b] dans le segment , tout en conservant la rationalité des chiffres. Par conséquent, les puissances des ensembles [ un; b] et les nombres réels sont égaux et, comme cela a été prouvé, la puissance du segment est égale à la puissance du continu. En sélectionnant uniquement les nombres irrationnels dans l'ensemble résultant, nous obtenons qu'entre deux nombres rationnels quelconques, il existe toujours un continuum de nombres irrationnels, Q.E.D.
En général, ce théorème semble intuitivement assez logique. Ce qui suit, à première vue, est perçu avec scepticisme.
T. 2.4.(6) Théorème
Entre deux nombres irrationnels différents, il existe toujours un ensemble dénombrable de nombres rationnels.
Preuve
Qu'il y ait deux nombres irrationnels un Et b, nous écrivons leurs chiffres correspondants comme un 1un 2un 3... et b 1b 2b 2..., où ai, bi- Nombres décimaux. Laisser un < b, alors il existe un N tel que un N< b N. Construisons un nouveau nombre c, pourquoi mettons ci = ai = bi Pour je= 1, …, N-1. Laisser CN = BN-1. Il est évident que c < b. Puisque tous les chiffres du numéro un après le Nième ne peut pas être neuf (alors ce sera une fraction périodique, c'est-à-dire un nombre rationnel), alors on note M >= N un tel chiffre du nombre un, Quoi un M< 9. Положим cj = un J, en N< j < M, и c M = 9. Dans ce cas c > un. Nous avons donc un nombre rationnel c, tel que un < c < b. Ajouter des nombres à la notation décimale c n'importe quel nombre fini de chiffres derrière nous pouvons obtenir n'importe quel nombre de nombres rationnels entre un Et b. En attribuant à chacun de ces nombres son numéro de série, nous obtenons une correspondance biunivoque entre l'ensemble de ces nombres et l'ensemble des nombres naturels, donc l'ensemble résultant sera dénombrable, Q.E.D.
A ce stade, devient intéressante et importante la preuve du théorème suivant, dont la signification avant l'introduction de l'échelle des nombres transfinis était généralement évidente, et avec l'apparition d'une arithmétique aussi spécifique nécessite une preuve rigoureuse.
T.2 Théorème de Cantor
Pour tout nombre cardinal α, α<2α.
Preuve
1. Prouvons qu'au moins α≤2α
Comme on le sait, la cardinalité de l'ensemble booléen M est égale à 2|M|. Soit l'ensemble M = (m1, m2, m3, ...). L'ensemble booléen M (l'ensemble de tous ses sous-ensembles) comprend également des ensembles constitués chacun d'un seul élément, par exemple (m1), (m2), (m3), .... Seul ce type de sous-ensemble sera |M|, et en plus d'eux, le booléen inclut également d'autres sous-ensembles, ce qui signifie que dans tous les cas |M| ≤ 2|M|
2. Prouvons la rigueur de l'inégalité α<2α
Compte tenu de ce qui a été prouvé au paragraphe 1. il suffit de montrer qu'une situation dans laquelle α=2α. Supposons le contraire, soit α=2α, soit |M| = 2|M|. Cela signifie que M est équivalent à P(M), ce qui signifie qu'il existe une cartographie de l'ensemble M sur son booléen P(M). Que. Chaque élément m de l'ensemble M a une correspondance bijective avec un sous-ensemble Mm appartenant à P(M). Cela signifie que tout élément m appartient au sous-ensemble correspondant Mm ou n'y appartient pas. Construisons un ensemble M* formé de tous les éléments de la seconde espèce (c'est-à-dire ceux m qui n'appartiennent pas à leurs sous-ensembles correspondants Mm)
Par construction, il est clair que si un élément m appartient à M*, alors il n’appartient pas automatiquement à Mm. Ceci, à son tour, signifie que pour tout m, la situation M*=Мm est impossible. Cela signifie que l'ensemble M* est différent de tous les ensembles Mm et pour lui, il n'y a pas d'élément biunivoque m de l'ensemble M. Cela signifie à son tour que l'égalité |M|= 2|M| faux. Que. il a été prouvé que |M| < 2|M| ou α<2α , Q.E.D.
Appliqué à la considération d’ensembles infinis, cela prouve de manière convaincante que l’ensemble de tous les sous-ensembles de nombres naturels (et il s’agit en fait de l’ensemble des complexes de longueur infinie) n’est PAS équivalent à l’ensemble des nombres naturels eux-mêmes. Autrement dit, À0 ≠ 2À0. Et cela signifie que, par analogie, il est possible de construire un ensemble encore plus étendu, par exemple basé sur des nombres réels. En d’autres termes, la question concernant les autres types d’ensembles infinis est la suivante : existe-t-il un ensemble de cardinalité supérieure à la cardinalité de l’ensemble des nombres réels ? Si l’on répond positivement à une telle question, la suivante se pose immédiatement : existe-t-il un ensemble de puissance encore plus grande ? Et puis encore plus. Et enfin, une question logique globale : existe-t-il un ensemble de plus grande puissance ?
Théorème T.2
Pour tout ensemble A, il existe un ensemble B dont la cardinalité est supérieure à A.
Preuve
Considérez l'ensemble DANS toutes les fonctions définies sur le plateau UN et en prenant les valeurs 0 et 1. Chaque point UN ensembles UN associons la fonction fa(x), qui prend la valeur 1 en ce point et la valeur 0 en d'autres points. Il est clair que des fonctions différentes correspondent à des points différents. Il s’ensuit que la cardinalité de l’ensemble DANS pas moins que la puissance de l'ensemble UN (|B|≥|UN|).
Supposons qu'il existe de nombreux pouvoirs UN Et DANSégaux les uns aux autres. Dans ce cas, il existe une correspondance biunivoque entre les éléments des ensembles UN Et DANS. Notons la fonction correspondant à l'élément UN de beaucoup UN, via fa(x). Toutes les fonctions de la famille fa(x) prennent la valeur 0 ou 1. Construisons une nouvelle fonction φ(x)=1- fх(x). Ainsi, pour trouver la valeur de la fonction φ(x) à un moment donné UN, appartenant à l'ensemble UN, il faut d'abord trouver la fonction correspondante fa( UN) puis soustrayez de l'unité la valeur de cette fonction au point UN. De la construction, il ressort clairement que la fonction φ(x) est également définie sur l'ensemble UN et prend les valeurs 0 et 1. Par conséquent, φ(x) est un élément de l'ensemble DANS. Alors il existe un nombre b dans l’ensemble A tel que φ(x) = fb(x). Compte tenu de la définition introduite précédemment de la fonction φ(x)=1- fх(x), on obtient que pour tout x appartenant à l'ensemble UN, vrai 1 - fх(x)= fb(x). Soit x = b. Alors 1 - fb(b) = fb(b) et cela signifie fb(b)=1/2. Ce résultat contredit clairement le fait que les valeurs de la fonction fb(x) sont égales à zéro ou un. Par conséquent, l’hypothèse acceptée est incorrecte, ce qui signifie qu’il n’y a pas de correspondance biunivoque entre les éléments des ensembles. UN Et DANS (| UN| ≠| B| ). Parce que le | UN| ≠|B| et en même temps | B| ≥| UN| , Moyens | B| >|UN| . Cela signifie que pour tout ensemble UN vous pouvez construire un ensemble DANS plus de pouvoir. De là, nous pouvons conclure qu'il n'existe pas d'ensemble de plus grande cardinalité, Q.E.D.
Il existe un lien assez étroit entre l'ensemble de fonctions construit et l'ensemble booléen UN(l'ensemble de tous les sous-ensembles UN). Considérez l'ensemble DANS tous les sous-ensembles de l'ensemble UN. Laisser AVEC– un sous-ensemble dans UN. Prenons la fonction F(X) , qui prend la valeur 1 si X fait parti AVEC, et la valeur est 0 sinon. Ainsi, différents sous-ensembles AVEC correspondent à diverses fonctions. Au contraire, chaque fonction F(X) , prenant deux valeurs 0 et 1, correspond à un sous-ensemble dans UN, composé de ces éléments X, dans lequel la fonction prend la valeur 1. Ainsi, une correspondance bijective a été établie entre l'ensemble des fonctions définies sur l'ensemble UN et en prenant les valeurs 0 et 1, et l'ensemble de tous les sous-ensembles dans UN.
§2.5. Ensembles de cardinalité supérieure à la cardinalité du continuum
Il n’existe donc pas d’ensemble de plus grande cardinalité. Les deux premiers nombres transfinis avaient dans la nature des ensembles qui les formaient (l'ensemble des nombres naturels et l'ensemble des nombres réels). Si on part de l’ensemble du continu, alors on peut construire l’ensemble de tous les sous-ensembles du continu, on obtiendra son booléen, appelons cet ensemble BR. Par définition, la puissance de l'ensemble BR est égale à 2А. D'après le théorème de Cantor 2À≠À. Il est évident que l'ensemble BR est infini, donc son nombre cardinal est un nombre transfini et il ne peut coïncider avec aucun des deux nombres transfinis considérés précédemment. Cela signifie qu’il est temps d’introduire le troisième nombre transfini dans notre échelle.
Aleph Un ( À 1 ) – troisième nombre transfini. Par définition, c'est la cardinalité de l'ensemble de tous les sous-ensembles du continuum. Le même nombre correspond à la cardinalité de nombreux autres ensembles, par exemple :
· Ensembles de toutes les fonctions linéaires qui prennent des valeurs réelles (une fonction linéaire est une fonction réelle d'une ou plusieurs variables). Il s’agit essentiellement d’ensembles de toutes les courbes possibles dans un espace dénombrable, où le nombre de dimensions n est un nombre fini ou même À0.
· Ensembles de figures sur le plan, c'est-à-dire des ensembles de tous les sous-ensembles de points sur le plan ou des ensembles de tous les sous-ensembles de paires de nombres réels.
· Ensembles de corps dans l'espace tridimensionnel ordinaire, et aussi, d'une manière générale, dans tout espace de dimension dénombrable, où le nombre de dimensions n est n'importe quel nombre fini ou même À0.
Puisque le nombre À1 est introduit comme la puissance de l’ensemble booléen de cardinalité À, nous obtenons l’énoncé que À1 =2À.
§2.6. Paradoxes de la théorie des ensembles
Une question raisonnable se pose : et ensuite ? Que se passe-t-il si nous construisons l’ensemble de tous les sous-ensembles de l’ensemble BR. A quoi sera égal son nombre cardinal (bien sûr, par analogie on peut supposer qu'il est 2À1) et, surtout, à quel ensemble réel cela correspondra-t-il ? Existe-t-il des ensembles infinis plus grands que BR et combien y en a-t-il ?
Bien que nous ayons montré que le plus grand nombre transfini n'existe pas, comme le montrent les recherches, il est dangereux de monter de plus en plus loin vers de nouveaux grands nombres cardinaux - cela conduit à l'antinomie (paradoxes). En effet, quel que soit l'ensemble des nombres cardinaux, il est toujours possible de trouver un nombre cardinal supérieur à tous les nombres d'un ensemble donné et, donc, non inclus dans celui-ci. Que. aucun ensemble de ce type ne contient tous les nombres cardinaux, et l’ensemble de tous les nombres cardinaux est impensable.
Il est tout à fait naturel que tout mathématicien veuille traiter d’une théorie cohérente, c’est-à-dire dans laquelle il est impossible de prouver simultanément deux théorèmes qui se nient clairement. La théorie de Cantor est-elle cohérente ? Dans quelle mesure peut-on élargir la gamme des ensembles considérés ? Malheureusement, tout n’est pas si rose. Si nous introduisons un concept aussi inoffensif que « l’ensemble de tous les ensembles U », un certain nombre de points intéressants se posent.
https://pandia.ru/text/78/390/images/image009_32.gif" width="81" height="75 src="> T.2.6.(2) Le paradoxe de Russell
Soit B l'ensemble de tous les ensembles qui ne se contiennent pas eux-mêmes comme leurs propres éléments. Deux théorèmes peuvent alors être démontrés.
Théorème 2.6.(2).1.
B appartient à V.
Preuve
Supposons le contraire, c'est-à-dire DANS n'appartient pas DANS. Par définition, cela signifie que DANS fait parti DANS. Nous avons une contradiction - par conséquent, l'hypothèse initiale est incorrecte et DANS fait parti DANS, Q.E.D.
Théorème 2.6.(2).2.
B n'appartient pas à V.
Preuve
Supposons le contraire, c'est-à-dire DANS fait parti DANS. Par définition d'un ensemble DANS aucun de ses éléments ne peut avoir lui-même comme élément propre, par conséquent, DANS n'appartient pas DANS. Une contradiction - par conséquent, l'hypothèse initiale est incorrecte et DANS n'appartient pas DANS, Q.E.D.
Il est facile de voir que les théorèmes 2.6.(2).1. et 2.6.(2).2. s'exclure les uns les autres.
Malheureusement, même l'exclusion de tous les ensembles superextensifs ne sauve pas la théorie de Cantor. Essentiellement, le paradoxe de Russell affecte la logique, c'est-à-dire les méthodes de raisonnement par lesquelles de nouveaux concepts sont formés lors du passage d'un énoncé vrai à un autre.
Déjà lors de la dérivation d'un paradoxe, la loi logique du tiers exclu est utilisée, qui est l'une des méthodes intégrales de raisonnement en mathématiques classiques (c'est-à-dire que si l'énoncé non-A est vrai, alors A est faux). Si vous réfléchissez à l'essence des choses, vous pouvez généralement vous éloigner de la théorie des ensembles et des mathématiques en général.
codes courts">
2
C’est l’un des concepts fondamentaux non définis des mathématiques. Un ensemble est compris comme une collection (collection, classe, famille...) de quelques objets unis par une certaine caractéristique. On peut donc parler des nombreux étudiants de l'institut, des nombreux poissons de la mer Noire, des nombreuses racines de l'équation x 2 + 2x + 2 = 0, de beaucoup tous les nombres naturels, etc.
Les objets qui composent un ensemble sont appelés ses éléments. Les ensembles sont généralement désignés par des lettres majuscules de l'alphabet latin A, B,..., X, Y,..., et leurs éléments - par des lettres minuscules a, b,... ..., x, y,. ..
Si un élément x appartient à l'ensemble X, alors écrivez x О X ; enregistrer xÏ X ou x Î X signifie que l'élément x n'appartient pas à l'ensemble X.
Par exemple, la notation A=(1,3,15) signifie que l'ensemble A est constitué de trois nombres 1, 3 et 15 ; la notation A=(x:0≤x≤2) signifie que l'ensemble A est constitué de tous les nombres réels (sauf indication contraire) satisfaisant l'inégalité 0 ≤ x ≤ 2.
Un tas de A est appelé un sous-ensemble de l'ensemble B si chaque élément de l'ensemble A est un élément de l'ensemble B. Symboliquement, cela est noté AÌ B (« A est inclus dans B ») ou BÉ A (« l'ensemble B inclut l'ensemble B »). définir A »).
Ils disent ça ensembles A et B sont égaux ou identiques, et écrivez A=B si AÌ B et BÌ A. En d'autres termes, ensembles, constitués des mêmes éléments, sont appelés égaux.
Association(ou la somme) des ensembles A et B est un ensemble constitué d'éléments dont chacun appartient à au moins un de ces ensembles. L'union (somme) des ensembles est notée AUB (ou A+B). En bref, vous pouvez écrire АУВ = (x : xєA ou xєB).
L'intersection (ou produit) des ensembles A et B est un ensemble constitué d'éléments dont chacun appartient à l'ensemble A et à l'ensemble B. L'intersection (produit) des ensembles est notée A∩B (ou A*B). En bref on peut écrire A∩B=(x:xєA et xєB)
À l’avenir, pour raccourcir les enregistrements, nous utiliserons quelques symboles logiques simples :
ΑÞ ß - signifie « de la phrase α suit la phrase ß » ;
ΑÛ ß - « les propositions α et ß sont équivalentes », c'est-à-dire que de α suit ß et de ß suit α ;
" - signifie « pour n'importe qui », « pour tout le monde » ;
$ - « existe », « sera trouvé » ;
: - « a lieu », « tel que » ;
→ - « conformité ».
Par exemple:
1) l'entrée « xО А:α signifie : « pour chaque élément xО А la proposition α est vraie » ;
2) (х єA U В)<==>(x є A ou x є B) ; cette entrée définit l'union des ensembles A et B.
13.2. Numérique ensembles. Ensemble de nombres réels
Les ensembles dont les éléments sont des nombres sont appelés numériques. Voici des exemples d'ensembles de nombres :
N=(1; 2; 3; ...; n; ... ) - ensemble de nombres naturels ;
Zo=(0; 1; 2; ...; n; ... ) - ensemble d'entiers non négatifs ;
Z=(0; ±1; ±2; ...; ±n; ...) - ensemble d'entiers ;
Q=(m/n : mО Z,nО N) - ensemble de nombres rationnels.
R-ensemble de nombres réels.
Il existe une relation entre ces ensembles
NÌ ZoÌ ZÌ QÌ R.
Un tas de R contient des nombres rationnels et irrationnels. Tout nombre rationnel est exprimé soit sous forme de fraction décimale finie, soit sous forme de fraction périodique infinie. Ainsi, 1/2= 0,5 (= 0,500...), 1/3=0,333... sont des nombres rationnels.
Les nombres réels qui ne sont pas rationnels sont appelés irrationnel.
Théorème 13.1.
Il n’existe pas de nombre rationnel dont le carré est égal à 2.
▼Supposons qu'il existe un nombre rationnel, représenté par une fraction irréductible m/n, dont le carré est égal à 2. Alors on a :
(m/n) 2 =2, c'est-à-dire m 2 =2n 2.
Il s'ensuit que m 2 (et donc m) est un nombre pair, c'est-à-dire m=2k. En remplaçant m=2k dans l'égalité m 2 =2n 2, nous obtenons 4k 2 = 2n 2, c'est-à-dire 2k 2 =n 2,
Il s'ensuit que le nombre est n pair, c'est-à-dire n=2l. Mais alors la fraction m/n=2k/2l est réductible. Cela contredit l’hypothèse selon laquelle m/n est une fraction irréductible. Il n’existe donc pas de nombre rationnel dont le carré est égal au nombre 2. ▲
Un nombre irrationnel est exprimé comme une fraction infinie non périodique. Donc, √2=1,4142356... sont des nombres irrationnels. On peut dire : l'ensemble des nombres réels est l'ensemble de toutes les fractions décimales infinies. Et écris-le
R=(x : x=α,α 1 α 2 α 3 ...), où aєZ, et je є(0,1,...,9).
Un tas de Les nombres réels R ont les propriétés suivantes.
1. Il est ordonné : pour deux nombres différents α et b quelconques, l'une des deux relations est vraie : a
2. Un tas de R est dense : entre deux nombres distincts a et b, il existe un ensemble infini de nombres réels x, c'est-à-dire des nombres satisfaisant l'inégalité a.<х Alors, si un (un 3. Un tas de R continu. Soit l'ensemble R divisé en deux classes non vides A et B telles que chaque nombre réel soit contenu dans une seule classe et pour chaque paire de nombres aєA et bєB l'inégalité a La propriété de continuité nous permet d'établir une correspondance bijective entre beaucoup de tous les nombres réels et l’ensemble de tous les points d’une droite. Cela signifie que chaque nombre xєR correspond à un certain (unique) point sur l'axe numérique et, inversement, chaque point de l'axe correspond à un certain (unique) nombre réel. Par conséquent, au lieu du mot « nombre », ils disent souvent « point ». 13.3 Intervalles numériques. Quartier d'un point Soit a et b des nombres réels, et a Intervalles numériques(intervalles) sont des sous-ensembles de tous les nombres réels ayant la forme suivante : = (x : α ≤ x ≤ b) - segment (segment, intervalle fermé) ; Les nombres a et b sont appelés respectivement les extrémités gauche et droite de ces intervalles. Les symboles -∞ et +∞ ne sont pas des nombres, ils sont une désignation symbolique du processus de suppression illimitée de points sur l'axe des nombres depuis le début 0 vers la gauche et la droite. Soit x o n'importe quel nombre réel (un point sur la droite numérique). Un voisinage du point xo est tout intervalle (a; b) contenant le point x0. En particulier, l'intervalle (x o -ε, x o + ε), où ε >0, est appelé le ε-voisinage du point x o. Le nombre xo est appelé le centre. Si x Î
(x 0 -ε ; x 0 +ε), alors l'inégalité x 0 -ε est satisfaite<х<х 0 +ε, или, что то
же, |х-х о |<ε. Выполнение последнего неравенства означает попадание
точки х в ε -окрестность точки х о (см. рис. 97). L'ensemble des nombres réels est l'ensemble du complément des nombres rationnels par des nombres irrationnels. Cet ensemble est désigné par la lettre R, et il est d'usage d'utiliser la notation (-∞, +∞) ou (-∞,∞) comme symbole. L'ensemble des nombres réels peut être décrit comme suit : il s'agit d'un ensemble de fractions décimales finies et infinies, les fractions décimales finies et les fractions périodiques décimales infinies sont des nombres rationnels, et les fractions décimales infinies et non périodiques sont des nombres irrationnels. On sait que pour les nombres réels a et b les lois d'addition et de multiplication que vous connaissez déjà bien sont satisfaites : la loi d'addition communicative, la loi commutative de multiplication, la loi d'addition associative, la loi distributive de multiplication relative à l'addition, et d'autres. Illustrons-en quelques-uns : La propriété principale d'une fraction algébrique Nous poursuivons notre connaissance des fractions algébriques. Si dans la leçon précédente nous avons parlé de concepts de base, alors dans cette leçon, vous découvrirez la propriété principale d'une fraction algébrique. La définition de la propriété fondamentale d'une fraction est connue grâce au cours de mathématiques de 6e (fractions réductrices). En quoi cela consiste? Souvent, lors de la résolution de problèmes ou d'équations, il devient nécessaire de transformer une fraction « inconfortable » pour les calculs en une autre fraction « pratique ». C'est pour effectuer de telles transformations qu'il faut connaître sa propriété principale et les règles de changement de signes, avec lesquelles vous vous familiariserez en regardant le didacticiel vidéo. La valeur d'une fraction commune restera la même lorsque le numérateur et le dénominateur sont multipliés ou divisés par le même nombre (sauf zéro). C'est la propriété principale d'une fraction. Après avoir factorisé tous les dénominateurs, nous déterminons le LCM pour les coefficients numériques. Exemple 1 : Réduisez les fractions suivantes a/4b2 b a2/6b3 à un dénominateur commun. Vous trouverez une solution plus détaillée à des exemples similaires dans le didacticiel vidéo. Si l’ensemble des nombres rationnels est complété par un ensemble de nombres irrationnels, alors ensemble, ils constituent l’ensemble des nombres réels. L'ensemble des nombres réels est généralement désigné par la lettre R ; Ils utilisent également la notation symbolique (-oo, +oo) ou (-oo, oo). L'ensemble des nombres réels peut être décrit comme suit : c'est un ensemble de fractions décimales finies et infinies ; les décimales finies et les fractions périodiques décimales infinies sont des nombres rationnels, et les fractions décimales non périodiques infinies sont des nombres irrationnels. Chaque nombre réel peut être représenté par un point sur une ligne de coordonnées. L’inverse est également vrai : chaque point sur une ligne de coordonnées possède une coordonnée réelle. Les mathématiciens disent généralement ceci : une correspondance biunivoque a été établie entre l'ensemble R des nombres réels et l'ensemble des points sur la ligne de coordonnées. La ligne de coordonnées est un modèle géométrique de l'ensemble des nombres réels ; Pour cette raison, le terme droite numérique est souvent utilisé pour désigner la ligne de coordonnées. Réfléchissez à ce terme : cela ne vous semble-t-il pas anormal ? Après tout, un nombre est un objet d’algèbre et une ligne droite est un objet de géométrie. Y a-t-il ici un « mélange des genres » ? Non, tout est logique, tout est pensé. Ce terme souligne une fois de plus l'unité des différents domaines des mathématiques et permet Attention : vous utilisez la ligne de coordonnées depuis la 5e année. Mais il s'avère qu'il y avait une lacune tout à fait justifiée dans vos connaissances : vous n'auriez pas pu trouver les coordonnées d'un quelconque point de la ligne de coordonnées - le professeur vous a simplement protégé de tels problèmes. Regardons un exemple. Une ligne de coordonnées est donnée, un carré est construit sur son segment unité (Fig. 100), la diagonale du carré OB est tracée sur la ligne de coordonnées du point O vers la droite, le résultat est le point D. Quelle est la coordonnée de le point D ? Elle est égale à la longueur de la diagonale du carré, c'est-à-dire Ce numéro est comme C’est pourquoi nous avons jusqu’à présent parlé de « droite de coordonnées » et non de « droite numérique ». Notez qu'il y avait une autre lacune justifiable dans vos connaissances en algèbre. Lorsque nous considérons des expressions avec des variables, nous avons toujours pensé que les variables pouvaient prendre n'importe quelle valeur valide, mais uniquement des valeurs rationnelles, car il n'y en avait pas d'autres. En fait, les variables peuvent prendre Pour les nombres réels a, b, c, les lois habituelles s'appliquent : une + (b + c) = (une + b) + c une(bc) =(ab)c Les nombres réels peuvent être comparés les uns aux autres en utilisant la définition suivante. Définition
. Un nombre réel a est dit supérieur (inférieur) à un nombre réel b si leur différence a - b est un nombre positif (négatif). Écrivez a > b (a< b).
De cette définition, il s'ensuit que tout nombre positif a est supérieur à zéro (puisque la différence a - 0 = a est un nombre positif), et tout nombre négatif b est inférieur à zéro (puisque la différence b - 0 = b est un nombre négatif). nombre). Ainsi, a > 0 signifie que a est un nombre positif ; Le modèle géométrique de l'ensemble des nombres réels, c'est-à-dire la droite numérique, rend particulièrement claire l'opération de comparaison des nombres : de deux nombres a, b, celui situé sur la droite numérique à droite est le plus grand. Ainsi, la comparaison de nombres réels doit être abordée de manière assez flexible, ce que nous utilisons dans l’exemple suivant. Exemple 1. Comparez les nombres :
Exemple 2. Classer par ordre croissant des nombres Historiquement, les nombres naturels $N$ ont été les premiers à émerger à la suite du recalcul d'éléments. L'ensemble de ces nombres est infini et forme la série naturelle $N=\(1, 2, 3, ..., n, ...\)$. Les opérations d'addition et de multiplication sont réalisables dans cet ensemble. De nouveaux nombres étaient nécessaires pour effectuer l'opération de soustraction, ce qui aboutissait à un ensemble d'entiers : $Z$. $Z=N_+\cup N_- \cup \(0\)$. Ainsi, dans l’ensemble des nombres entiers, les opérations d’addition, de multiplication et de soustraction sont toujours effectuées. La nécessité d'effectuer une division a conduit à l'ensemble des nombres rationnels $Q$. $Q=\(\frac(m)(n), m\in Z, n\in N\)$. Définition. Deux nombres rationnels sont égaux : $\frac(m_1)(n_1)=\frac(m_2)(n_2)$ - si $m_1\cdot n_2=n_1\cdot m_2$. Cela signifie que chaque nombre rationnel peut être représenté de manière unique sous la forme d'une fraction irréductible $\frac(m)(n)$. $PGCD(m, n)=1$. 1. Grâce à des opérations arithmétiques sur des nombres rationnels (addition, multiplication, soustraction, division, sauf division par zéro), un nombre rationnel est obtenu. 2. L'ensemble des nombres rationnels est ordonné, c'est-à-dire pour toute paire de nombres rationnels $a$ et $b$ ou $a 3. L'ensemble des nombres rationnels est dense, c'est-à-dire que pour toute paire de nombres rationnels $a$ et $b$ il existe un nombre rationnel $c$ tel que $a Tout nombre rationnel positif peut toujours être représenté comme une fraction décimale : soit finie, soit infiniment périodique. Par exemple : $\frac(3)(5)=0,6$, $\frac(1)(3)=0,333...=0,(3)$. $\frac(m)(n)=a_0,a_1a_1...a_kb_1b_2b_3...b_nb_1b_2b_3...b_n...$. $b_1b_2b_3...b_n...$ - appelée la période de la fraction décimale, où tous les $b_i=0$. Notez qu’une fraction finie peut s’écrire comme une fraction périodique infinie avec zéro dans la période. $\frac(m)(n)=a_0,a_1a_1...a_k000000...$, $a_k\ne0$. Cependant, une autre représentation des nombres rationnels sous la forme d'une fraction décimale est plus courante : $\frac(m)(n)=a_0,a_1a_1...(a_k-1)999...$. Les nombres rationnels négatifs $-\frac(m)(n)$ s'écrivent comme le développement décimal d'un nombre rationnel de la forme $\frac(m)(n)$, pris avec le signe opposé. Le nombre $0$ est représenté par $0,000...$. Ainsi, tout nombre rationnel est toujours représentable comme une fraction périodique décimale infinie qui ne contient pas $0$ dans la période, à l'exception du nombre $0$ lui-même. C'est la seule représentation. L’ensemble des nombres rationnels est clos sous quatre opérations arithmétiques. Cependant, dans l'ensemble des nombres rationnels, il n'y a pas toujours de solution à l'équation la plus simple de la forme $x^2-n=0$. Il est donc nécessaire d’introduire de nouveaux chiffres. Montrons que parmi les nombres rationnels il n’existe aucun nombre dont le carré soit égal à trois. Nous effectuerons la preuve par contradiction. Supposons qu'il existe un nombre rationnel $\frac(m)(n)$ tel que son carré est égal à trois : $\left(\frac(m)(n)\right)^2=3\;\;\ ;( 1)$. $\frac(m^2)(n^2)=3$, $m^2=3n^2.\;\;\;(2)$ Le côté droit de l'égalité (2) est divisible par 3. Cela signifie que $m^2$ est également divisible par 3, donc $m$ est divisible par 3, ce qui signifie que $m=3k$. En substituant dans l'égalité (2), on obtient : $3k^2=n^2.\;\;\;(3)$ Le côté gauche de l'égalité $(3)$ est divisible par 3$, ce qui signifie que le côté droit est également divisible par 3$. Par conséquent $n^2$ est divisible par $3$, ce qui signifie que $n$ est divisible par $3$, donc $n=3p$. En conséquence, on obtient : $\frac(m)(n)=\frac(3k)(3p)$, c'est-à-dire que la fraction $\frac(m)(n)$ s'est avérée réductible, ce qui contredit l'hypothèse. Cela signifie que parmi les nombres rationnels, il n’existe aucun nombre dont le carré soit égal à trois. Mais il existe un nombre dont le carré vaut trois. Elle peut être représentée comme une fraction infinie non périodique. Et nous avons obtenu un nouveau type de chiffres. Appelons-les irrationnels. Définition. Un nombre irrationnel est toute fraction infinie non périodique. L'ensemble de toutes les fractions infinies non périodiques est appelé l'ensemble des nombres irrationnels et est noté $I$. L'union de l'ensemble des nombres rationnels $Q$ et des nombres irrationnels $I$ donne l'ensemble des nombres réels $R$ : $Q\cup I=R$. Ainsi, tout nombre réel peut être représenté comme une fraction décimale infinie : périodique dans le cas d'un nombre rationnel et non périodique dans le cas d'un nombre irrationnel. Pour les nombres réels $a=a_0,a_1a_2a_3\ldots a_n\ldots$, $b=b_0,b_1b_2b_3\ldots b_n\ldots$ la comparaison s'effectue comme suit : 1) Soit $a$ et $b$ tous deux positifs : $a>0$, $b>0$, alors : $a=b$, le cas échéant $k$ $a_k=b_k$ ; $a>b$ si $\existe s$ $\forall k 2) Soit $a>0$, $b<0$, или иначе: $b<0 3) Soit $a$ et $b$ tous deux négatifs : $a<0$, $b<0$, тогда: $a=b$, si pour $-a=-b$ ;
(une;) = (x : une< х < b} - интервал (открытый промежуток);
= (x:une< х ≤ b} - полуоткрытые интервалы (или полуоткрытые отрезки);
(-∞; b] = (x : x ≤ b) ; [α, +∞) = (x : x ≥ α) ;
(-∞; b) = (x : x
(-∞, ∞) = (x : -∞<х<+∞} = R - бесконечные интервалы (промежутки).
N'importe quel nombre réel peut être indiqué sur une ligne de coordonnées. L'énoncé inverse est également approprié : tout point sur la ligne de coordonnées a une coordonnée réelle. En langage mathématique, cela ressemble à ceci : une relation biunivoque peut être établie entre l'ensemble des points sur la ligne de coordonnées et l'ensemble R des nombres réels. Pour la ligne de coordonnées elle-même, le terme « droite numérique » est souvent utilisé, car la ligne de coordonnées est un modèle géométrique de l’ensemble des nombres réels.
Il s'avère que vous connaissez la ligne de coordonnées il y a longtemps, mais vous ne commencerez à l'utiliser que maintenant. Pourquoi? Vous pouvez trouver la réponse dans l’exemple du didacticiel vidéo.
une + b = b + une ;
ab = ba;
une + (b + c) = (une + b) + c ;
une(bc) = (ab)c;
(a + b)c = ac + avant JC
Les règles suivantes s'appliquent également :
1. Le produit (quotient) de deux nombres négatifs donne un nombre positif.
2. À la suite du produit d'un (quotient) nombre négatif et positif, un nombre négatif est obtenu.
Vous pouvez comparer des nombres réels entre eux en fonction de la définition :
Un nombre réel a est supérieur ou inférieur à un nombre réel b, dans le cas où la différence a - b est un nombre positif ou négatif.
Cela s'écrit ainsi : a > b, a< b.
Cela signifie que a est un nombre positif et b est un nombre négatif.
C'est-à-dire dans le cas où a > 0 => a est positif ;
un< 0 =>Un négatif;
a > b, alors a - b est positif => a - b > 0 ;
un< b, то a - b отрицательное =>un B< 0.
En plus des signes (<; >) inégalités strictes, des signes d'inégalités non strictes sont également utilisés - (≤;≥).
Par exemple, pour tout nombre b, l’inégalité b2 ≥ 0 est vraie.
Vous pouvez voir des exemples de comparaison de nombres et de classement par ordre croissant dans le didacticiel vidéo.
Grâce au modèle géométrique de l'ensemble des nombres réels - la droite numérique, l'opération de comparaison semble particulièrement claire.
Regardons un exemple :
7/9 = 14/18
Nous avons deux fractions identiques l’une à l’autre. Le numérateur et le dénominateur dans ce cas ont été multipliés par 2, mais la valeur de la fraction n'a pas changé.
Vous apprendrez grâce à la leçon vidéo ce qui arrive à une fraction lorsque le numérateur et le dénominateur sont divisés par le même nombre.
Une fraction algébrique est, en principe, la même fraction ordinaire ; vous pouvez y effectuer les mêmes opérations que sur une fraction ordinaire.
Une expression au numérateur et une expression au dénominateur d'une fraction peuvent être multipliées ou divisées par la même expression alphanumérique (polynôme ou monôme), le même nombre (sauf zéro : si l'expression ou le nombre au dénominateur fractions, multiplié par zéro , cela prendra une valeur nulle et, comme vous le savez, vous ne pouvez pas diviser par zéro). Cette transformation d'une fraction algébrique s'appelle sa réduction. C'est la propriété principale d'une fraction algébrique. Vous pouvez apprendre comment cela est mis en pratique à partir du didacticiel vidéo.
La conversion de fractions en fractions ayant des dénominateurs similaires est appelée conversion de fractions en un dénominateur commun. Pour effectuer cette action, vous devez effectuer une certaine séquence d'actions, composée des éléments suivants :
. Nous notons le produit en tenant compte des coefficients LCM et de tous les facteurs alphabétiques. Si les multiplicateurs sont les mêmes, prenez le multiplicateur une fois. De toutes les puissances qui ont les mêmes bases, on prend le multiplicateur avec l'exposant maximum.
. On retrouve les valeurs qui sont des facteurs supplémentaires pour le numérateur de chaque fraction.
. Pour chaque fraction, nous définissons un nouveau numérateur comme le produit de l'ancien numérateur et d'un facteur supplémentaire.
. Nous notons les fractions avec un nouveau numérateur que nous avons déterminé et un dénominateur commun.
Solution:
Tout d’abord, déterminons le dénominateur commun. (C'est égal à 12b2).
Ensuite, en suivant l'algorithme, nous déterminons un facteur supplémentaire pour chacune des fractions. (Pour le premier - 3b, pour le second - 2).
Après avoir effectué la multiplication, nous obtenons le résultat.
(a*3b)/(4b2*3b) = 3ab/12b3 et (a2*2)/(6b2*2) = 2a2/12b2.
Exemple 2 : Réduire les fractions c/(c - d) et c/(c + d) à un dénominateur commun.
Solution:
(c+d)(c-d)=c2-d2
c*(c + d)/(c - d)(c + d) = (c2 + cd)/(c2 - d2)
c*(c - d)/(c + d)(c - d) = (c2 - cd)/(c2 - d2)
La propriété principale d'une fraction algébrique a une conséquence sous la forme d'une règle de changement de signe :
a - b/c - d = b - a/d - c
Dans ce cas, le numérateur et le dénominateur de la fraction ont été multipliés par -1. Des actions similaires peuvent être effectuées non pas avec la fraction entière, mais uniquement avec le numérateur ou uniquement avec le dénominateur. Comment le résultat changera si, par exemple, seul le numérateur ou uniquement le dénominateur est multiplié par -1, vous le découvrirez en regardant la leçon vidéo.
Désormais, après avoir étudié la propriété fondamentale d'une fraction algébrique et la règle qui en découle, nous sommes capables de résoudre des problèmes plus complexes, à savoir : soustraire et additionner des fractions. Mais c'est le sujet de la prochaine leçon.
identification des notions de « nombre réel » et de « point sur la ligne de coordonnées (numériques) ».
Nous savons désormais qu’il ne s’agit ni d’un tout ni d’une fraction. Cela signifie que ni en 5e, ni en 6e, ni en 7e, vous ne pourrez trouver la coordonnée du point D.
toutes les valeurs valides valides. Par exemple, dans l'identité
(a + b)(a-b) = a 2 -b 2 tous les nombres peuvent agir comme a et b, pas nécessairement
rationnel. Nous l'avons déjà utilisé à la fin du paragraphe précédent. Nous avons utilisé la même chose au § 18 - en particulier dans les exemples 6, 7, 8 de ce paragraphe.
une + b = b + une ;
ab = ba;
(a + b) c = ac + avant JC, etc.
Les règles habituelles s'appliquent également : le produit (quotient) de deux nombres positifs est un nombre positif ;
le produit (quotient) de deux nombres négatifs est un nombre positif ;
le produit (quotient) d'un nombre positif et d'un nombre négatif est un nombre négatif.
UN< 0 означает, что а — отрицательное число;
a>b signifie que a -b est un nombre positif, c'est-à-dire a - b > 0 ;
un ceux. un B< 0.
Aux signes d'inégalités strictes (<, >) utiliser des signes de faibles inégalités :
un 0 signifie que a est supérieur à zéro ou égal à zéro, c'est-à-dire que a est un nombre non négatif (positif ou 0), ou que a n'est pas inférieur à zéro ;
et 0 signifie que a est inférieur à zéro ou égal à zéro, c'est-à-dire que a est un nombre non positif (négatif ou 0), ou que a n'est pas supérieur à zéro ;
et b signifie que a est supérieur ou égal à b, c'est-à-dire que a - b est un nombre non négatif, ou que a n'est pas inférieur à b ; une - b 0;
et b signifie que a est inférieur ou égal à b, c'est-à-dire que a - b est un nombre non positif, ou que a n'est pas supérieur à b ; a - b 0.
Par exemple, pour tout nombre a, l'inégalité a 2 0 est vraie ;
pour tous les nombres a et b, l'inégalité (a - b) 2 0 est vraie.
Cependant, pour comparer des nombres réels, il n'est pas nécessaire de combler à chaque fois leur différence et de savoir si elle est positive ou négative. Vous pouvez tirer la conclusion appropriée en comparant des nombres sous forme de fractions décimales.
Nombres rationnels
Propriétés de l'ensemble des nombres rationnels
Nombres irrationnels
Nombres réels
Comparaison de nombres réels
