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 ... 94
1
Hola.

Por favor, intenta utilizar Latex para escribir las fórmulas. Te las he editado para que puedas ver cómo podrías haberlas escrito. Cualquier duda al respecto coméntalo sin problemas.

¿Puede un número trascendente T ser solución de una ecuación tipo \[ T=x^2+y^2 \]?

Depende de quiénes sean \[ x \] e \[ y \], pero sin más restricciones, en \[ \mathbb{R} \], está claro que sí.

¿La raíz cuadrada de un número trascendente T multiplicada por un número entero n es un número trascendente? \[ n\sqrt[ ]{T}=T \]

Según el convenio universal la última fórmula no refleja lo que estás preguntando. Pero sí.

MAL. Si \[ n\sqrt[ ]{T} \] fuera algebraico, y por tanto raíz de un polinomio \[ p(x) \] con coeficientes racionales, entonces \[ T \] sería raíz de  \[ p((\displaystyle\frac{x}{n})^2) \], por lo que \[ T \]sería también algebraico.

Un saludo.

2
Hola.

Por favor, intenta utilizar Latex para escribir las fórmulas. Te las he editado para que puedas ver cómo podrías haberlas escrito. Cualquier duda al respecto coméntalo sin problemas.

En cuanto al ejercicio, no estoy seguro de si lo que quieres decir es que el grupo cociente es isomorfo a \[ \mathbb{Z_4} \] o si tienes dudas, en general, sobre lo del grupo cociente. Dado un grupo \[ G \] y un subgrupo normal \[ S \] el grupo cociente \[ G/S \] es el conjunto cociente de la relación de equivalencia en \[ G \] dada por \[ aRb\;\Leftrightarrow{\;}a-b\in{S} \]. Nota que si \[ S \] no es normal la relación no es de equivalencia.

En nuestro caso, el grupo cociente sería \[ \{\{0,4,8\};\{1,5,9\};\{2,6,10\};\{3,7,11\}\}=\{S,S+1,S+2,S+3\} \], que efectivamente es isomorfo a \[ \mathbb{Z}_4 \].

Un saludo.

3
Hola.

Entiendo que \[ A_8 \] es el grupo de permutaciones pares sobre un conjunto de 8 elementos.

Considera las dos permutaciones siguientes, ambas de \[ A_8 \]:

\[ \sigma_1 \] la permutación que traspone el primer elemento con el segundo y el tercero con el cuarto.

\[ \sigma_2 \] la permutación que traspone el quinto elemento con el sexto y el séptimo con el octavo.

El grupo generado por estas dos permutaciones es isomorfo a \[ \mathbb{Z}_2^2 \].

Un saludo.

4
De oposición y olimpíadas / Re: Oposición Galicia 2022 B1
« en: 22 Junio, 2022, 03:28 pm »
Hola.

Si no voy mal se trata de decir que si \[ \phi: A\rightarrow{B} \] es un homorfismo de anillos entonces para todo \[ u\in{A} \] y todo \[ x\in{Nuc(\phi) } \] es \[ \phi(u\cdot{}x) =\phi(u)\cdot{} \phi(x) =\phi(u)\cdot{} 0 =0 \], por lo que \[ ux\in{Nuc(\phi) } \].

Un saludo.

5
Estructuras algebraicas / Re: Estudio elemento primitivo
« en: 09 Junio, 2022, 06:21 am »
Hola.

Fíjate en que:

\[ u=\sqrt[ ]{3}+i \]
\[ i^2=(u-\sqrt[ ]{3})^2 \]
\[ -1=u^2-2u\sqrt[ ]{3}+3 \]
\[ \sqrt[ ]{3}=\displaystyle\frac{u^2+4}{2u}\in{\mathbb{Q}(u) } \]

De forma parecida se demuestra que \[ i\in{}\mathbb{Q}(u)   \], por lo que \[  \mathbb{Q}(\sqrt[ ]{3},i)\subseteq{\mathbb{Q}(u)}   \].

La inclusión en sentido contrario es trivial, luego la respuesta a la pregunta es afirmativa.

Un saludo.

6
Hola.

Gracias por las aclaraciones chicos. Todo controlado.  ;)

Un saludo.

7
Hola.

Cuando se plantea el sistema

\[ x_1+\alpha x_2=k \]
\[ x_1^3+x_2^3=3 x_1x_2 \]

