Mostrar Mensajes

Esta sección te permite ver todos los posts escritos por este usuario. Ten en cuenta que sólo puedes ver los posts escritos en zonas a las que tienes acceso en este momento.

Mensajes - martiniano

Páginas: [1] 2 3 4 ... 95
1
Álgebra / Re: Problema describir un anillo.
« en: 04 Agosto, 2022, 09:31 am »
Ya veo. Es que me descuadra un poco que por el hecho de añadir un elemento a un anillo cambie el resultado de sus operaciones (de repente ha pasado de ser \[ 2\cdot{2=4} \] a ser \[ 2\cdot{2=1} \]) o que diferentes elementos pasen a ser el mismo (\[ 0=3 \]), etc.

Tenía en mente los ejemplos en los que a \[ \mathbb{Z} \] se le añade un número irracional y claro, ahí sí que las operaciones en el nuevo anillo incluyen las operaciones en \[ \mathbb{Z} \].

Lo que sucede es que \( \Bbb Z/12\Bbb Z \) no es un dominio de integridad y además estás localizando (inviertiendo) en un divisor del cero.
Si haces el mismo proceso de invertir un elemento en un dominio de integridad, siempre tendrás que hay un embedding del anillo original en el nuevo anillo (esto es lo que pasa en el ejemplo de \( \Bbb Z \) que mencionas). Pero cuando trabajas con anillos que no son dominios de integridad pueden pasar cosas raras que hacen que el anillo "colapse", como en este caso.

Este también es el motivo de que todo dominio de integridad admita un cuerpo de fracciones que contiene al anillo original como subanillo, mientras que en anillos con divisores del cero esto no es posible.

Claro, claro... Ahora ya lo veo todo claro. Muchas gracias geómetracat.

Un saludo.

2
Álgebra / Re: Problema describir un anillo.
« en: 03 Agosto, 2022, 07:33 pm »
Hola.

Ya veo. Es que me descuadra un poco que por el hecho de añadir un elemento a un anillo cambie el resultado de sus operaciones (de repente ha pasado de ser \[ 2\cdot{2=4} \] a ser \[ 2\cdot{2=1} \]) o que diferentes elementos pasen a ser el mismo (\[ 0=3 \]), etc.

Tenía en mente los ejemplos en los que a \[ \mathbb{Z} \] se le añade un número irracional y claro, ahí sí que las operaciones en el nuevo anillo incluyen las operaciones en \[ \mathbb{Z} \].

Un saludo. Gracias.

3
Álgebra / Re: Problema describir un anillo.
« en: 03 Agosto, 2022, 12:09 pm »
Pero algo no me cuadra. Me alarma un poco el hecho de que:

\[ \overline{x^2}=\overline{1}\;\Rightarrow{\;}\overline{2x^2}=\overline{2}\;\Rightarrow{\;}\overline{x}=\overline{2} \].

Me habré liado. Pero no veo el fallo.

Un saludo.

4
Álgebra / Re: Problema describir un anillo.
« en: 03 Agosto, 2022, 06:08 am »
Hola.

Describe el anillo que se obtiene a partir de \(  \mathbb Z / \mathbb Z 12  \) añadiendo un inverso de 2.

A lo que se refiere en realidad es que describa los elementos del anillo \(  R=\frac{\color {red} (\mathbb Z / 12\mathbb Z )[x] }{<2x-1>}  \).
Mi problema es que cuando este tipo de cocientes tiene como generador del ideal por el cual se toma cociente un polinomio mónico se la forma que tienen los elementos (pues por un polinomio mónico podemos "dividir" entonces podemos tomar el resto de la división como representante, así todos los elementos son combinaciones lineales de la clase de x elevado como mucho a un grado menos que el polinomio por el que se hace cociente), este no es el caso. Aquí no soy capaz de visualizar la forma de los elementos de \(  R  \) a priori.

Fíjate que en ese anillo cociente tienes \[ \overline{2x}=\overline{1} \], lo que te permite reducir cualquier polinomio de primer grado a un polinomio mónico de primer grado. Además, dado que en \[ \mathbb{Z}_{12} \] es \[ 2^4=4 \] también tienes que:

