Repblica Bolivariana de Venezuela Ministerio del Poder Popular Para la Educacin Superior Instituto Universitario de Tecnologa Industrial Rodol!

o "oero #ris$endi% Barcelona& Edo' #nzo(tegui Especialidad) #d$inistracin Industrial Materia) Mate$(tica I Seccin) #*+# Turno) +octurno

Profesor: ,os- ,ess .uz$(n

Bachilleres: Rodrguez #nalisse /'I' 01'*12'234 5ebres Marl6n /'I' *2'2*2'402

Barcelona& *3 de +ovie$bre de 01*1'

Ejercicio: 7ados #8 9 :2; :<; :0; 1; 0; <; = > ; B8 9 :?; :@; :2; :=; :0; 1; 0; <; 2; 4; @; ?;3 > R8 # B

Aallar) R* 9 Ba&bC D a8b>

7ados #8 9 :2; :<; :0; 1; 0; <; = > ; B8 9 :?; :@; :2; :=; :0; 1; 0; <; 2; 4; @; ?;3 > R8 # B

Aallar) R0 9 Ba&bC D b8 0 ' a : < >

7ados #8 9 :2; :<; :0; 1; 0; <; = > ; B8 9 :?; :@; :2; :=; :0; 1; 0; <; 2; 4; @; ?;3 > R8 # B

Aallar) R< 9 Ba&bC D b8 a2 : =>

Relacin de equivalencia Sea K un conEunto dado no vaco 6 R una relacin binaria de!inida sobre K' Se dice Fue R es una relacin de eFuivalencia si cu$ple las siguientes propiedades)

Reflexividad) Todo ele$ento de K est( relacionado consigo $is$o' Es decir) '

Simetra) Si un ele$ento de K est( relacionado con otro& entonces ese otro ele$ento ta$bi-n se relaciona con el pri$ero' Es decir)

Transitividad) Si un ele$ento de K est( relacionado con otro& 6 ese otro a su vez se relaciona con un tercero& entonces el pri$ero estar( relacionado ta$bi-n con este lti$o' Es decir)

Una relacin de eFuivalencia R sobre un conEunto K puede denotarse con el par ordenado ' Relacin de orden Sea # un conEunto dado no vaco 6 R una relacin binaria de!inida en #& entonces deci$os Fue R es una relacin de orden si cu$ple las siguientes propiedades) Reflexividad: Todo ele$ento de # est( relacionado consigo $is$o' Es decir) ' Antisimetra: Si dos ele$entos de # se relacionan entre s& entonces ellos son iguales' Es decir)

Transitividad: Si un ele$ento de # est( relacionado con otro& 6 ese otro a su vez se relaciona con un tercero& entonces el pri$ero estar( relacionado ta$bi-n con este lti$o' Es decir)

Una relacin de orden R sobre un conEunto # puede denotarse con el par ordenado ' Relacin de orden total Sea # un conEunto dado& es una relacin de orden total si 6 solo si todos los

ele$entos de # se relacionan entre s& es decir) ' EEe$plo es total$ente ordenado' En e!ecto& es) entonces si BporFue por de!inicin& 6 C entonces

Reflexivo: Antisimtrico:

Transitivo)

si

entonces

Relacin de orden arcial Sea # un conEunto dado& es una relacin de orden parcial si 6 solo si al $enos

un par de ele$entos de # se relacionan entre s& es decir) tal Fue '

EEe$plo' Sea el conEunto G 8 9*&0&<> 6 el conEunto potencia de G& de!inido por)

Entonces

es parcial$ente ordenado& pues sean

pero +tese Fue las relaciones de orden total son un caso particular de las relaciones de orden parcial' Relacin de oren densa Una relacin de orden parcial H sobre un conEunto G se dice densa Bo densa:en :s:$is$aC si& para todo I e 6 en G tales Fue I J 6 BI H 6 6 I K 6C& eIiste otro z en G tal Fue I J z J 6'

Ejem lo !: "os n$eros racionales con la ordenacin Labitual son un conEunto densa$ente ordenado& al igual Fue los n$eros reales' Si F* J F0 entonces tene$os Fue F< )8 BF*MF0CD0 satis!ace Fue) F* J F< J F0'

Ejem lo ": "os n$eros enteros por otro lado con la ordenacin Labitual no son un conEunto densa$ente ordenado 6a Fue entre un n$ero entero 6 su siguiente no eIiste un n$ero inter$edio' #onjunto otencia

"a !a$ilia de todos los subconEuntos de un conEunto M se lla$a /onEunto Potencia de M' Se le denota co$o 0M' Ejem los: !$ M 8 9 *& 0 > 0M 8 99*>& 90>& 9*& 0>& N> El conEunto M tiene 0 ele$entos& entonces 00 8 = ele$entos' "$ M 8 9 *& 0& < > 0M 8 99*>& 90>& 9<>& 9*& 0>& 9*& <>& 90& <>& 9*& 0& <>& N> El conEunto M tiene < ele$entos& entonces 0 < 8 ? ele$entos'

Si un conEunto M es !inito con OnO ele$entos& entonces su conEunto potencia 0 M tendr( 0n ele$entos'