20/10/2019, 01:20:28 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: 1 [2] 3 4 ... 27   Ir Abajo
  Imprimir  
Autor Tema: Consultas, comentarios y ejercitación de curso: Topología (Munkres)  (Leído 119729 veces)
0 Usuarios y 3 Visitantes están viendo este tema.
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #20 : 14/01/2010, 09:25:19 pm »

[texx]\Longrightarrow{A\subset{(B\cup{C})}[/texx]
Supongo que estas en 1.7, yo lo veo asi:

[texx](A\cap{B})\subset{C}[/texx]

A ver que dice el profe



No sé a qué se refieren con esto.

No tiene ningún sentido.  :rodando_los_ojos:

En línea

morito14
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 36


Ver Perfil
« Respuesta #21 : 14/01/2010, 09:29:24 pm »

La verdad estaba empezando a escribir las respuestas para el ejercicio 1.3, pero se hizo tarde y dejé la computadora. Fue un error mio y se refiere a parte de un problema, pero no tienen ningún sentido pues está incompleto. Iré posteando poco a poco algunas respuestas para que las podamos discutir.
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #22 : 14/01/2010, 09:29:59 pm »

Me refiero al ejercicio 1.3 a)

EDITO: OK. resuelto! un lapsus!! ... :sonrisa:

Saludos

 :sonrisa:


Sí, parece que no importa sin son verdaderas o falsas, sino sólo escribir las proposiciónes que se piden.

Saludos
En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #23 : 14/01/2010, 09:32:00 pm »

no tienen ningún sentido pues está incompleto

Me imaginé, pero lo que no entiendo es lo que dice Alejo.

Igual no hay problema. Sigan trabajando.
Ya les voy a ir subiendo los ejercicios de las secciones que siguen.

Saludos
En línea

vekito22
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Perú Perú

Mensajes: 57


Ver Perfil
« Respuesta #24 : 15/01/2010, 04:57:05 pm »

bueno desearia de favor que las clases lo ponga en archivo pdf para imprimirlo y poderlo estudiar por que para estudiarlo en la pc duelen las vistas....solo pido eso nada mas ......
En línea
morito14
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 36


Ver Perfil
« Respuesta #25 : 15/01/2010, 06:05:58 pm »

Lo de poner las clases en pdf puedes hacerlo por tu cuenta, con adobe professional o novapdf.

Ahí van mis respuestas para algunos ejercicios (argentinador me ayudó con uno del 7).

Problema 2

[a)] {[texx]A\subset{B}[/texx] y [texx]A\subset{C}[/texx] [texx]\Longrightarrow{A\subset{(B\cup{C})}}[/texx]}
[b)] {[texx]A\subset{B}[/texx] o [texx]A\subset{C}[/texx] [texx]\Longrightarrow{A\subset{(B\cup{C})}}[/texx]}
[c)] {Verdadero, supongamos [texx]x\in{A}[/texx][texx]\Longrightarrow{x\in{B}}[/texx],[texx]x\in{C}[/texx]}[texx]\Longrightarrow{x\in{(B\cap{C})}}[/texx]
[d)] {[texx]A\subset{B}[/texx] o [texx]A\subset{C}[/texx] [texx]\Longleftarrow{A\subset{(B\cap{C})}}[/texx]}
[e)] {[texx]A-(A-B)\subset{B}[/texx]}
[f)] {[texx]A-(B-A)\supset{(A-B)}[/texx]}
[g)] {Verdadero, supongamos [texx]x\in{A\cap{(B-C)}}[/texx][texx]\Longrightarrow{x\notin{C}}[/texx],[texx]x\in{A}[/texx],[texx]x\in{B}[/texx][texx]\Longrightarrow{x\in{(A\cap{B})}}[/texx],[texx]x\notin{(A\cap{C})}[/texx]. Ahora, supongamos [texx]x\in{A}[/texx],[texx]x\in{B}[/texx], y [texx]x\notin{C}[/texx], [texx]\Longrightarrow{x\in{(A\cap{B})}}[/texx],[texx]x\notin{(A\cap{C})}[/texx][texx]\Longrightarrow{x\in{A\cap{(B-C})}}[/texx]}
[h)] {[texx]A\cup{(B-C)}\supset{(A\cup{B})-(A\cup{C})}[/texx]}
[i)] {Verdadero por definición de unión y complemento}
[j)] {Verdadero por definición de subconjunto y producto cartesiano}
[k)] {Falso porque A o B pueden ser conjuntos vacíos}
[l)] {Verdadero por definición de subconjunto y producto cartesiano}
[m)] {[texx](a,b)\cup{(c,d)}\subset{((A\cup{C}),(B\cup{D}))}[/texx]}
[n)] {Verdadero por definición de intersección y producto cartesiano}
[o)] {Verdadero por definición de complemento y producto cartesiano}
[p)] {Verdadero por definición de complemento y producto cartesiano}
[q)] {[texx](A\times{B})-(C\times{D})\supset{(A-C)-(B-D)} [/texx]}