\[ \overline{x^2}=\overline{2x\cdot{2x\cdot{x^2}}}=\overline{4x^4} =\overline{(2x)^4}=\overline{1} \]

Lo que te permite reducir cualquier polinomio a uno de primer grado.

Con esto, los elementos del cociente son 24: las clases de los doce elementos de \[ \mathbb{Z}_{12} \] y las de los doce polinomios mónicos de primer grado de \[ \mathbb{Z}_{12}[x] \].

Un saludo.

5
Hola.

\( (1/2; 2)  \) es abierto en \( \mathbb{R} \) con la topología usual, ya que es un intervalo abierto (de hecho son los únicos abiertos en este espacio). Luego \( f^{-1} (1/2;2)=(1/2;2) \cup{\{0}\} \) que no es abierto en el espacio topológico del dominio, ya que si fuera abierto deberían ser todos sus puntos interiores, pero vemos que \( \{0\} \) no lo es, ya que no existe ninguna bola abierta centrada en 0 que esta incluida en \( (1/2;2)  \)

Lo veo bastante bien. Lo único que los intérvalos abiertos no son los únicos abiertos en la topología usual de \[ \mathbb{R} \], más bien las uniones de intérvalos abiertos. Por ejemplo \[ (0,1)\cup{(2,3)} \] es abierto.

Te he añadido en la cita las barras \ a las llaves { y } para que se vean cuando escribes en latex \[ \{0\} \].

Un saludo.

6
Hola.

Considere la función \( f: \mathbb{R}\longrightarrow{\mathbb{\mathbb{R}}}/ \) \( f(x)= \)\begin{cases}{x}&\text{si}& x\neq0\\0 & \text{si}& x=0\end{cases}.
Trabajando con la topología usual de \( \mathbb{R} \),encontrar un subconjunto abierto tal que su
preimagen no sea abierta. Justificar

Ahí debes de tener alguna errata. Tal y como está escrito \[ f(x)  \] es la identidad tal cual, que es continua, es decir, la preimagen de todo abierto es abierto.

Un saludo.

7
Computación e Informática / Re: Programación dinámica
« en: 27 Julio, 2022, 10:21 pm »
Hola.

No estoy seguro de haber entendido el problema. ¿Es factible representar un grafo en el que cada vértice represente el estado en el que se halla el avión y los pesos de las aristas representen el costo de cambiar de un estado a otro?

Si es así basta con aplicar a ese grafo el algoritmo de Dijkstra.

Un saludo.

8
Hola.

Sí, bueno, a ver, es que en realidad basta considerar los abiertos básicos (...)