y este tiene solución para cada valor \( k \in \mathbb{R} \), lo que se entiende es que la función toma valores tan grandes como se quiera.

Sí. Y también tan pequeños como se quiera.

En este caso para \( \alpha\neq 1 \) se tiene que el sistema tiene solución, esto quiere decir que del valor  que tengo que preocuparme  es \( \alpha=1 \) que se debe aplicar multiplicadores de Lagrange.

Para \[ \alpha\neq 1 \] no hay mínimos ni máximos globales. Para \[ \alpha=1 \] hay un máximo global pero no mínimos locales ni globales. Esto lo he visto con la gráfica. Y lo que me parece es que hallar ese máximo local y probar que no hay mínimos locales podría hacerse mediante el método de los multiplicadores.

No entendí para que verificar el caso \( \alpha=0 \) y por que en el caso \( \alpha\neq1 \) aparecen mínimos locales.

El caso \[ \alpha=0 \] es distinto en el primer problema que planteaste que en el segundo. Eso lo tienes claro, ¿no?

En el problema original la restricción se convierte en una recta y la función será lineal, por lo que no habrá extremos locales.

En el segundo problema dije que habría mínimos locales para \[ \alpha=0 \], pero se me pasó algo por alto. Aquí la familia de rectas \[ f(x_1,x_2)=f \] es de rectas verticales. Y la restricción tiene un punto doble en el punto de tangencia con una recta vertical, de manera que no hay ningún entorno del punto de tangencia en el que todos los puntos de la restricción queden a la derecha de la recta tangente. Por lo que tampoco habrá mínimo local.

Si tuviera que dar un argumento netamente geométrico dibujando los planos que resultan en algunos casos  para \( \alpha\neq1 \), como podría diseñar la imagen del conjunto \( D \) no tiene mínimo globlal, pero tiene mínimos locales y para \( \alpha=1 \) si tiene mínimo global. Na sé si esto sea posible.

Me pierdo. No entiendo a qué te refieres.

Tenía una errata en mi segundo mensaje. No sé si eso te habrá confundido (creo que no).

Un saludo.

8
Hola.

El problema de fondo es el mal uso (y abuso) de las llamadas "integrales indefinidas", las cuales muchas veces se utilizan sin revisar el supuesto dominio de la función a integrar, dando lugar a todo tipo de sinsentidos. No sé donde lo vi, fue ya hace años, en un libro una sección dedicada a todas las burradas que se pueden escribir utilizando "integrales indefinidas", desde algo como lo del logaritmo a cosas mucho peores donde las funciones que se obtienen al final no son ni siquiera primitivas del integrando original (ya que se han pasado por alto singularidades del integrando y cosas así).
Totalmente de acuerdo, hay que tener mucho ojo con las integrales indefinidas.

¿Os referís al uso no meditado de la típica tabla de integrales inmediatas, o al problema de buscar la primitiva de una función, en general?

Un saludo. Gracias.

9
Hola.

(a)¿Porque planteo esos sistemas de equaciones al inicio?

Pues porque es precisamente una forma de probar que no existen extremos absolutos para la mayoría de los valores de \[ \alpha \].

(b)¿Por qué considero \( \alpha\neq 1 \)?

Porque si \[ \alpha=1 \] la ecuación que se obtiene es de segundo grado y no tiene por qué tener solución real. En cambio si \[ \alpha\neq 1 \] la ecuación es de tercer grado y siempre tendrá, al menos, una solución real.

y  ¿por qué si encuentro una raíz de real del sistema para \( \alpha\neq 1 \) esto dice que la función no tienen ni máximo ni mínimo?

Lo que prueba que no existen extremos absolutos es que para todo \[ k\in{\mathbb{R}} \] el sistema tiene solución.

Fíjate en que si hubiera mínimo absoluto entonces la función debería estar, necesariamente, acotada inferormente. Por lo que el sistema no tendría solución para valores de \[ k \] inferiores a la cota.

Logro entender que si encuentra puntos de tangencia entre las recta y la curva se encuentra un máximo y un mínimo local, pero no entiendo porque ese observación geometrica me da esa información.

Pues disculpa, pero es que no me queda claro lo que entiendes y lo que no.