Problema 7

{[texx]D=A\cap{(B\cup{C)}}[/texx]}
{[texx]E=(A\cap{B})\cup{C}[/texx]}
{[texx]F=(A-B)\cup(A\cap C)[/texx]}

Problema 10

[10 a.]{Sí, el conjunto es el producto de los enteros con los reales}
[10 b.]{Sí, el conjunto es el producto de los reales con (0, 1]}
[10 c.]{No, el conjunto (x,y) siempre depende del valor de x, si fijamos x, o de y si fijamos y}
[10 d.]{Sí, el conjunto es el producto de (reales menos enteros) por los enteros}
[10 e.]{No, debido a que es un círculo abierto puede tener dos valores, por lo que no sería uno a uno}
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #26 : 15/01/2010, 06:58:31 pm »

Del ejercicio 2: los enunciados de (a), (b), (c), (d) están incorrectos.
Las inclusiones van para el otro lado, los conjuntos no son los correctos... así que cuidado.

Otra cosa: en el (c), obviando que está la inclusión al revés, la demostración está incompleta, porque lo que hay que probar es una "doble implicación" [texx]\Longleftrightarrow{}[/texx].
O sea que se tiene que probar [texx]p\Rightarrow{ q}[/texx] y [texx]q\Rightarrow{p}[/texx], cuando se tiene algo como [texx]p\Longleftrightarrow{q}[/texx].

El (g) está bastante bien, salvo que al final has puesto un par de implicaciones en orden invertido al correcto.

Se debe partir de [texx]{x\in{(A\cap{B})-(A\cap C)}}\Longrightarrow{}[/texx].

En el (m) no sé qué has puesto.

El (k) no está claramente justificado. Si los dos conjuntos A, B son vacíos, todas las inclusiones se dan.
Hay que exhibir un ejemplo concreto donde valgan las inclusiones de la derecha, pero no valga alguna de las de la izquierda. Y exhibirlo claramente...

El 10 en general está bien, se entiende todo, pero los incisos (c) y (e) requieren una justificación un poco más detallada.

En los lugares que has puesto "Verdadero por definición de tal y tal" es muy sospechoso, porque las igualdades no salen tan directamente desde la definición de union, interseccion, etc.



Te resumo varias cosas:

* 1) Soy conciente del esfuerzo que estás haciendo para escribir las cosas en Latex. Es una ardua lucha, así que te lo agradezco.

* 2) Hay que tener cuidado de copiar bien los enunciados, porque si no uno demuestra cosas que no se piden, o que no son ciertas (ej. 2 incisos a, b, c, d).

* 3) No son tan importantes las "respuestas" como todo el "desarrollo". Hay pasos que no hay que saletearse, otros quizá sí.
En esto, depende de qué cosas dé uno por obvias, y desconozco qué tanta experiencia tienes con conjuntos. Así que puede que debas escribir más o menos cosas.
Pero los pasos que uno se saltea tienen que ser fáciles de rellenar para quien los lee.
Hay que fijarse bien.

* 4) Los contraejemplos deben exhibirse bien.

* 5) Las demostraciones de tipo "negacion de propiedades" como 10(c) y 10(e) requieren una demostración más detallada. Por suerte con números reales y funciones en el plano las cosas se entienden bien, pero aún así hay que demostrar dando algún detalle más...

Es claro que toda esta batería de ejercicios de conjuntos puede resultar pesado y rutinario.
Pero aún así hay que escribir las cosas con cuidado.

Uno puede elegir qué ejercicios hacer, y cuáles no.
Yo no les exijo que los hagan a todos.

Eso depende de cuán seguros se sientan ustedes con la teoría de conjuntos.

Pero aprovechemos para escribir las demostraciones con la mayor corrección y exactitud posibles.