¿Esto como lo justificamos? Perdona pero no lo veo  :-[. (*)

Si \[ \mathbb{R} \] fuese regular existirían abiertos \[ U, V \] con \[ 0\in{U} \], \[ K\subseteq{V} \] y \[ U\cap{V} \] vacía. Pero entonces se tiene que \[ K\subseteq{(\inf(V), \sup(V)) } \]  y también que existe \[ a \] tal que \[ 0<a<\inf(V) \] y que \[ \{0\}\subseteq{(-a, a) - K}\subseteq{U} \]. De manera que también existirían dos abiertos básicos, uno con el cero y el otro con \[ K \] cuya intersección sería también vacía.

(*) Por ejemplo \( \displaystyle \bigcup_{n\in \mathbb{N}} \left\{ \left(\dfrac{\frac{1}{n+1} + \frac{1}{n} }{2} , \dfrac{1}{n} \right) \right\} \) es un abierto que contiene a \( K \) y podemos achicar los intervalos que contienen a cada \( 1/n \) para que no contengan el punto medio y no funcione nuestro metodo.

Disculpa. No te estoy entendiendo. En cualquier caso \[ K \] no está dentro de ese abierto. Dicho abierto no contiene ningún \[ \displaystyle\frac{1}{n} \].

Agrego: Pensándolo un poco mas, dados 2 abierto \( A,B \) tales que \( 0\in A \) y \( K\subset B \) podemos realizar el siguiente procedimiento.
Primero podemos asegurar la existencia de un \( a\in \mathbb{R}^{>0} \) tal que \( (-a,a){\setminus} K \in A \).
Luego podemos encontrar un \( N\in \mathbb{N} \) tal que \( \frac{1}{N}\in (-a,a) \), mas en particular \( \frac{1}{N}\in (0,a) \), pero es claro que \( \frac{1}{N} \in B \) luego podemos encontrar \( c,d\in \mathbb{R}^{>0} \) tales que \( \frac{1}{N} \in (c,d) \subset B \), (esta claro que no puede ser el otro tipo de básico).
Ahora notemos que \( c<\frac{1}{N}<a \) luego \( (-a,a)\cap (c,a)\neq \emptyset \) y por consecuencia \( A\cap B\neq \emptyset \).


No sabría decirte hasta qué punto lo que te pongo en rojo está suficientemente justificado.

Un saludo.

Pd. Se adelantó Luis.

9
Hola.

¿No es siempre el caso que el abierto es \( (c,d) \) menos un subconjunto infinito de \( K \)?

Sí, bueno, a ver, es que en realidad basta considerar los abiertos básicos que son, o bien intérvalos de toda la vida a los que no se les ha quitado ningún elemento de \[ K \] (caso 1) o bien abiertos de la forma que tú dices (caso 2). Otra cosa es que el caso 1 se dé por trivial...

Caso 1. Si el abierto básico que contiene al cero es de la forma \[ (c, d)  \] con \[ d>0 \] y el que contiene a \[ K \] es \[ (a, b)  \] con \[ a\leq{0} \] entonces \[ \displaystyle\frac{a+d}{2} \] está en la intersección de los dos abiertos.

Caso 2. Si el abierto básico que contiene al cero es de la forma \[ (c, d) - K \] con \[ d>0 \] y el que contiene a \[ K \] sigue siendo \[ (a, b)  \] con \[ a\leq{0} \] entonces existe \[ N_1\in{\mathbb{N}} \] tal que para todo \[ N\in{\mathbb{N}} \] mayor o igual que \[ N_1 \] es \[ \displaystyle\frac{1}{N}\in{(c, d) } \] y por tanto \[ \displaystyle\frac{\displaystyle\frac{1}{N_1}+\displaystyle\frac{1}{N_1+1}}{2} \] pertenece a la intersección de los dos abiertos.

¿Cómo lo ves? Un saludo.

Pd.

(...) la topología generada por los intervalos \( \{(a,b) : a,b\in \mathbb{R}\} \) (...)

Cuando hablas del conjunto de los intervalos, ¿no debería cumplirse que además de ser reales, sea \( a<b \)? ¿O \( a\leq b \)? Para que tenga sentido digo yo.

En realidad no es necesario. Sin la restricción que dices sigue teniendo sentido la expresión, sólo que habrá intérvalos vacíos. Pero la topología generada es exactamente la misma.

10
Hola.

Yo empezaría considerando un abierto que contiene al cero y otro que contiene a \[ K \].

Entonces yo diría que todo abierto que contiene a \[ K \] es de la forma \[ (a, b)  \] con \[ a\leq{0} \].

Por otro lado distinguiría dos casos sobre el abierto que contiene al cero. Un caso si el abierto es de la forma \[ (c, d)  \] menos un subconjunto finito de \[ K \]  y, el otro caso si el abierto es de la forma \[ (c, d)  \] menos un subconjunto infinito de \[ K \]. Nota que en ambos casos es \[ d>0 \].

Debes demostrar que, en ambos casos, la intersección del abierto que contiene al cero con el abierto que contiene a \[ K \] es no vacía.

Un saludo.

11
Álgebra Lineal (Espacios Vectoriales) / Re: Diagonalización
« en: 03 Julio, 2022, 02:18 pm »
Hola.

¿Cómo puedo construir una base de \( V \) formada por vectores propios?

Pues ahora mismo no se me ocurre cómo, pero es posible que, igual que en el caso de dimensión finita, no se necesite hallar esa base explícitamente sinó tan sólo probar su existencia con el teorema de las multiplicidades algebraica y geométrica o algo así.

Tengo la sensación de que estamos cerca. Tal vez dentro de poco aparezca alguien a echarnos una manita. :)

Un saludo.

12
Álgebra Lineal (Espacios Vectoriales) / Re: Diagonalización
« en: 03 Julio, 2022, 10:19 am »
Hola.