Fíjate en que en los puntos de tangencia la curva mantiene la curvatura. Entonces todos los puntos de la curva contenidos en un cierto entorno del punto de tangencia quedan al mismo lado de la recta. Y en que la recta separa el plano en dos regiones según si sus puntos tienen imagen menor o mayor que \[ f \]. De ahí que los puntos de tangencia representen extremos relativos.

Pero esto es sólo una idea. Falta completar muchos detalles.

Por último, si tengo lo siguiente  \( f(x)= x_{1}+\alpha x_{2} \),  restricta a \( D=\{x\in \mathbb{R}^{2}: x_{1}^{3}+x_{2}^{3}=3 x_{1}x_{2}\} \),  tienen un mínino global y para cuales mínimo local? Esta pregunta  tiene solución. (La verdad es que erre en la publicacíon y el sistema original era este. Pido disculpas apenas me percaté hoy que regrese al foro). Pero aun así el ejercicio me puede ayudar a entender algunos procedimientos dentro de esta area.

Bueno no te preocupes. Apenas cambia lo dicho, salvo que aquí para \[ \alpha=0 \] la restricción no se convierte en lineal y por tanto seguirá habiendo extremos relativos (en realidad mínimos relativos no los habrá. Lo digo más abajo)

Un saludo.

10
Matemáticas Generales / Re: Conversión de unidades
« en: 06 Junio, 2022, 01:34 pm »
Hola.

Estoy mirando un reporte con datos de contaminación (lo adjunto y también se puede descargar de https://sustainability.fb.com/report/2020-sustainability-report/) y, por ejemplo, hay una tabla que se llama  "Greenhouse Gas Emissions by Scope (metric tons CO2e)" con esta cifra:

4,067,000 metric tons of CO2e

donde para los americanos, las comas son nuestros puntos (no significan decimales)

quería corroborar si esa cifra sería lo mismo que:

4,067 billones de gramos de CO2e (esta coma tampoco son decimales)


Sería el billón inglés. Ten en cuenta que allí donde los ingleses dicen un billón nosotros diríamos mil millones.

Un saludo.

11
Hola.


En este geogebra represento la restricción según \[ \alpha \] y la recta \( x+\alpha y =f \) según los parámetros \[ \alpha \] y \[ f \].

Pueden verse varias cosas:

1) Que la restricción tiene una asíntota oblicua paralela a \[ x_1+x_2=0 \]. Esto habría que demostrarlo pero no doy con los pasos.

2) Que para \( \alpha =0 \) la restricción es una recta y que no habrá máximos ni mínimos locales. Esto es sencillo de probar, ya que, la restricción quedaría:

\[ x_1^3+x_2^3=0\;\Leftrightarrow{\;}(x_1+x_2)(x_1^2-x_1x_2+x_2^2)=0\;\Leftrightarrow{\;}x_1+x_2=0 \]

Y la función a minimizar (o maximizar) \[ f(x_1,x_2)=x_1 \]. Es trivial que no hay máximos ni mínimos locales ni absolutos.

3) Si \[ \alpha\neq 1 \] y \[ \alpha\neq 0 \] no hay máximos ni mínimos mínimos locales globales. Esto ya lo he probado en mi mensaje anterior. Sin embargo, puede verse que hay dos valores de \[ f \] para los que la recta \( x+\alpha y =f \) es tangente a la restricción. Los dos puntos  de tangencia corresponden a un máximo y un mínimo local. No he podido darle muchas vueltas pero no he encontrado una manera de probar formalmente su existencia.

4) Si \[ \alpha =1 \] la recta siempre es paralela a la asíntota, por lo que no hay mínimo local. Sí que habría un máximo local que se podría hallar fácilmente por el método de los multiplicadores de Lagrange y que además está en \[ x_1=x_2 \].

Esto es lo que hay de momento.

Un saludo.

12
Hola.

Observa el siguiente sistema de ecuaciones en \[ x_1,x_2 \]:

\[ x_1+\alpha x_2=k \]
\[ x_1^3+x_2^3=\alpha x_1x_2 \]

Despejando una de las incógnitas en la primera ecuación y substituyendo en la segunda se llega a que:

\[ k^3-3\alpha k^2 x_2 +3\alpha^2k x_2^2-\alpha^3x_2^3+x_2^3=\alpha(k-\alpha x_2)x_2 \]