Saludos,
y de nuevo gracias Morito por tu esfuerzo




En línea

morito14
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 36


Ver Perfil
« Respuesta #27 : 15/01/2010, 08:06:51 pm »

Mmm, lo siento mucho. De hecho, los volví a checar y no entendía por qué estaba mal! Hasta que comparé los que pusiste en el post con los que tenía en mi libro, son diferentes. Para la otra seré más cuidadoso y veré si posteas los mismos o los cambias un poco.
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #28 : 15/01/2010, 08:52:52 pm »

Bueno, tengo dos ediciones distintas, la 1era y la 2da.
Me confié de que en ambas los ejercicios estaban enunciados igual,
así que el error es mío,
porque anuncié que nos íbamos a basar en la 2da edición del libro.

Te pido disculpas Morito, ahora lo arreglo.

En línea

Alejo
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 23


Ver Perfil
« Respuesta #29 : 15/01/2010, 09:13:00 pm »

Respecto al ejercicio 1.10
[texx]
c)\\

$$\{(x,y): y > x\}$$

Podria hacerse valer la cortadura?

$$\alpha = A|B : A\cup{B} = R, \;\;\;A\neq{\emptyset}\:\:\; y\;\;\; B\neq{\emptyset},\;\;\; x < y, \;\;\;x\in{A}, \;\;\;y \in{B}$$\\
Aunque asi existiria una cota para el dominio y la funcion estaria como algo mutiliada?

e)

Valdrian los subconjuntos A=\{-1,0,1\} B=\{0,1\} (pregunta)

Saludos

[/texx]
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #30 : 15/01/2010, 10:07:12 pm »

¿Una cortadura en R?

Supongamos que hay una cortadura, con las propiedades que has especificado.
Ahora deseamos describir el semiplano [texx]\{x<y\}[/texx] como el producto [texx]A\times B[/texx].

Como has dicho que [texx]A, B[/texx], son no vacíos, podemos tomar ciertos elementos, digamos [texx]a\in A,b\in B[/texx].
Ahora te pregunto si el par ordenado [texx]\mathbb{(}b,b+1\mathbb{)}[/texx], que obviamente es un punto de [texx]\{x<y\}[/texx], acaso pertenece a [texx]A\times B[/texx].
Si perteneciera, entonces tendría que cumplirse, por def. de prod. cartesiano, que [texx]b\in A,b+1\in B[/texx]. (arreglé una B que estaba mal  :sorprendido: )
Luego, [texx]b\in B\cup A[/texx].

Pero esto se contradice con el hecho de que [texx]A,B[/texx], son disjuntos por ser [texx]A|B[/texx] una cortadura.

La idea es fácil. El punto [texx]b[/texx] es una cota superior de [texx]A[/texx]. O sea que desde [texx]b[/texx] hacia la derecha, ningún punto puede ser de [texx]A[/texx].
Pero aún a la derecha de [texx]b[/texx] se pueden hallar puntos [texx]x[/texx] que están "debajo" de la diagonal con ecuación [texx]x=y[/texx].

El semiplano [texx]\{x<y\}[/texx] está limitado por una recta en diagonal con ecuación [texx]y=x[/texx].

Así que hay que seguir la idea de Morito en todo esto.



La demostración iría más o menos así.

Supongase que en verdad existen [texx]A,B[/texx], subconjuntos [texx]\mathbb{R}[/texx] tales que [texx]A\times B=\{(x,y)|x<y\}[/texx].

Para que eso tenga sentido, [texx]A, B[/texx], han de ser no vacíos.
Sea [texx]b\in B[/texx].
Como [texx]b<b+1[/texx], resulta que [texx](b,b+1)\in\{x<y\}[/texx].
Como esto coincide con [texx]A\times B[/texx] por hipótesis, escribimos [texx](b,b+1)\in A\times B[/texx].
Esto implica que [texx]b\in A,b+1\in B[/texx].
Solo nos interesa lo que pasa con [texx]b[/texx].

Hemos probado que, si [texx]b\in B[/texx] entonces [texx]b\in A[/texx].
Esto implica que [texx]B\subset A[/texx].

Razonando de modo similar con [texx]a\in A[/texx] y [texx]a-1<a[/texx], obtendríamos la conclusión recíproca: [texx]A\subset B[/texx].