Lo que me falta mostrar es que los \( y_j \) son vectores propios de \( T \), ahí me trabo.

Es normal que te trabes porque no lo son. Toma \[ T:\mathbb{R^2}\rightarrow{\mathbb{R^2}} \] dada por \[ T(x, y) =(x, x-y)  \]. Toma también \[ W=\left<{(0,1)}\right> \] y \[ V/W=\left<{(1, 1)+W}\right> \].

Tienes que las bases dadas para \[ W \] y para \[ V/W \] son bases de autovectores de \[ T_{|W}  \] y \[ \overline{T} \] respectivamente, pero \[ (1,1) \] no es autovector de \[ T \].

También me falta mostrar que \( \gamma \) es l.i, o sea que cualquier subconjunto finito de \( \gamma \) es l.i.

Eso creo que lo tienes aquí:

Tenemos que todo \[ v_i \] está fuera de \[ W \] ya que, en otro caso, \[ v_i+W=W \] sería el elemento neutro de \[ V/W \] y no podría formar parte de una base. También que los \[ v_1,...,v_m\in{V} \] son linealmente independientes, de otro modo no lo serían los  \[ \{v_1+W,...,v_m+W\} \in{V/W} \] y no serían base. Con esto \[ B=\{u_1,...u_n,v_1,...,v_m\} \] es una base de \[ V \].

Lo de que esa base genera efectivamente \[ V \] es fácil de ver. Usa que todo \[ x\in{V} \] pertenece a algún \[ v+W\in{}V/W \]. Tenemos que \[ v+W \] es combinación lineal de algunos de los vectores de la base de \[ V/W \] por lo que \[ v \] lo será de algunos de los representantes de los elementos de dicha base. También que \[ x-v \] es CL de algunos de los vectores de la base de \[ W \]. Con esto \[ x \] es CL de los vectores de \[ \gamma \].

13
Álgebra Lineal (Espacios Vectoriales) / Re: Diagonalización
« en: 03 Julio, 2022, 05:16 am »
Hola.

He añadido en rojo un detalle en mi mensaje anterior que se me había pasado por alto.



De hecho pregunté y me dicen que no se asume nada sobre la dimensión, que se tendría que mostrar que hay una base formada por vectores propios de \( T \).

¿Podrías entonces preguntar qué significa que un endomorfismo sobre un espacio vectorial de dimensión infinita sea diagonalizable?

La definición habitual de endomorfismo diagonalizable es que un endomorfismo es diagonalizable si lo es su matriz asociada, y esta matriz sólo existe si el espacio sobre el que actúa el endomorfismo es de dimensión finita.

Gracias. Un saludo.

14
Álgebra Lineal (Espacios Vectoriales) / Re: Diagonalización
« en: 03 Julio, 2022, 01:28 am »
Hola.

El detalle es que en el ejercicio como tal no nos dice nada sobre la dimensión de \( V \) y en un libro que he estado leyendo veo que el concepto de valores y vectores propios está generalizado a cualquier dimensión, finita o infinita.

Sí. Las definiciones habituales de valor y vector propio se aplican a espacios vectoriales de dimensión finita o infinita. Pero lo de endomorfismo diagonalizable sobre un espacio de dimensión infinita ya me suena más raro. No digo que no pueda definirse pero no me suena haberlo visto nunca.

Una pregunta, suponiendo que \( V \) es de dimensión finita, ¿demostrando que el rango de la matriz es \( m+n-\alpha(k_i) \) ya se demostraría que la unión de las bases del subespacio y el cociente es base de \( V \)?

No exactamente. Primero, la base que hemos construido no es unión de las otras dos. Es la de \[ W \] junto con un representante de cada una de las clases de la base de \[ V/W \].

Segundo. Ésta base a la que me refiero es una base independientemente de lo que pase con los rangos de \[ M-k_iI \]. Lo que pasa es que \[ m+n-rang(M-k_iI)  \] es precisamente la multiplicidad geométrica de \[ k_i \], y si para todo \[ i \] la multiplicidad geométrica de \[ k_i \] coincide con la algebraica pues la matriz \[ M \] es diagonalizable, que es lo que queremos demostrar.

