Le chapitre 0
 
Introduction
Le concept de "cours"
L'envie d'apprendre
Si vous êtes ici, c'est que, d'une façon ou d'une autre, vous vous intéressez aux mathématiques. Dans ce cas, il est fort probable que vous vouliez apprendre des choses par rapport aux mathématiques. Ce cours est fait pour ça.
Essayons de décrire comment il va fonctionner. Ce "document" est un cours. En théorie, un cours est une suite de leçon permettant de réaliser un enseignement construit et bien ordonné. Ici, une leçon est un "bloc" bien délimité d'informations, transmis pour couvrir une thématique précise d'un cours. Une leçon utilise en général d'autres concepts similaires : les notions, les méthodes, les définitions... Nous parlerons de tout ça plus tard, car la façon dont elles seront introduite sera très influencée par le caractère "mathématique" du cours. Dans ce cours, il y aura de nombreuses leçons, consacrés à (en toute logique) plein de domaines mathématiques. Cependant, pour rajouter du sens, ce cours sera aussi découpé sous forme de chapitres. Ici, un chapitre de cours est une découpe plus précise que le cours, mais moins que la leçon, pour mieux ordonner le cours. En général, les chapitres représenteront des niveaux mathématiques différents dans le cours, tel que le chapitre précédent ne nécessite pas le chapitre suivant. Des découpes plus précises pourront apparaître dans le futur, mais pour l'instant, ce cours ressemblera à ça :

Théoriquement, dans l'enseignement "officiel", les cours respectent ce que l'on appelle un programme. Un programme d'enseignement est un plan à suivre, qu'un enseignant doit respecter réaliser son cours. Tout le monde connait le très célèbre programme imposé par l'académie française aux établissements éducatifs français, proposés sur ce site web. Cependant, les programmes ne servent pas toujours la cause de la matière qu'ils représentent. C'est pour cela que j'ai décidé d'opté pour un programme bien plus libre, et qui est inspiré des grands mathématiciens dans l'histoire. Or, comme mon programme ne validerai probablement pas les exigences de l'éducation national, je ne peux pas délivrer de diplôme à la fin de ce cours. Prenez le donc comme il est : un cours juste fait pour mieux comprendre les mathématiques (et aller valider de "vrais" diplômes plus tard).
Comment utiliser ce cours
Pour bien comprendre comment ce cours va fonctionner, il peut être très pratique de se plonger un peu dans une branche des sciences humaines : la pédagogie. En effet, la pédagogie est l'étude / la mise en pratique de l'enseignement et des techniques d'enseignement. Ici, l'enseignement est la transmission de savoirs / connaissances entre un enseignant (transmetteur) et un élève (receveur). En réalité, ces définitions changent selon la personne étudiant le concept (en général, des philosophes ou sociologues), mais savoir laquelle est la meilleure n'est pas utile dans le contexte actuel. En gros, la pédagogie étudie les meilleurs moyens possibles de transmettre ce savoir. Donc, en théorie, tout enseignant doit maitriser un minimum la pédagogie(j'insiste sur le "en théorie"). Dans ce cours, j'essaierai d'être le plus pédagogue possible. Cependant, je me réserve le droit de faire évoluer la pédagogie utilisée dans ce cours pour se rapprocher d'une pédagogie optimale.
Bien que ces définitions peuvent être utilisées par l'enseignant pour mieux enseigner, l'élève peut aussi tenter de les comprendre pour mieux acquérir les connaissances. Déjà, l'élève doit précisément savoir ce qu'il veut apprendre précisément, et pourquoi. Cette stratégie permet de donner une motivation à l'élève, même dans des temps difficiles. Il est aussi conseiller à l'élève d'adopter une relative discipline, lui permettant de correctement acquérir les connaissances nécessaires. Cette discipline est très difficle à étudier, puisqu'elle est propre à chaque personne. Cependant, elle doit inclure les méthodes de travails générales permettant à l'élève d'atteindre ces objectifs (révisions, exercices, méthode de la feuille blanche)... Ces concepts sont déjà sur-étudiés partout sur Internet, je ne reviendrai donc pas dessus ici.
L'enseignement des mathématiques
Comment faire des mathématiques ?
Quand vous demandez à des gens aléatoire leur définition des mathématiques, il y a de fortes chances que des mots du type "calcul" ou "nombres" apparaissent dedans. Or, tous ceux qui ont fait un peu de mathématiques avancées savent très bien que, très vite, les nombres disparaissent, pour laisser place à des symbôles plus ou moins abstraits. Donc, la question de la définition précise des mathématiques est plus compliquée qu'il n'y paraît.
Pour étudier les mathématiques, il faut savoir ce que l'on étudie précisément, et comment cela marche. Déjà, les mathématiques représentent les sciences étudiant la logique pure. Ici, la logique représente l'ensemble des outils permettant de raisonner, et donc de justifier des propos. Bien évidément, cette définition est extrêmement générale. En effet, cette "logique" s'applique aussi, par exemple, à l'étude du droit (pour justifier l'inocence ou la culpabilité d'un prévenu), en lettres (pour étudier un texte)... Il y a donc quelque chose qui différencie la logique mathématique des autres logiques.
Les mathématiques étudient toutes (ou presque) leurs théories de manière exacte, en suivant exactement ce que la logique leur dit de faire. Donc, deux questions se posent : "qu'est ce qu'est une théorie mathématique" et "qu'est ce que la logique leur dit de faire". Commençons par répondre à la deuxième question. En mathématique, on travaille avec propositions logiques. Ici, une proposition logique est une information quelconque, possédant une valeur de vérité (elle est soit vraie, soit fausse). L'idée derrière les mathématiques est de trouver ces valeurs de vérités, pour des propositions diverses. Pour cela, nous avons besoin d'un raisonnement, permettant de trouver la valeur de vérité d'une proposition (nommée la conclusion du raisonnement), en s'appuyant sur d'autres propositions dont on connait la valeur de vérité (nommés généralement prémisses du raisonnement). Ici, la logique permet de donner les règles permettant de passer de ces prémisses à la conclusion. Voici un exemple dans un cadre parfaitement réel : je cherche à démontrer que je suis un humain. Cependant, tout le monde sait qu'un humain a une carte d'idendité, et j'ai une carté d'idendité. Ici, la logique me permet de dire que, puisque "un humain a une carte d'idendité" et "j'ai une carté d'idendité", alors je suis un humain.