Por lo tanto [texx]A=B[/texx].
Sea ahora [texx]c\in A[/texx], tenemos que [texx]c\in B[/texx], y así [texx](c,c)\in A\times B[/texx].
Pero también tiene que cumplirse que [texx]c<c[/texx], absurdo.

Esto muestra que no es posible expresar [texx]\{x<y\}[/texx] como un producto [texx]A\times B[/texx].

 
En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #31 : 15/01/2010, 10:20:19 pm »

Respecto al ejercicio 1.10
e)

Valdrian los subconjuntos A=\{-1,0,1\} B=\{0,1\} (pregunta)

Saludos

[/tex]

Creo que no estás entendiendo bien el enunciado.
El conjunto que describe la ecuación [texx]x^2+y^2<1[/texx] es un disco abierto con centro en el origen y radio 1.
Esto es por el teorema de pitagoras y la fórmula de la distancia en el plano.

Fijate en unos de los posts que puse en "Dictado del curso...", en el que explico con todo detalle la geometría del plano, y el tema de los discos abiertos a partir de la noción de distancia.



La idea general en este tipo de problemas es que el producto cartesiano de conjuntos cualesquiera de la recta real, da como resultado en el plano cosas de forma "cuadriculada", o sea, o bien da rectangulos, o bien ciertas uniones de rectángulos, dejando "vacias" las partes no consideradas.

Más concretamente, digamos esto: tomar un conjunto E del plano, proyectarlo en los ejes horizontal y vertical. Esas proyecciones son conjuntos A, B.
Si uno pregunta si E puede escribirse como producto cartesiano de un par de conjuntos, entonces los elementos de A y B tienen que estar en esos conjuntos.
Ahora bien, cuando hacemos el producto [texx]A\times B[/texx] nos va a dar, en muchos casos, un conjunto del plano mayor que el E original.
Y entonces hay que fijarse cuáles son los elementos que sobran, y quedarse con al menos uno de ellos, para exhibirlo como contrajemplo.

En el caso del disco, sus proyecciones A, B, son los intervalos abiertos [texx](-1,1)[/texx] y [texx](-1,1)[/texx].
El producto [texx]A\times B=(-1,1)\times(-1,1)[/texx] es un cuadrado sin sus bordes, pero no es un círculo.
Hay que ahora tomar un punto de ese cuadrado que no esté en el círculo.
Por ejemplo, el punto [texx]{\color{blue}(}0.9,0.9{\color{blue})}[/texx] cumple con esa propiedad (verificarlo).

Ese punto sirve de contraejemplo.

En línea

Alejo
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 23


Ver Perfil
« Respuesta #32 : 16/01/2010, 08:59:00 pm »

OK. Gracias por tu detallado razonamiento, que me viene muy bien para ir aclarando conceptos y ordenando ideas.


Saludos
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #33 : 16/01/2010, 09:08:58 pm »

 :sonrisa:

Bueno.

De todas maneras, siempre hay algo más detrás de las cosas que se discuten.
Por ahora parece un simple problema de productos cartesianos en el plano.

Pero inconvenientes más profundos y preguntas más interesantes provienen luego en el estudio de la continuidad o en las topologias producto, a partir de estas mismas vicisitudes de las "proyecciones".
Por eso también me tomé el tiempo de explicar lo más posible la idea geométrica.

Saludos.
En línea

morito14
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 36


Ver Perfil
« Respuesta #34 : 17/01/2010, 12:30:07 am »

Bueno, ahora tratando de hacer los ejercicios de la parte 2.2. La verdad que son ejercicios relativamente sencillos, pero me gustaría hacerlos bien con el fin de mejorar mi manera de escribir la mate (quiero ser más formal)  :BangHead: .
 
a) Supongamos que [texx]x\in B_{0}\Rightarrow x\in B_{1}[/texx]. Dado que [texx]f^{-1}[/texx] es suryectiva [texx]f^{-1}\left(x\right)[/texx] existe y es elemento del codominio, dado que [texx]f^{-1}[/texx] es inyectiva [texx]f^{-1}\left(x\right)[/texx] es único. Por lo que [texx]f^{-1}\left(B_{0}\right)\subset f^{-1}\left(B_{1}\right)[/texx].

Es esto suficiente?? Debo confesar que no quedé muy contento. Aunque la siguiente es peor.

b)Supongamos que [texx]x\in\left(B_{0}\cup B_{1}\right)\Rightarrow x\in B_{0}\: or\: x\in B_{1}[/texx]. Luego, si x es elemento sólo de uno de los conjuntos o pertenece a ambos la igualdad se cumple.

