CompteLe mot compte peut référer au verbe compter, au sens de dénombrer. Un compte peut aussi référer à des unités de valeur, et à des listes utilisées par exemple par des entreprises, comme les banques et instituts financiers. Le verbe compter et le substantif compte, autrefois comput dans sa forme savante ou mathématique, proviennent respectivement de l'évolution du verbe latin computāre, signifiant "égaliser des sommes d'argent, des montants de même valeur pour assurer une transaction équilibrée...
Order isomorphismIn the mathematical field of order theory, an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially the same" in the sense that either of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections.
Développement décimalEn mathématiques, le développement décimal est une façon d'écrire des nombres réels positifs à l'aide des puissances de dix (d'exposant positif ou négatif). Lorsque les nombres sont des entiers naturels, le développement décimal correspond à l'écriture en base dix. Lorsqu'ils sont décimaux, on obtient un développement décimal limité. Lorsqu'ils sont rationnels, on obtient soit, encore, un développement décimal limité, soit un développement décimal illimité, mais alors nécessairement périodique.
HyperintegerIn nonstandard analysis, a hyperinteger n is a hyperreal number that is equal to its own integer part. A hyperinteger may be either finite or infinite. A finite hyperinteger is an ordinary integer. An example of an infinite hyperinteger is given by the class of the sequence (1, 2, 3, ...) in the ultrapower construction of the hyperreals. The standard integer part function: is defined for all real x and equals the greatest integer not exceeding x.
Construction des entiers naturelsIl existe plusieurs méthodes classiques de construction des entiers naturels, mais on utilise aujourd’hui le plus souvent celle due à von Neumann . Dans la théorie des ensembles, on définit les entiers par récurrence, en construisant explicitement une suite d'ensembles à partir de l'ensemble vide (la théorie des ensembles postule qu'il existe au minimum un tel ensemble vide).
ResteEn mathématiques, le résultat d’une division est un quotient et un reste. Le reste est nul si le quotient des deux nombres de la division est exact, sinon ce quotient est approximatif. Une division est dite euclidienne quand son dividende, son diviseur et son quotient sont des nombres entiers naturels. Dans une division euclidienne, le produit du quotient et du diviseur plus le reste est égal au dividende, et le reste est un entier naturel strictement inférieur au diviseur.
Modèle non standard de l'arithmétiqueEn logique mathématique, un modèle non standard de l'arithmétique est un modèle non standard de l'arithmétique de Peano, qui contient des nombres non standards. Le modèle standard de l'arithmétique contient exactement les nombres naturels 0, 1, 2, etc. Les éléments du domaine de tout modèle de l'arithmétique de Peano sont ordonnés linéairement et possèdent un segment initial isomorphe aux nombres naturels standards. Un modèle non standard est un modèle qui contient également des éléments en dehors de ce segment initial.
CofinalitéConsidérons un ensemble A muni d'une relation binaire ≤. Un sous-ensemble B de A est dit cofinal si : pour tout élément a de A, il existe un élément b de B tel que a ≤ b ; ∀ a ∈ A, ∃ b ∈ B \ a ≤ b. La cofinalité de l'ensemble A est le cardinal du plus petit sous-ensemble cofinal de A. La cofinalité d'un ordinal limite est le plus petit ordinal tel qu'il existe une fonction non majorée. Cet ordinal est usuellement noté ou . Intuitivement, est le plus petit nombre de pas à faire pour arriver au bout de .
