Your SlideShare is downloading. ×
Descargar Exposición
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Descargar Exposición

1,221
views

Published on

Published in: Business, Technology

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
1,221
On Slideshare
0
From Embeds
0
Number of Embeds
5
Actions
Shares
0
Downloads
15
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. RELACIONES DE ORDEN
  • 2.
    • Es una relación el la cual podemos decidir entre un par de objetos cual va primero y cual va después: Si X;Y elementos de Q X mayor Y ó X menor Y ó X == Y (sólo se cumple 1 de tres)
    • Si X,Y,Z elementos de Q y además X menor Y, Y menor Z -> X menor Z
  • 3.
    • La mayoría de las relaciones transitivas son o simétricas o antisimétricas. Como resultado de las relaciones simétricas tienden a ser reflexivas. simetría implica reflexividad.
    • Una relación de equivalencia sobre un conjunto C es una relación R, que cumple las siguientes propiedades :
  • 4.
    • Una relación binaria R sobre C es reflexiva si, para cada a ∈ C , el par ( x,x ) está relacionado.
    • Reflexiva . R es reflexiva ↔∀a (a R a) //los elemento de a está relacionado consigo mismo.
    • Una relación binaria R sobre C es no reflexiva si, para cada a ∈ C , el par ( a,a ) no están relacionados
    • No Reflexiva . R no es reflexiva (a,a)No ∈ R
  • 5.
    • Si un elemento a,b ∈ C , aRb implica bRa.
    • Simétrica . ∀a, b ∈ C; a R b ⇔ b R a
    • Una relación binaria R sobre C es antisimétrica, si para cada a,b ∈C , a Diferente b , aRb excluye bRa
    • Antisimétrica . R es antisimétrica ↔∀a, b(aRb y bRa -> a=b)
  • 6.
    • Transitiva. ∀a, b, c ∈ C; (a R b) ∧ (b R c) ⇒ (a R c) //Si un elemento de C está relacionado con otro, y ese otro a su vez se relaciona con un tercero, entonces el primero estará relacionado también con este último.
  • 7. * RELACIÓN DE EQUIVALENCIA:
    • Una relación R es una relación de equivalencia si es Reflexiva, simétrica y Transitiva.
    • Toda relación de equivalencia induce a una Partición y toda Partición induce a una Relación de equivalencia
    • PARTICIÓN : Una partición de un conjunto S es la división del mismo en subconjunto A1,A2...Am, llamados bloques.
  • 8.
    • Ej: Una Partición para: { a,b,c,d } está dada por
    • {{ a,b },{ c },{ d }}
    • Sin embargo, {{ a,b },{ b,c },{ d }} No es una partición porque b está en dos bloques diferentes.
    • El conjunto {{ a,b },{ d }} tampoco es una partición porque c no está en ningún bloque.
    • Por tanto:
    • * La unión de los elementos será = S
    • A1 U A2 U ... U Am = S
    • * Ninguno de los elementos está en mas de un bloque.
    • (Ai != Aj) -> (Ai n Aj) = 0
    • * Usualmente, se utiliza el contrarrecíproco de la implicación
    • (Ai n Aj != 0) -> (Ai = Aj)