Entiendo que debería ser más formal en la última parte, pero no se me ocurre cómo. Sé que si x pertenece a B0, se cumple; si x pertenece a B1, se cumple; o si pertenece a la intersección de B0 con B1 también se cumple. ¿Hay alguna manera de formalizar esto?

En línea
morito14
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 36


Ver Perfil
« Respuesta #35 : 17/01/2010, 01:19:34 am »

Intentando hacer el 2.d se me ocurrió una idea que me sirve para el 2.b y 2.c. Ahora sí que quedaron muy lindos. Vean que hermosura

b)
Supongamos [texx]x\in f^{-1}\left(B_{0}\cup B_{1}\right)\Rightarrow f^{-1}\left(x\right)\in\left(B_{0}\cup B_{1}\right)\Rightarrow f^{-1}\left(x\right)\in\left(B_{0}\right)\: o\: f^{-1}\left(x\right)\in\left(B_{1}\right)\Rightarrow x\in f^{-1}\left(B_{0}\right)\: o\: x\in f^{-1}\left(B_{1}\right)[/texx]

c)
Supongamos [texx]x\in f^{-1}\left(B_{0}\cap B_{1}\right)\Rightarrow f^{-1}\left(x\right)\in\left(B_{0}\cap B_{1}\right)\Rightarrow f^{-1}\left(x\right)\in\left(B_{0}\right)\: y\: f^{-1}\left(x\right)\in\left(B_{1}\right)\Rightarrow x\in f^{-1}\left(B_{0}\right)\: y\: x\in f^{-1}\left(B_{1}\right)[/texx]

d)
Supongamos [texx]x\in f^{-1}\left(B_{0}-B_{1}\right)\Rightarrow f^{-1}\left(x\right)\in\left(B_{0}-B_{1}\right)\Rightarrow f^{-1}\left(x\right)\in\left(B_{0}\right),f^{-1}\left(x\right)\notin\left(B_{1}\right)\Rightarrow x\in f^{-1}\left(B_{0}\right),x\notin f^{-1}\left(B_{1}\right)[/texx]

Espero que compartan que son unas lindas demostraciones (aunque reconozco que los ejercicios son bastante sencillos).
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #36 : 17/01/2010, 01:28:55 am »

(quiero ser más formal) 
 
a) Supongamos que [texx]x\in B_{0}\Rightarrow x\in B_{1}[/texx]. Dado que [texx]f^{-1}[/texx] es suryectiva [texx]f^{-1}\left(x\right)[/texx] existe y es elemento del codominio, dado que [texx]f^{-1}[/texx] es inyectiva [texx]f^{-1}\left(x\right)[/texx] es único. Por lo que [texx]f^{-1}\left(B_{0}\right)\subset f^{-1}\left(B_{1}\right)[/texx].

Es esto suficiente?? Debo confesar que no quedé muy contento. Aunque la siguiente es peor.


Yo lo que veo es que suplantas cosas por su definición.
No es que eso esté mal... hay algunas cuestiones que son del gusto de cada uno.
Por ejemplo eso de que "Supongamos que [texx]x\in B_{0}\Rightarrow x\in B_{1}[/texx]".
Es claramente equivalente a [texx]B_0\subset B_1[/texx].

¿Cuál conviene usar?

En la teoría ultraarchirobótica-inhumana-exacta-dificil de los lenguajes de primer orden, quizá no se usaría una notación como [texx]B_0\subset B_1[/texx], sino algo más preciso como [texx]x\in B_{0}\Rightarrow x\in B_{1}[/texx].

Pero en el trabajo matemático cotidiano, uno define símbolos y abreviaturas, y también terminología, para hacer el trabajo más entendible.

Las abrevituras, definiciones, terminología, son traducibles en última instancia a simbilos frios de la lógica formal pura e intrincada... pero por ahora no conviene hacer eso, porque nadie va a entendernos.

Así que hagamos las cosas como se suelen hacer en el trabajo matemático cotidiano.
Uno "sabe" que puede ser más exacto, pero se "permite" el uso de definiciones y otras cosillas.

Ahora bien. Cuando uno define el simbolo de inclusión, "es para usarlo".
Así que, estéticamente, es más lindo empezar diciendo "supongamos [texx]B_0\subset B_1[/texx]...".