Estoy suponiendo todo el rato que este criterio para decidir si una matriz es diagonalizable o no lo manejas bien.

Para demostrar lo del rango, ¿se podría mostrar que \( dim(Ker(A-k_iI))=Nul(A-k_iI)=\alpha(k_i) \), para cada \( i \) y despejar de la igualdad
\(
dim(Ker(T))+dim(Im(T))=dim(V)
 \)
que nos da un teorema sobre dimensiones?

No acabo de entenderte. Yo lo que había pensado es que si \[ k_i \] es valor propio de \[ T_{|W}  \] entonces \[ M-k_iI \] tiene exactamente \[ \alpha(k_i)  \] columnas nulas entre las \[ n \] primeras y el resto de elementos de la diagonal principal distintos a cero. Por lo que este caso ya está. Fíjate que aquí es donde usamos de forma decisiva que \[ T_{|W}  \] y \[ \overline{T} \] no tienen valores propios en común. De hecho, si tuvieran valores propios en común este mismo argumento serviría para probar que \[ T \] no sería diagonalizable.

De forma parecida, si \[ k_i \] es valor propio de \[ \overline{T}  \] entonces \[ M-k_iI \] tiene exactamente \[ \alpha(k_i)  \] filas nulas entre las \[ m \] últimas y el resto de elementos de la diagonal principal distintos a cero.

Un saludo.

15
Hola.

Para demostrar que el sistema tiene solución, ¿el camino sería obtener el Jacobiano y usar el teorema de la función inversa?

La verdad es que no acabo de ver cómo aplicar aquí el teorema de la función implícita para demostrar esto. Yo había pensado en algo parecido a lo que hace Richard. Tan sólo apuntar que se puede demostrar que existen soluciones de una ecuación sin necesidad de hallar explícita o numéricamente dichas soluciones.

Un saludo.

16
Álgebra Lineal (Espacios Vectoriales) / Re: Diagonalización
« en: 02 Julio, 2022, 07:39 pm »
Hola.

Entiendo que la dimensión de \[ V \] es finita. Sea \[ dim W=n \] y \[ dim V=m+n \].

Echando mano de la teoría correspondiente, como \[ T_{|W} \] es diagonalizable existe \[ \{u_1,\ldots, u_n\} \in{W} \], una base de \[ W \] formada por autovectores de \[ T_{|W} \] y \[ \lambda_1,\ldots \lambda_n\in{\mathbb{F}} \] autovalores respectivos asociados, no necesariamente distintos, tales que para todo \[ i \] es \[ T(u_i) =T_{|W} (u_i) =\lambda_iu_i \].

Por otro lado, como \[ \overline{T} \] es diagonalizable existe \[ \{v_1+W,...,v_m+W\} \in{V/W} \] una base de \[ V/W \] formada por autovectores de \[ \overline{T} \] y \[ \mu_1,...,\mu_m\in{\mathbb{F}} \] autovalores respectivos asociados, no necesariamente distintos entre ellos.

Tenemos que todo \[ v_i \] está fuera de \[ W \] ya que, en otro caso, \[ v_i+W=W \] sería el elemento neutro de \[ V/W \] y no podría formar parte de una base. También que los \[ v_1,...,v_m\in{V} \] son linealmente independientes, de otro modo no lo serían los  \[ \{v_1+W,...,v_m+W\} \in{V/W} \] y no serían base. Con esto \[ B=\{u_1,...u_n,v_1,...,v_m\} \] es una base de \[ V \].

Seguimos. El hecho de que \[ \overline{T}(v_i+W) =\mu_i(v_i+W) =\mu_iv_i+W \] implica que en particular \[ T(v_i) - \mu_iv_i\in{W} \] por lo que existen \[ a_{1,i},...,a_{n,i} \] tales que \[ T(v_i) =\mu_iv_i+a_{1, i} u_i+... +a_{n, i} u_n \].

Con todo lo dicho hasta ahora, la matriz asociada a \[ T \] en la base \[ B \] es, por bloques:

\[ M=\begin{pmatrix}{D_{\lambda} }&{A}\\{0}&{D_{\mu}}\end{pmatrix} \]

