Loading AI tools
De Wikipedia, la enciclopedia libre
Una correspondencia matemática es una relación binaria entre dos conjuntos, que pueden cumplir o no cuatro propiedades:
Dada la importancia de estos conjuntos, a continuación se presenta una galería de ejemplos de los tipos y subtipos de correspondencias matemáticas, empleando la propia teoría de conjuntos para su presentación.
Donde:
Una correspondencia, entre dos conjuntos, puede cumplir cuatro propiedades:
Estas cuatro propiedades son independientes pudiendo cumplirse o no cada una de ellas independiente mente de las demás, esto da lugar a 16 posibles casos diferentes, de estos 16 casos solo siete tienen nombre:
Podemos ver una galería de ejemplos de cada uno de los casos.
Dados dos conjuntos donde algún elemento del conjunto inicial está relacionado con algún elemento del conjunto final, esa relación es una correspondencia.
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
Una correspondencia que cumple la unicidad de imagen es una correspondencia unívoca, las correspondencias unívocas son un subconjunto de las correspondencias.
|
|
|
|
|
|
|
|
Una correspondencia biunívoca es la correspondencia que cumple la unicidad de imagen y de origen, esto es una correspondencia biunívoca en una correspondencia unívoca que cumple la unicidad de origen. La correspondencias biunívocas son un subconjunto de las correspondencias unívocas.
|
|
|
|
Una aplicación matemática es una correspondencia que cumple la unicidad y la existencia de imagen, esto es una aplicación es una correspondencia unívoca que cumple la unicidad de imagen.
|
|
|
|
Una aplicación es sobreyectiva, si cumple la unicidad y existencia de imagen y la existencia de origen, o lo que es lo mismo es una aplicación que cumple la existencia de origen.
|
|
Una aplicación es inyectiva, si cumple la unicidad y existencia de imagen y la unicidad de origen, o lo que es lo mismo es una aplicación que cumple la unicidad de origen. Las aplicaciones inyectives son la intersección entre las aplicaciones matemáticas y la correspondencias biunívocas.
|
|
Una aplicación es biyectiva, si cumple la unicidad y existencia de imagen y la unicidad y existencia de origen, o lo que es lo mismo es una aplicación que cumple la unicidad y la existencia de origen. Las aplicaciones biyectivas son la intersección entre las aplicaciones sobreyectivas e inyectivas.
|
Podemos ver las correspondencias que cumplen alguna de sus propiedades, en positivo, como en las secciones anteriores, pero también se pueden plantear las correspondencias que no cumplen alguna propiedad, en negativo, lo que nos permite un punto de vista alternativo.
Una correspondencia que no cumple la unicidad de imagen es una correspondencia no unívoca, las correspondencias no unívocas son el complemento de las correspondencias unívocas.
|
|
|
|
|
|
|
|
Una correspondencia que cumple la unicidad de imagen es una correspondencia unívoca y si no cumple la unicidad de origen es no biunívoca.
|
|
|
|
Una correspondencia no es aplicación matemática si no cumple la existencia o la unicidad de imagen.
|
|
|
|
|
|
|
|
|
|
|
|
Una correspondencia es unívoca y no es una aplicación si cumple la unicidad de imagen y no cumple la existencia de imagen.
|
|
|
|
Una aplicación matemática no sobreyectiva es la correspondencia que cumple la unicidad y la existencia de imagen y no la existencia de origen.
|
|
Una aplicación matemática no inyectiva es la correspondencia que cumple la unicidad y la existencia de imagen y no la unicidad de origen.
|
|
Una aplicación matemática no biyectiva es la correspondencia que cumple la unicidad y la existencia de imagen y no la unicidad o la existencia de origen.
|
|
|
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