No sólo es más estético, sino que es más rápido y fácil de leer y entender.

Y la razón más importante para comenzar así es que... el ejercicio está enunciado así!!!

Uno debe partir desde el enunciado del ejercicio, y llegar a la conclusión que se pide.

Lo que sigue no le veo sentido.

Me parece que estás mezclando el ejercicio 1 con el ejercicio 2.
En el ejercicio 2 no se supone nada de que f sea suryectiva o inyectiva.

Se trata simplemente de propiedades de los conjuntos de preimágenes.
No requieren hipótesis alguna, salvo que f es una función...
En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #37 : 17/01/2010, 01:42:25 am »

b)
Supongamos [texx]x\in f^{-1}\left(B_{0}\cup B_{1}\right)\Rightarrow f^{-1}\left(x\right)\in\left(B_{0}\cup B_{1}\right)\Rightarrow f^{-1}\left(x\right)\in\left(B_{0}\right)\: o\: f^{-1}\left(x\right)\in\left(B_{1}\right)\Rightarrow x\in f^{-1}\left(B_{0}\right)\: o\: x\in f^{-1}\left(B_{1}\right)[/texx]

Está mal demostrado.

Estás suponiendo que x es un elemento de la preimagen de f, lo cual es correcto.
Pero eso implica que x es un elemento de A.
Inmediantamente en la implicación estás poniendo que la preimagen de x es un elemento de los "B"s.
No hay ninguna justificación para eso.

En primer lugar, ¿tiene sentido [texx]f^{-1}(x)[/texx]? Ahí estás presuponiendo que x está en la "imagen" de [texx]f[/texx], si no, no podrías tomarle la preimagen [texx]f^{-1}[/texx]...
En segundo lugar, toda preimagen de [texx]f[/texx] cae en A, no en los "B"s esos.

Primero tenés que tener bien claro lo que estás tratando de demostrar.
Armar bien la idea.
La exactitud formal es el último paso de todo el proceso.

La gracia no está solo en "meter implicaciones" sino embarrarse realmente en las ideas de las demostraciones.

Las pruebas no son difíciles, pero no son tan fáciles tampoco.
Tienen una vuelta de tuerca, que vas a tener que dar.

Lo que se hace es reemplazar una premisa por su definición, y después hacer inferencias lógicas concretas a partir de ahí.
Así que te vas a tener que topar con la [texx]f[/texx] en alguna parte, aunque el enunciado sólo hable de [texx]f^{-1}[/texx]. Esa es la vuelta de tuerca necesaria.



No es importante que quede "hermoso", ni que quede "formal".

Lo más importante de todo es que lo que estás diciendo "sea verdad"!!!

Cada paso que escribas tiene que ser VERDADERO.
Cada expresión que escribas tiene que TENER SENTIDO (o sea, todos los objetos utilizados tienen que estar bien definidos, los términos puestos tienen que haberse ganado el derecho a estar donde los pongas).

Y después sí, vas a poder rellenar los huecos que faltan, formalizando mejor.



En línea

morito14
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 36


Ver Perfil
« Respuesta #38 : 17/01/2010, 02:08:59 am »

Tienes razón, hice un completo desmadre.

Creo que así va el b

Supongamos
[texx]x\in f^{-1}\left(B_{0}\cup B_{1}\right)\Rightarrow x\in A\: tal\: que\: f\left(x\right)\in\left(B_{0}\cup B_{1}\right)\Rightarrow f\left(x\right)\in\left(B_{0}\right)\: o\: f\left(x\right)\in\left(B_{1}\right),[/texx]
por la definición de preimagen [texx]x\in f^{-1}\left(B_{0}\right)\: o\: x\in f^{-1}\left(B_{1}\right)[/texx]

Cómo la ves ahora?
En línea
morito14
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 36


Ver Perfil
« Respuesta #39 : 17/01/2010, 04:21:59 am »

y ésta sería mi respuesta para el a)
a

Supongamos [texx]f\left(x\right)\in B_{0}[/texx], por la definición de preimagen, [texx]\Rightarrow x\in f^{-1}\left(B_{0}\right)[/texx]. Dado que [texx]B_{0}\subset B_{1}\Rightarrow f\left(x\right)\in B_{1}\Rightarrow x\in f^{-1}\left(B_{1}\right)[/texx]
En línea
Páginas: 1 [2] 3 4 ... 27   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!