Donde \[ D_{\lambda}  \] es una matriz diagonal con las lambdas, \[ D_{\mu}  \] es otra matriz diagonal con las mus y \[ A=\{a_{i, j} \}  \]

Como \[ M \] es triangular, los autovalores \[ k_1,...,k_{m+n} \] de \[ T \] son las lambdas y las mus. Ahora ya sólo se trata de ver que para todo \[ k_i \] es \[ rang(M-k_i I) =m+n-\alpha(k _i)  \] donde \[ \alpha(k_i)  \] es la multiplicidad algebraica de \[ k_i \].

¿Rematas tú?

Un saludo.

17
Hola.

¿Qué tal llevas la parte de encontrar la recta tangente a una función en un punto?

Si no me he equivocado en las cuentas recta tangente a \[ y=e^x \] en \[ x_1 \] es \[ y=e^{x_1}(1-x_1)+xe^{x_1} \]

Por otro lado, la recta tangente a \[ y=\ln x \] en \[ x_2>0 \] es \[ y=\ln x_2-1+x\cdot{\displaystyle\frac{1}{x_2}} \]

Para que ambas rectas coincidan deben coincidir sus pendientes y sus ordenadas en el origen. Es decir, se deben cumplir las dos siguientes ecuaciones:

\[ e^{x_1} (1-x_1)=\ln x_2-1 \]
\[ e^{x_1}=\displaystyle\frac{1}{x_2} \]

Se trata de demostrar que el anterior sistema tiene solución.

Un saludo.

18
Cálculo de Varias Variables / Re: Máximos y mínimos
« en: 02 Julio, 2022, 10:09 am »
Hola.

Es sencillo comprobar que las siguientes son unas ecuaciones paramétricas de la elipse.

\[ x=a\cos t \]
\[ y=b\sin t \]

Sus derivadas:

\[ x'=-a\sin t \]
\[ y'=b\cos t \].

Por lo que las ecuaciones paramétricas de una recta tangente a la elipse en el punto definido por el parlamento \[ t \] serán:

\[ x_r=a\cos t-s(a\sin t)  \]
\[ y_r=b\sin t +s(b\cos t)  \]

Multiplicando la primera por \[ b\cos t \], la segunda por \[  a\sin t \] y sumando:

\[ b x_r\cos t+ay_r\sin t=ab \]

Haciendo \[ x_r=0 \] te saldrá la altura del triángulo en \[ y_r=\displaystyle\frac{b}{\sin t} \] y haciendo \[ y_r=0 \] te saldrá la base \[ x_r=\displaystyle\frac{a}{\cos t} \].

Por lo que el área a minimizar sería la expresión:

\[ A(t) =\displaystyle\frac{ab}{|2\sin t\cos t|} =\displaystyle\frac{ab}{|sin 2t|} \]

Que alcanzará un mínimo cuando el denominador sea máximo, es decir cuando \[ \sin 2t=\pm{1} \].

¿Puedes concluir?

Un saludo.

19
Probabilidad / Re: Diagrama de arbol
« en: 01 Julio, 2022, 10:06 pm »
Hola.

Todo apunta a que se trata de una errata. Como bien dices, el espacio muestral debe contener el par \[ (1,Cruz) \] y el \[ (3,Cara) \].

Saludos.

20
Matemática de Escuelas / Re: Cama elástica
« en: 29 Junio, 2022, 12:15 am »
Hola.

Llamando \[ r \] al radio de la circunferencia tenemos:

\[ CD=2r \]

\[ AB=\displaystyle\frac{CD}{\sin 53}=\displaystyle\frac{2r}{\sin 53} \]

\[ BC=AD-AB\cos 53=AD-\displaystyle\frac{2r}{\tan 53}
 \]

Por otro lado, una condición necesaria y suficiente para que un cuadrilátero admita circunferencia inscrita es que las dos parejas de lados opuestos sumen lo mismo. En el trapecio del enunciado:

\[ AB+CD=AD+BC \]

Substituyendo aquí las ecpresiones de más arriba podrás relacionar \[ AD \] con el radio de la circunferencia y, por lo tanto, también con su área.

Un saludo.

Páginas: [1] 2 3 4 ... 95