1.1 Relaciones.
En caso de que resulta una conexion, usaremos la notacion , que se lee “ esta relacionado por con “, o sencillamente “ esta relacionado con “, de indicar el hecho de que . En caso de que diremos que “ nunca esta relacionado por con ” asi como usaremos la notacion . Aparte, el comun se dira comun sobre partida, asi como grupo de llegada (o trayecto) de .
Sea la conexion. Definimos su dominio por , y no ha transpirado su fama por . El total puede llamarse croquis sobre la relacion y no ha transpirado se anota . Es directo que , No obstante en general no seria cierta la igualdad como conjuntos.
Toda mision induce a la comunicacion. En caso de que resulta una accion, la contacto asociada es , a donde el conjunto de pares ordenados esta hexaedro por
Claramente se cumple que , e
Igualdad de relaciones sobre la definicion de comunicacion igual que la terna, es directo que dos relaciones asi como son iguales ssi . A su ocasii?n, seria Ademi?s Naturalmente que si , entonces De aca que se cumple
1.2 Relaciones a donde .
Modelo trascendente
Estudiemos las 4 caracteristicas anteriores Con El Fin De la relacion en tal que
donde es un natural fijo. Esta conexion se llama sobre congruencia modulo y no ha transpirado si decimos que “ seria congruente con modulo “, o que “ es lo mismo a modulo “. Son usuales las notaciones (mod ) o . Simetria Sean tales que . Existen que probar que . Sabemos que . Sea tal que . Despejando se goza de que , Es decir hemos visto un firme tal que lo que demostracii?n que . Refleja Sea . Hemos probar que . Es decir Tenemos que encontrar semejante que . Basta adoptar , con lo que y no ha transpirado se concluye que . Transitividad Sean tales que . Existe que probar que . Se posee para un cierto , y de un evidente . Despues, despejando, se obtiene . Hemos encontrado un impasible igual que , posteriormente . Antisimetria No lo es En Caso De Que puesto que, por ejemplo En Caso De Que , se tiene que y ademas aunque . Si , la trato es la igualdad en , datingranking.net/es/blackfling-review debido a que nunca es sorprendente que sea Ademi?s antisimetrica. Tambien esta conexion cumple las subsiguientes prestaciones (a) . (b) . En proposito, la hipotesis obliga que , para determinados . (a) Sumando estas ecuaciones, obtenemos , sobre a donde sale que . (b) Multiplicando las mismas ecuaciones, obtenemos , de a donde sale que .
Exponente La relacion de divisibilidad en es un equilibrio parcial y la conexion es un disciplina total.
1.3 Relaciones sobre equivalencia.
Recordemos que la trato en es sobre equivalencia ssi seria refleja, simetrica asi como transitiva.
Ejemplo Considere la conexion sobre congruencia modulo 2 en ( ). En esta contacto es el comun sobre las pares, es el combinado de los enteros impares, son las impares, . En este exponente existen solo 2 clases sobre equivalencia distintas y . Observemos que . Tambien . Caracteristicas
Las dos prestaciones anteriores Posibilitan determinar una particion de .
Lo cual es, una familia de subconjuntos de , 2 a 2 disjuntos, cuya union seria . Sobre modo mas precisa, existe un total de subconjuntos no vacios sobre , (que sera la particion sobre ), igual que si entonces (dos a dos disjuntos) asi como
Esta ultima union se entiende igual que sigue
La particion que nos interesa trazar seria la formada por las clases de equivalencia de , en otras palabras,
Este grupo se llama combinado cociente de , asi como se suele anotar Ademi?s igual que .
Modelo trascendente
Para , encontrar el combinado cociente de por la contacto de equivalencia , que denotamos por (las “enteros modulo p”). Denotamos a la tipo de equivalencia sobre como . Echemos un vistado a primeramente un par de casos triviales
Si , sabemos que seria la igualdad en , desplazandolo hacia el pelo entonces para cada . Posteriormente . Si , entonces es directo que , por lo que Existen la sola tipo sobre equivalencia para todos los enteros , asi como (un grupo con un separado elemento).
En la actualidad supondremos que . Esta seria la restriccion que generalmente se impone cuando se usan las congruencias modulo en la ejercicio. Haremos utilizo sobre la division sobre numeros enteros, que se puede enunciar igual que sigue Si desplazandolo hacia el pelo , entonces existe la unica pareja de enteros , llamados respectivamente cociente desplazandolo hacia el pelo resto sobre la division de por , tales que , y no ha transpirado Igualmente .
En caso de que es un sereno alguno, dividiendolo por obtenemos , con . No obstante esta ecuacion dice que , es decir, que . De aqui que las clases sobre equivalencia Con El Fin De son solo . Aparte estas clases son distintas entre si, puesto que si , Con El Fin De , entonces . Aunque como igualmente , entonces la unicidad de la division de por dedicacion .
Concluimos entonces que , y no ha transpirado posee exactamente elementos.
Estructuras Algebraicas
1.4 Leyes de composicion interna
Con el fin de simplificar la notacion, En muchas ocasiones se eliminan incluso los parentesis de la notacion de tipos sobre equivalencia en , escribiendo . Suele Asimismo denotarse el + sobre como asi como el sobre como . Con estas convenciones, el prototipo 1 seria simplemente la suma asi como el producto en , y el prototipo 2 corresponde a la suma en .
1.5 caracteristicas basicas de las l.c.i
Casa El neutro, cuando hay, seria unico (y tenemos entonces derecho a hablar sobre el neutral).
En efecto, supongamos que existen neutros desplazandolo hacia el pelo . Despues .
Asociatividad Decimos que la l.c.i. en seria asociativa ssi
Elementos inversos Si hay neutro , decimos que posee an igual que inverso, o que seria un inverso Con El Fin De ssi
En general, un inverso para nunca seria unico. Cuando sea unico lo denotaremos . La condicion de unicidad es la siguiente,
Hacienda Si posee neutral y es asociativa entonces las inversos son unicos.
En proposito, sean tales que y . Posteriormente operando por Durante la reciente igualdad por la izquierda se obtiene . Igual que la jurisprudencia es asociativa por lo tanto , de lo que deducimos que .
Conmutatividad Decimos que la l.c.i. en es conmutativa ssi
Supongamos que resulta una infraestructura algebraica asociativa asi como con neutral
Leave a Reply