Saltar al contenido principal
Library homepage
 
LibreTexts Español

3.6: Isomorfismo

  • Page ID
    103729
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Template:MathJaxZach

    Un isomorfismo es una bijección que preserva la estructura de los conjuntos que relaciona, donde la estructura es una cuestión de las relaciones que obtienen entre los elementos s de los conjuntos. Considera los siguientes dos conjuntos\(X=\{1,2,3\}\) y\(Y=\{4,5,6\}\). Estos conjuntos están estructurados por el sucesor de relaciones, menor que, y mayor que. Un isomorfismo entre los dos conjuntos es una biyección que preserva esas estructuras. Entonces una función biyectiva\(f \colon X \to Y\) es un isomorfismo si,\(i<j\) iff\(f(i)<f(j)\),\(i>j\) iff\(f(i)>f(j)\), y\(j\) es el sucesor de\(i\) iff\(f(j)\) es el sucesor de\(f(i)\).

    Definición\(\PageIndex{1}\): Isomorphism

    Dejar\(U\) ser la pareja\(\langle X, R\rangle\) y\(V\) ser la pareja\(\langle Y, S\rangle\) tal que\(X\) y\(Y\) son conjuntos y\(R\) y\(S\) son relaciones en\(X\) y \(Y\)respectivamente. Una bijección\(f\) de\(X\) a\(Y\) es un isomorfismo de\(U\)\(V\) a si conserva la estructura relacional, es decir, para cualquier\(x_{1}\) y \(x_{2}\)in\(X\),\(\tuple{x_1,x_2} \in R\) iff\(\tuple{f(x_1),f(x_2)} \in S\).

    Ejemplo\(\PageIndex{1}\)

    Considere los siguientes dos conjuntos\(X=\{1,2,3\}\) y\(Y=\{4,5,6\}\), y las relaciones menores que y mayores que. La función\(f\colon X \to Y\) donde\(f(x) = 7-x\) es un isomorfismo entre\(\tuple{X,<}\) y\(\tuple{Y,>}\).


    This page titled 3.6: Isomorfismo is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .