Escolar Documentos
Profissional Documentos
Cultura Documentos
1. 2. 3. 4. 5. 6. 7. Introduccin Funciones parciales Notacin Lambda Funciones sobre relaciones Operador de predominancia (Overriding) Propiedades de funciones Conjuntos finitos
Introduccin
Algunas relaciones son especiales: cada objeto origen tiene como mximo una imagen. Estas relaciones son funciones. En este tema se ver:
Cmo definir funciones Cmo utilizarlas para definir varios operadores del lenguaje. Qu propiedades tienen las funciones Qu ocurre cuando el dominio de la funcin es finito.
Funciones parciales
Definicin: Funcin parcial es relacin que proyecta un elemento del origen con un elemento del destino como mximo. Formalmente: X Y == {f: X Y| x:X; y1, y2: Y x y1 f x y2 f y1=y2 }. Funciones totales: aquellas que todo elemento del origen tiene imagen.
X Y == {f: X Y | dom f = X}
Denotamos con f(a) el nico objeto que, dada f, es imagen de a. Reglas de inferencia:
1 p: f p.1 = a a b f ----------------------------------b = f(a)
[app-intro]
[app-elim]
Notacin Lambda
Nos permite definir una funcin con una sintaxis especial. Supuesto f una funcin con dominio los elementos de X que cumplen la restriccin p. Si el resultado de aplicar f un elemento arbitrario x se puede mostrar por la expresin e, f puede describirse como:
f = { x:X | p x f = ( x:X | p e) e}
Mediante la notacin Lambda, podra describirse como: Si la parte de declaracin de la expresin introduce ms de una variable, el tipo origen de la funcin ser una tupla obtenida del producto cartesiano de los tipos implicados
( a:A; b:B; c:C .... e)
Definiciones informales:
Inyectiva: x1, x2: dom f f x1 = f x2 x1 = x2 Suprayectiva: ran f = B (supesto B conjunto imagen) Biyectiva: Inyectiva y suprayectiva.
Suprayectivas
A A B == {f: A B == (A B| ran f = B} B) ( A B)
B) ( A
B)
#:FX
s: F X; n: N n = # s f: (1..n) s true