Cependant, en mathématiques, on cherche à ce que TOUTES les propositions puissent être démontré. Or, je devrais théoriquement démontrer que "un humain a une carte d'idendité" (et que "j'ai une carté d'idendité", or je ne vais pas leak ma carte d'idendité juste pour ça ¯\_( ͡° ͜ʖ ͡°)_/¯). Légalement, la carté d'idendité a été instaurée lors du décret n°55-1397 du 22 octobre 1955(bien que légèrement modifié depuis). Si on continue comme ça, on va creuser dans les propositions : "comment s'assurer qu'il n'y a pas eu d'erreurs à la mairie", "est-ce suffisant pour prouver que son détenteur est un humain", "peut-on faire confiance à la loi française"... Or, il faut bien s'arrêter quelque part. Dans notre exemple actuel (la loi française), la simple existence de ce décret suffit à ce que, légalement, son contenu soit reconnue (donc, légalement, "un humain a une carte d'idendité" est reconnu). Or, en mathématiques, on a le même problème : il faut s'arrêter quelque part. Pour cela, il existe un concept très pratique : les axiomes. Les axiomes sont des propositions théoriquement indémontrées (mais qui, en pratique, sont tout à fait """"logiques""""" / évidentes, en accord avec les autres sciences et ne nécessitent pas de démonstration) qui servent de bases à toutes les mathématiques. Théoriquement, on peut remonter CHAQUE démonstration de chaque proposition pour arriver à des axiomes. Un axiome peut n'avoir aucun équivalent dans le monde réel est être totalement abstraits. Pour rappel, l'abstraction représente l'action d'imaginer (mentalement) un objet, sans qu'il soit obligatoirement réel. C'est le cas d'une grande partie des objets mathématiques. Cependant, ces objets peuvent obéir à certaines règles, nommées des propriétés. L'étape de la création (mentale) de cet objet est nommée la définition de l'objet. En général, "l'objet O possède une propriété P" est une proposition (ou un axiome), soit vrai soit fausse. Dans ce cours, nous exposeront toutes les idées vues sous cette forme.
Cependant, pour que vous puissiez démontrer quoi que ce soit, il vous faut plusieurs axiomes différents. Pour cela, on utilise ce que l'on appelle une théorie axiomatique. Une théorie axiomatique est un ensemble d'axiomes, permettant de démontrer énormément de propositions (incluses dans la théorie). Il est à noter qu'une proposition démontrée dans une théorie axiomatique est nommée... un théorème. Heuresement pour nous, il existe quelques théories axiomatiques (qui seront introduites au premier cours), qui permettent de formuler toutes les mathématiques classiques(de la maternelle à la L3, voir au master). Voici comment fonctionne les mathématiques modernes. Nous en reparlerons dans ce cours, mais les idées ne changeront pas beaucoup de tout ça.
Avec tout ça, on peut se demander quelles règles de logique utiliser pour démontrer nos propositions. Cette question fait partie une discipline philosophique précise : la philosophie des mathématiques. La philosophie des mathématiques représente la branche de la philosophie étudiant comment et pourquoi faire des mathématiques. Au fil de l'histoire, une quantité aberrante de différentes méthodes sont nées, avec autant d'avantages / inconvénients pour chacune d'entre elles, et autant de réponses différentes à notre question de départ. Dans ce cours, j'adopterai une philosophie proche du logicisme et du formalisme.
L'objectif de ce cours
Dans ce cours, l'idée est de partir du fondement des mathématiques (et donc, de ces fameux axiomes), pour atteindre les plus hauts sommets possibles. Cependant, cette façon de faire est basée en très grande partie sur la compréhension brute et totale de ce que l'on est en train de faire, et donc des démonstrations utilisées. L'idée est aussi d'aller creuser dans les bases de ce que l'on croit être les mathématiques(qui sont bien souvent erronées). Pour cela, nous traiterons les thèmes dans un ordre permettant leur compréhension parfaite. En effet, je pense que le savoir mathématique n'a aucune valeur sans compréhension mathématique, alors que la réciproque n'est pas vrai. Quand on voit tout ça, on peut s'interroger sur quelques points. Dans l'enseignement secondaire, les mathématiques ne sont pas enseignées comme ça, alors pourquoi faire comme cela dans ce cours ? Je n'ai pas trouvée la réponse à cette question, bien que les conséquences sont assez visibles sur le classement PISA...
Ce cours contiendra beaucoup de démonstrations différentes. Pour des raisons de lisibilité, les démonstrations seront placées hors des cours, sur des pages appart. De plus, elles seront expliquées sur notre chaîne Youtube.
En d'autres termes, suivez ce cours si vous voulez comprendre parfaitement les mathématiques, sans en attendre (directement) un diplôme.