Fíjate en que si \[ \alpha\neq 1 \] se tiene una ecuación que, al ser de tercer grado, siempre tendrá al menos una solución real.

Entonces, si \[ \alpha \neq 1 \] se tiene que para todo \[ k\in{\mathbb{R}} \] existe \[ (x_1,x_2)\in{\mathbb{R}}^2 \] tal que:

\[ x_1+\alpha x_2=k \]
\[ x_1^3+x_2^3=\alpha x_1x_2 \]

Por lo que la función no tiene máximo ni mínimo.

Por otro lado, si \[ \alpha=1 \] diría que el problema se puede resolver por multiplicadores de Lagrange. ¿Conoces el método?

Un saludo.

Pd. Huy. Se ve que no había leído bien el enunciado. Pensaba que ponía estudiar cuándo tiene mínimo y cuándo tiene máximo global. Lo que he hecho prueba que si \[ \alpha \neq 1 \] no hay mínimo global, pero sí los habrá locales, al no ser que \[ \alpha=0 \]. Para \[ \alpha=1 \] habrá máximo absoluto pero no mínimos locales ni absolutos.

Luego intento detallar más todo esto.

Un saludo.

13
Temas de Física / Re: Pulsos de onda
« en: 04 Junio, 2022, 07:06 am »
Hola.

Yo estoy con Richard en que, bajo los supuestos que suelen asumirse en las deducciones de las velocidades de propagación, la velocidad de la onda será la misma si se desplaza hacia arriba o hacia abajo.

Por otro lado esto cuadra bastante bien con una sencilla experiencia, y es que si la velocidad no fuese la misma sería imposible generar ondas estacionarias en cuerdas que se hayasen en posición vertical. Por lo que sería imposible hacer sonar un contrabajo, por ejemplo.

Un saludo.

14
Temas de Física / Re: Espira circular
« en: 03 Junio, 2022, 01:09 pm »
Hola.

Si tenemos una espira circular conductora (con resistencia R) dentro de un campo magnético uniforme perpendicular a su plano.
¿Se induce corriente en la espira si esta gira alrededor de su eje?
(¿SI?)
¿Y si gira alrededor de uno de sus diámetros? (¿NO?)
¿Se induce corriente en la espira si el radio de la espira va aumentando con el tiempo? (¿NO?)
¿Se induce corriente en la espira si el campo magnetico disminuye con el tiempo? (¿NO?)

Tienes todas las respuestas al revés. Una corriente inducida en un conductor cerrado tiene lugar cuando existe una variación en el flujo que lo atraviesa. El primer caso es el único en el que no existe tal variación.

Un saludo.

15
Temas de Física / Re: Pulsos de onda
« en: 03 Junio, 2022, 12:31 pm »
Hola.

No hay ninguna ecuación de onda en donde la velocidad aumente o disminuya por la acción de la gravedad.

Creo que hay excepciones.

https://foro.rinconmatematico.com/index.php?topic=119758.msg482624#msg482624


Saludos. ;)

16
Docencia / Re: ¿Cómo descubrir el teorema de Pitágoras?
« en: 02 Junio, 2022, 10:18 am »
Hola.

A mí me gusta ponerles un enunciado en el que se den los catetos de un triángulo rectángulo y se les pida calcular las proyecciones de los mismos sobre la hipotenusa haciendo uso de triángulos semejantes. Luego se les pide la hipotenusa, que sería la suma de ambas proyecciones, y así tienen un caso particular que les facilita generalizar el método para demostrar el teorema de Pitágoras.

También tienes los típicos recortables en los que según cómo se coloquen las piezas queda representado o bien el cuadrado de la hipotenusa o bien la suma de los cuadrados de los catetos sobre áreas equivalentes.

Un saludo.


17
Hola.

En realidad para aplicar el algoritmo de Euclides sólo necesitas que el anillo en el que estés sea un dominio euclídeo, y es cierto que \[ \mathbb{Z}[t]  \] no parece que lo sea. De hecho tampoco parece de ideales principales. No se puede generar con un sólo elemento el ideal \[ <2x,1> \].
Ese ideal no funciona porque es todo el anillo (por contener al \( 1 \)) y por tanto igual al generado por \( 1 \). Uno que sí funciona es \( I=(2,T) \).

Cierto, geómetracat. Me falló la puntería. Gracias  ;).

Un saludo.

