1.1 Relaciones.
Si es una trato, usaremos la notacion , que se lee “ esta relacionado por con “, o simplemente “ esta relacionado con “, para indicar el hecho sobre que . Si diremos que “ nunca esta relacionado por con ” desplazandolo hacia el pelo usaremos la notacion . Asimismo, el combinado se dira grupo de partida, asi como grupo sobre venida (o trayecto) de .
Sea la comunicacion. Definimos su dominio por , desplazandolo hacia el pelo su forma por . El combinado puede llamarse croquis sobre la relacion y se anota . Es directo que , https://besthookupwebsites.net/es/muzmatch-review/ aunque en general nunca es cierta la igualdad como conjuntos.
Toda mision induce an una comunicacion. En caso de que resulta una mision, la comunicacion asociada seria , a donde el combinado de pares ordenados esta dado por
Claramente se cumple que , e
Igualdad sobre relaciones sobre la definicion de contacto igual que la terna, es directo que dos relaciones desplazandolo hacia el pelo son iguales ssi . A su vez, seria Ademi?s Cristalino que si , por lo tanto sobre aqui que se cumple
1.2 Relaciones a donde .
Ej trascendente
Estudiemos las 4 prestaciones anteriores Con El Fin De la relacion en tal que
a donde seria un natural fijo. Esta trato se llama sobre congruencia modulo y no ha transpirado En Caso De Que decimos que “ es congruente con modulo “, o que “ es igual a modulo “. Son usuales las notaciones (mod ) o . Simetria Sean tales que . Existe que probar que . Sabemos que . Sea igual que . Despejando se tiene que , en otras palabras hemos visto un inalterable igual que lo que demostracii?n que . Refleja Sea . Debemos tratar que . Es decir Existen que hallar tal que . Basta tomar , con lo que desplazandolo hacia el pelo se concluye que . Transitividad Sean tales que . Existe que probar que . Se posee Con El Fin De un exacto , y no ha transpirado Con El Fin De un evidente . Posteriormente, despejando, se obtiene . Hemos visto un impavido semejante que , despues . Antisimetria nunca lo seria si por consiguiente, por ejemplo En Caso De Que , se dispone de que asi como Asimismo aunque . En caso de que , la comunicacion es la igualdad en , debido a que nunca seria sorprendente que sea tambien antisimetrica. Igualmente esta trato cumple las siguientes caracteristicas (a) . (b) . En fin, la hipotesis significa que , de determinados . (a) Sumando estas ecuaciones, obtenemos , sobre donde sale que . (b) Multiplicando las mismas ecuaciones, obtenemos , sobre en donde sale que .
Ejemplo La comunicacion de divisibilidad en seria un disciplina parcial desplazandolo hacia el pelo la contacto seria un disciplina total.
1.3 Relaciones sobre equivalencia.
Recordemos que una relacion en es sobre equivalencia ssi seria refleja, simetrica y no ha transpirado transitiva.
Prototipo Considere la contacto de congruencia modulo 2 en ( ). En esta trato es el total de los pares, seria el comun de las enteros impares, son los impares, . En este ej existen solo 2 clases de equivalencia diversas asi como . Observemos que . Igualmente . Caracteristicas
Las dos prestaciones anteriores Posibilitan precisar la particion de .
Lo cual es, la estirpe sobre subconjuntos de , dos a dos disjuntos, cuya vinculacion es . Sobre modo mas precisa, hay un total sobre subconjuntos no vacios de , (que sera la particion sobre ), semejante que si por lo tanto (dos a 2 disjuntos) y
Esta ultima union se comprende igual que sigue
La particion que nos interesa trazar seria la formada por las tipos sobre equivalencia de , es decir,
Este conjunto se llama combinado cociente sobre , y se puede anotar tambien igual que .
Ej relevante
Para , dar con el conjunto cociente de por la comunicacion sobre equivalencia , que denotamos por (los “enteros modulo p”). Denotamos a la especie sobre equivalencia de como . Veamos principal dos casos triviales
Si , sabemos que seria la igualdad en , y no ha transpirado por lo tanto Con El Fin De cada . Despues . En caso de que , por lo tanto seria directo que , debido a que Tenemos una sola clase sobre equivalencia de todos los enteros , asi como (un total con un unicamente factor).
En seguida supondremos que . Esta seria la restriccion que generalmente se impone cuando se utilizan las congruencias modulo en la acto. Haremos funcii?n sobre la division de numeros enteros, que se puede enunciar como sigue Si desplazandolo hacia el pelo , entonces existe la sola pareja de enteros , llamados respectivamente cociente y no ha transpirado resto sobre la division sobre por , tales que , y no ha transpirado tambien .
Si es un firme cualquier, dividiendolo por obtenemos , con . Pero esta ecuacion dice que , es decir, que . De aqui que las clases sobre equivalencia Con El Fin De son solo . Asimismo estas tipos son distintas entre si, Ya que si , de , por lo tanto . Sin embargo igual que igualmente , por lo tanto la unicidad sobre la division sobre por dedicacion .
Concluimos por lo tanto que , y no ha transpirado tiene exactamente puntos.
Estructuras Algebraicas
1.4 Leyes de composicion interna
Con el fin de simplificar la notacion, muchas veces se eliminan tambien los parentesis sobre la notacion de tipos de equivalencia en , escribiendo . Puede ademas denotarse el + sobre igual que y el de como . Con estas convenciones, el exponente 1 seria sencillamente la suma asi como el articulo en , y no ha transpirado el exponente 2 corresponde a la suma en .
1.5 Propiedades basicas de estas l.c.i
Casa El neutral, cuando hay, es unico (y poseemos entonces derecho a hablar sobre el neutro).
En objetivo, supongamos que Hay neutros y . Posteriormente .
Asociatividad Decimos que la l.c.i. en seria asociativa ssi
Elementos inversos En Caso De Que hay neutral , decimos que dispone de a como inverso, o que seria un inverso de ssi
En general, un inverso Con El Fin De no es unico. Cuando sea unico lo denotaremos . La capacidad sobre unicidad es la siguiente,
Patrimonio En Caso De Que dispone de neutral y es asociativa por lo tanto los inversos son unicos.
En resultado, sean tales que y no ha transpirado . Luego operando por Durante la reciente igualdad por la izquierda se obtiene . Igual que la jurisprudencia es asociativa entonces , sobre lo que deducimos que .
Conmutatividad Decimos que la l.c.i. en es conmutativa ssi
Supongamos que resulta una configuracion algebraica asociativa desplazandolo hacia el pelo con neutro