¿Cómo se comprueba si esta función está bien definida o no?

Una función [matemática] f: S \ a S ‘[/ matemática] está bien definida si para cada elemento [matemática] x \ en S [/ matemática] hay un único elemento [matemática] y \ en S’ [/ matemática ] satisfaciendo f (x) = y.

Cuando define una función en un conjunto de clases conjugadas, lo principal que debe verificar es que cada elemento de la clase conjugada se asigne al mismo elemento en la imagen.

  1. Esto está bien definido porque si [matemática] [x] _ {6} = [y] _ {6} [/ matemática] entonces para algún número entero k [matemática] x = y + 6k [/ matemática] entonces [matemática] 4x = 4y + 24k = 4y + 12k ‘[/ matemáticas] y así [matemáticas] [4x] _ {12} = [4y] _ {12} [/ matemáticas]
  2. Esto no está bien definido y hay un ejemplo obvio que lo demuestra. [matemáticas] [0] _ {6} = [6] _ {6} [/ matemáticas] pero [matemáticas] [5 * 0] _ {12} = [0] _ {6} \ neq [6] _ { 12} = [5 * 6] _ {12} [/ matemáticas]

Para el primero, debe probar que todos los números en la clase de equivalencia [x] en Z6 van a una sola clase de equivalencia en Z12. Es decir, la función no dependería del resultado de la división, solo del resto.

En el segundo, tomaría 1 y 7 ya que están en la misma clase de equivalencia y vería que se asignan a diferentes clases en Z12 (es decir, 5 y 35 = 11), lo que significa que no está bien definido.

More Interesting

Cómo mostrar que para cada número entero n, n> 0, el número entero (9 ^ n) -1 es divisible por 8

¿Cuáles son algunos procesos que realizamos con computadoras que no se encuentran bajo el formalismo de la máquina de Turing?

¿Por qué el hardware de gráficos solo representa triángulos?

¿Cuál es una buena manera de entender que FSA (automatización de estado finito) o los lenguajes regulares están cerrados bajo diferencia, complementación e intersección, pero FST (traductores de estado finito) o relaciones regulares no lo están?

¿Qué significa esta notación de satisfacción de proposiciones compuestas para resolver un rompecabezas de Sudoku dado en matemáticas discretas?

¿Cómo es Btech en matemáticas y computación?

¿Por qué una calculadora simple solo toma hasta 9 dígitos como entrada?

¿Cómo se puede encontrar el número de iteraciones requeridas para la integración usando la regla de Simpson para una precisión dada?

Si una persona tuviera un nuevo modelo de física fundacional de calidad nacido de la informática, no de las matemáticas, ¿cuál sería la mejor manera de presentarlo?

¿Cómo ayuda la máquina de Turing a comprender la mente?

¿Existe un vínculo entre el procesamiento de señales y la teoría de grafos?

¿Cómo escribimos código para verificar si el año es bisiesto o no en Verilog, sin usar el operador de módulo?

Las matemáticas se han desarrollado mucho en los primeros períodos, pero el desarrollo de la ciencia se retrasa. ¿Por qué?

¿Qué es la variable de referencia en C ++ y por qué se usa? ¿Cómo se relaciona con la variable de valor y la variable de puntero?

En términos absolutos, ¿qué son los transistores y los semiconductores?