Intégrale de GaussEn mathématiques, une intégrale de Gauss est l'intégrale d'une fonction gaussienne sur l'ensemble des réels. Sa valeur est reliée à la constante π par la formule où α est un paramètre réel strictement positif. Elle intervient dans la définition de la loi de probabilité appelée loi gaussienne, ou loi normale. Cette formule peut être obtenue grâce à une intégrale double et un changement de variable polaire. Sa première démonstration connue est donnée par Pierre-Simon de Laplace.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Fermé (topologie)En mathématiques, dans un espace topologique E, un fermé est un sous-ensemble de E dont le complémentaire est un ouvert. Toute réunion d'une famille finie de fermés est un fermé (y compris l'ensemble vide ∅, qui est — par définition — la réunion de la famille vide). Toute intersection d'une famille (finie ou infinie) de fermés est un fermé (y compris l'espace E tout entier, qui est — par convention dans ce contexte — l'intersection de la famille vide).
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Module homomorphismIn algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if M and N are left modules over a ring R, then a function is called an R-module homomorphism or an R-linear map if for any x, y in M and r in R, In other words, f is a group homomorphism (for the underlying additive groups) that commutes with scalar multiplication. If M, N are right R-modules, then the second condition is replaced with The of the zero element under f is called the kernel of f.
Loi normaleEn théorie des probabilités et en statistique, les lois normales sont parmi les lois de probabilité les plus utilisées pour modéliser des phénomènes naturels issus de plusieurs événements aléatoires. Elles sont en lien avec de nombreux objets mathématiques dont le mouvement brownien, le bruit blanc gaussien ou d'autres lois de probabilité. Elles sont également appelées lois gaussiennes, lois de Gauss ou lois de Laplace-Gauss des noms de Laplace (1749-1827) et Gauss (1777-1855), deux mathématiciens, astronomes et physiciens qui l'ont étudiée.
Ouvert-ferméEn topologie, un ouvert-fermé est un sous-ensemble d'un espace topologique X qui est à la fois ouvert et fermé. Il peut sembler contre-intuitif que de tels ensembles existent, puisqu'au sens usuel, « ouvert » et « fermé » sont antonymes. Mais au sens mathématique, ces deux notions ne sont pas mutuellement exclusives : une partie de X est dite fermée si son complémentaire dans X est ouvert, donc un ouvert-fermé est simplement un ouvert dont le complémentaire est aussi ouvert.
NanosecondA nanosecond (ns) is a unit of time in the International System of Units (SI) equal to one billionth of a second, that is, of a second, or 10^−9 seconds. The term combines the SI prefix nano- indicating a 1 billionth submultiple of an SI unit (e.g. nanogram, nanometre, etc.) and second, the primary unit of time in the SI. A nanosecond is equal to 1000 picoseconds or microsecond. Time units ranging between 10^−8 and 10^−7 seconds are typically expressed as tens or hundreds of nanoseconds.
Ouvert (topologie)En mathématiques et plus particulièrement en topologie générale, un ensemble ouvert, aussi appelé une partie ouverte ou, plus fréquemment, un ouvert, est un sous-ensemble d'un espace topologique qui ne contient aucun point de sa frontière. L'ouvert est l'élément de base d'un espace topologique. Il existe plusieurs définitions des ouverts suivant le type d'espace concerné. Nous reprenons ici la définition pour le cas le plus général à savoir celui des espaces topologiques.
MacOSmacOS (auparavant Mac OS X – , puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis , dont la version la plus récente est macOS Ventura () pour la version actuelle lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public. Avec iOS, iPadOS, watchOS et tvOS, il fait partie des systèmes d'exploitation d'Apple. macOS est le successeur de Mac OS Classic, la principale série des systèmes d'exploitation d'Apple depuis .
Adhérence (mathématiques)En topologie, l'adhérence d'une partie d'un espace topologique est le plus petit ensemble fermé contenant cette partie. Lorsque l'espace est métrisable, c'est aussi l'ensemble des limites de suites convergentes à valeurs dans cette partie. Dans un espace topologique E, l'adhérence d'une partie X, notée , est le « plus petit » (au sens de l'inclusion) fermé contenant X. L'existence d'un tel fermé est claire : il existe au moins un fermé contenant X, à savoir l'espace E lui-même ; d'autre part, l'intersection de tous les fermés contenant X est un fermé contenant X, et est le plus petit ayant cette propriété.
Loi log-normaleEn théorie des probabilités et statistique, une variable aléatoire X est dite suivre une loi log-normale de paramètres et si la variable suit une loi normale d'espérance et de variance . Cette loi est parfois appelée loi de Galton. Elle est habituellement notée dans le cas d'une seule variable ou dans un contexte multidimensionnel. Une variable peut être modélisée par une loi log-normale si elle est le résultat de la multiplication d'un grand nombre de petits facteurs indépendants.
