• Aucun résultat trouvé

Théories des bornes

N/A
N/A
Protected

Academic year: 2022

Partager "Théories des bornes"

Copied!
4
0
0

Texte intégral

(1)

D IAGRAMMES

J. R

OSICKÝ

Théories des bornes

Diagrammes, tome 2 (1979), exp. no5, p. R1-R3

<http://www.numdam.org/item?id=DIA_1979__2__A5_0>

© Université Paris 7, UER math., 1979, tous droits réservés.

L’accès aux archives de la revue « Diagrammes » implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impres- sion systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright.

Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques

http://www.numdam.org/

(2)

Diagrammes, Vol. 2 , 1979-

THEORIES DES BORNES.

Chapitre J: An algebraic description of ordinals.

J. Rosicky.

The class ON of ail ordinals will be described as a cer- tain free algebra in the category of classes. It gives a way to consider ordinals in more gênerai situations than in sets.

We will work in a given model of the Godel-Bernays set theo- ry. Dénote by Cl the category of ail classes in this model with mappings which are classes as morphisms (of course, Ce is not a category in our model), Having a class A , P(A) will dénote the class of ail non-empty subsets of A . Then

P: Ce > CZ is a functor where P(f) , for a mapping f : A > B , is given by the direct images (so, we hâve P(f)(x) = £ f ( x ) / x € x ] , f or any X £ P(A) ) .

Under a complète semilattice in Cl we will mean a par- tially ordered class such that each non empty subset has a su- premum. It is well known that complète semilattices are precise- ly couples (A,h) where A £ Cd and h: P(A) > A is a mapping such that h( \ x } ) = x , for any x 6 A , and

h( U 3£ ) = h( { h(X) / X € 36 } ) , for any non-empty subset

ï Ç P(A).

(3)

R 2

A triple (A,f,h) will be called an o-algebra if A € Ce , (Afh) is a complète semilattice and f: A ^ A a mapping such that h( S x,f(x) } ) = f(x) (i. e. x 4f(x) ) > f o r ajCïy x € A. A mapping t: A > A1 is a homomorphism of o-algebras

(A,f,h) and ( A S f S h1) if t;f = f1 and hf.P(t) = t.h . We hâve an o-algebra (ON,u,s) where u(x) a x + 1 , for any x € O N , and s(x) = sup X , for any X C P(ON) .

THEOREM. (ON,u,s) is a free o-algebra over one gênerator.

Proof• We will prove that 0 freely générâtes ON as an o-al- gebra. Let (A,f,h) be an o-algebra and a € A . We hâve to show that there is a unique homomorphism t: ON -> A of o-alge- bras such that t(o) = a.

Define t by a transfinite recursion as follows: t(o) = a , t(x+l) = f.t(x) , for any x £ O N , and t(x) = h.P(t)(x) (hère x is understood as a set of ail smaller ordinals), for any li- mit x € ON . If x €_ ON , then t will dénote the restriction

x

of t on x+1 Ç ON . To see that t is a homomorphism of o-al- gebras it suffices to verify that each t : x+1 > A is a homomorphism of partial o-algebras (i. e. préserves ail exis- ting opérations). At first, we show that each t préserves ~ . Indeed, if t does it then t A as wel3 because

' x x+1

t(x+l) = f.t(x) > t(x). If x is limit, the induction step is évident•

It is clear that if t is a homomorphism of partial o-algebras then t . as well. Assume that x is limit and t a homo-

x+1 y morphism for any y < x . Then h.P(t)(X) = t.s(X) for any

X £ P(x+1) such that s(X) < x . If s(x) = x , then either x is the greatest élément of X or X is cofinal with x . Sin- ce t préserves ^ $ the same alternative holds for t(x) and P(t)(x). In the first case, h.P(t)(X) = t(x) is immédia- te and in the second one h.P(t)(X) = h.P(t)(x) = t(x) by the

(4)

H 5

construction of t . Since t(x) = t.s(x) , t is proved to be a homomorphism.

The uniqueness of t is évident.

Remark. The just identified ordinal ob.ject ON , which is comple- tely determined by "the calculus of the functor P " , may be compared with the natural number object in toposes (which is the f ree unary algebra over one générât or) •

suivre J

Références

Documents relatifs

64 As well as three representatives of the Banking Commissioner (Albert Dondelinger, Jean-Nicolas Schaus and Charles Stuyck), it was composed of André Coussement, a representative

We give in the subsections below a quick overview of the mathematical objects involved here, namely random measurable sets, positivity, perimeter, and realisability problems, and

The correct statement of the enrichment and/or depletion testing problem leads to a unique exact null distribution of the number of DE genes belonging to the GO category of

Since the tangent model structure is a left Bousfield localization of the Reedy model structure, it suffices to show that its right adjoint ∗ ∶ M Ð→ TM sends fibrant objects to

An elementary topos (or topos for short) is a category E that is cartesian closed, has finite limits, and a representable subobject functor.. Definition 11.3 (Elementary topos

The remainder of this paper is organized as follows: Section 2 introduces the fundamentals of category theory, Section 3 discusses works from the literature that deal with category

Toute uti- lisation commerciale ou impression systématique est constitutive d’une infraction pénale.. Toute copie ou impression de ce fichier doit conte- nir la présente mention

The multiplicative structure (tensor product and its adjoint) can be defined in any locally cartesian closed category, whereas the additive (product and co- product) and exponential (