18
Hola.

Al aplicar Euclides, salen coeficientes racionales. Aunque el polinomio está en Q[T], ¿siguen siendo válidos los resultados en este caso?

Sí. Precisamente \[ \mathbb{Q} \] es el conjunto de números racionales.

¿Qué pasaría si los polinomios estuviesen definidos en Z[T]? Es obvio que, puesto que Z no es cuerpo, no se pueden esperar que se cumplan las mismas propiedades. Entonces, en el caso Z[T], seguiría cumpliéndose que <f,g>=<h>?

En realidad para aplicar el algoritmo de Euclides sólo necesitas que el anillo en el que estés sea un dominio euclídeo, y es cierto que \[ \mathbb{Z}[t]  \] no parece que lo sea. De hecho tampoco parece de ideales principales. No se puede generar con un sólo elemento el ideal <2x,1> \[ \color{red}\left<{t, 2}\right> \].

Un saludo.

Pd.
Además, al aplicar Euclides me sale que el mcd(f,g)=5T-5, en vez de T-1. ¿Por qué no sale el mismo polinomio?
.

Luego lo pienso si es que nadie te contesta antes.

19
Hola.

Tengo un problema que no sé cómo enfocar. El problema en sí dice lo siguiente.

Sean \[ f=T^4+2T^3+T^2+8T-12 \] y \[ g=T^3-T^2-4T+4  \] dos polinomios de \[ \mathbb{Q}[T]  \]. Demostrar que el ideal \[ I=\left<{f, g}\right> \] es principal encontrando otro polinomio h de  \[ \mathbb{Q}[T]  \] tal que \[ I=\left<{h}\right> \].

Si se descomponen los dos polinomios en factores irreducibles, queda:

\[ f=(T+3)(T-1)(T^2+4) \]
\[ g=(T-1)(T-2)(T+2) \]

Pero, a partir de aquí, no veo el modo de continuar. Podría ser que el h pedido fuese \[ h=(T+3)(T-1)(T^2+4)(T-2)(T+2)=T^5+3T^4+4T^3-24T^2-32T+48 \].

No. Debes hallar \[ h=mcd(f, g) =T-1 \].

De esta manera, la inclusión \[ \left<{f, g}\right>\subseteq{}\left<{h}\right> \] es inmediata. Y para demostrar la inclusión al revés utiliza el algoritmo de Euclides para hallar \[ p, q \in{\mathbb{Q}}[T]  \] tales que \[ pf+qg=h \]. De hecho, esto es lo que sirve para entender que todo dominio euclídeo es de ideales principales.

Un saludo.

20
Triángulos / Re: Suma mínima de ángulos
« en: 28 Mayo, 2022, 06:08 pm »
Hola.

Por complementar un poco lo que se ha dicho propongo lo siguiente:

Considerar el siguiente dibujo.


En él están los elementos del enunciado (con otra nomenclatura). Considerar las circunferencias circunscritas q los triángulos \[ ABF \] y \[ DEF \] y las respectivas intersecciones con las verticales por \[ A \] y por \[ E \]. Llamémoslas \[ I \] y \[ J \].

Se tiene que \[ \widehat{JAF}=\widehat{BEF} \] por lados perpendiculares, y que \[ \widehat{AJF}=\widehat{EBF} \] por admitir \[ ABFJ \] circunferencia circunscrita. Por ello los triángulos \[ AFJ \] y \[ EFB \] son semejantes. Lo mismo con los triángulos \[ EFI \] y \[ AFD \]. Es por ello por lo que:

\[ \displaystyle\frac{AJ}{AF}\cdot{}\displaystyle\frac{EI}{EF}=\displaystyle\frac{BE}{EF}\cdot{\displaystyle\frac{AD}{AF}} \]

De aquí que:

\[ AJ\cdot{EI=BE\cdot{AD}} \]

Y que:

\[ \tan\alpha+\tan\theta=\tan(\alpha+\theta) \cdot{(1-\tan\alpha\tan\theta)} =\tan(\alpha+\theta) \cdot{(1-\displaystyle\frac{AB\cdot{DE}}{AJ\cdot{EI}})}    =\tan(\alpha+\theta) \cdot{(1-\displaystyle\frac{AB\cdot{DE}}{BE\cdot{AD} })} \], etc.

Un saludo.

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