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.

Temas - AleBD

Páginas: [1]
1
Probabilidad / Independencia y densidad marginal a trozos
« en: 07 Noviembre, 2016, 06:15 pm »
Buenas tardes,

para ver que dos variables aleatorias X e Y son independientes, hay que ver si \( f_{XY}(x,y)=f_X(x) \cdot f_Y(y) \). Pero, ¿qué ocurre si una de las densidades marginales está definida a trozos y sólo se cumple la igualdad para dos \( x \) concretas?

Gracias de antemano ;)

2
Estructuras algebraicas / No toda acción efectiva es libre.
« en: 18 Enero, 2016, 11:14 am »
Buenos días,

¿me podríais poner un ejemplo de una acción efectiva que no sea libre, por favor?

Gracias!

3
Matemática Discreta y Algoritmos / Calcular en F_p
« en: 10 Enero, 2016, 07:19 pm »
Buenas tardes,

he publicado un mensaje en el foro de criptología pero me he dado cuenta de que mi error está en los cálculos en \( \mathbb{F}_p \). Dejo el enlace por si pudierais decirme qué hago mal.

http://rinconmatematico.com/foros/index.php?topic=86167.msg345467#msg345467

Muchas gracias! :)

4
Criptografía / ElGamal con curva elíptica
« en: 10 Enero, 2016, 06:49 pm »
Buenas tardes,

necesito un ejemplo de cifrado elíptico ElGamal. He estado probando con algunos valores pero se ve que o tengo el algoritmo mal o no uso los valores adecuados, porque no obtengo el resultado correcto.

Como numero primo tomo \( p=13 \), como curva elíptica \( E: y^2= x^3 +11x+7 \) y como punto un \( P=(6,\sqrt{3}) \in E(\mathbb{F}_{13}) \).

El mensaje es \( M=(0.5,12.625) \in E(\mathbb{F}_{13}) \).

Alice, la receptora, elige el valor \( n_A=5 \), calcula \( Q_A=n_A \cdot P= (2.5,11.125) \) y envía \( Q_A \).
Bob elige el entero \( k=2 \) al azar y calcula \( C_1 \) y \( C_2 \):
\( C_1=k \cdot P=(12,2 \sqrt{3}) \)
\( C_2=M+k \cdot Q_A = (5.5,8.875) \)

Bob envía \( (C_1,C_2) \) a Alice.

Alice calcula M: \( M=C_2-n_A \cdot C_1= (-2.5,-8.4455) \) y aquí debería obtener \( M=(0.5,12.625) \).... ¿Sabriais decirme dónde está el error?

Gracias :)

5
Matemática Discreta y Algoritmos / Módulos y cifrados
« en: 09 Enero, 2016, 07:26 pm »
Hola,

estoy haciendo un trabajo sobre criptografía y los módulos me están complicando la existencia...

Tenemos un primo \( p=17 \), un valor \( k=15 \) y un mensaje \( m=07211108097 \). Usamos para encriptar la funcion \( e_k (m) \equiv k \cdot m ~(mod~p) \) y para desencriptar \( d_k (c) \equiv k' \cdot c~(mod~p) \), donde k' es la inversa de k módulo p.

Lo que hago yo (seguramente hay algo mal) es: calcular \( k \cdot m ~(mod~p)=15 \cdot 07211108097 ~(mod~17)=9=c \). Para desencriptar, calculo k' (inverso de 15 módulo 17) que me sale \( k'=8 \). Luego, \( k' \cdot c ~(mod~p)=8 \cdot 9 ~(mod~17)= 4=m \) pero debería dar m=7211108097.

¿Me podría alguien decir qué estoy haciendo mal, por favor?

Gracias :)

6
Matemática Discreta y Algoritmos / Inverso y módulos
« en: 08 Enero, 2016, 01:06 pm »
Buenos días,

¿me podría ayudar alguien a entender cómo se haría el inverso de \( y^a \text{ módulo } p \), por favor? Lo necesito calcular para \( y=13,a=5 \text{ y }p=53 \) pero me gustaría aprender el proceso.

Gracias :)

7
Estructuras algebraicas / Grupo cociente H/{1}
« en: 30 Noviembre, 2015, 12:03 pm »
Buenos días,

Tengo H/{1}. Mi duda es cuál de estas opciones es la correcta:
a) H/{1}=H
b) H/{1} es isomorfo a H
c) H/{1}=H y, por tanto, H/{1} es isomorfo a H.

Gracias!

8
Estructuras algebraicas / Todo grupo con 4 elementos es abeliano
« en: 27 Noviembre, 2015, 10:35 am »
Buenos días,

Se me pide "probar que todo grupo con cuatro elementos es abeliano". ¿me podríais ayudar, por favor? Si fuera posible, ¿podríais  explicarlo paso a paso?

Muchas gracias! :)

9
- Otros - / ¿Qué función es f|_V?
« en: 18 Noviembre, 2015, 02:19 pm »
Hola,

en un libro me ha aparecido \( f|_V \) y no sé qué tipo de función es. ¿Alguien me podría ayudar por favor? La frase completa es "Así pues, si \( V={a_1,...,a_n}, ~f|_V \in Biy(V) \)."

Gracias :)

10
Estructuras algebraicas / Grupos simétricos S_n
« en: 18 Noviembre, 2015, 10:46 am »
Buenos días,

¿por qué el grupo simétrico \( S_n \) tiene \( n! \) elementos?

Si n=4 y X={a,b,c,d}. Para \( S_4 \) tenemos que la imagen de a podrá ser a, b, c o d. Supongamos que es a. La imagen de b podría ser b, c o d. Supongamos que es b. La imagen de c podría ser c o d. Supongamos que es c. Y, por último, la imagen de d sería d. ¿El \( n! \) sale de que \( S_4 \) engloba todas las combinaciones posibles de lo que hemos ido suponiendo? Es decir, que las respectivas imágenes fueran:
a, b, c, d
a, b, d, c
a, c, b, d
b, d, a, c ...

Gracias :)


11
Cálculo 1 variable / Axioma del supremo
« en: 22 Octubre, 2015, 10:41 am »
Hola,

¿alguien me podría ayudar con la demostración de la siguiente proposición, por favor?

"En todo cuerpo ordenado \( K \) arquimediano y completo se verifica el axioma del supremo".

Gracias :)

12
Cálculo 1 variable / Isomorfismo de cuerpos ordenados
« en: 19 Octubre, 2015, 10:21 am »
Hola,

¿cómo se demostraría que una aplicación es un isomorfismo de cuerpos ordenados?

Gracias :)

13
Cálculo 1 variable / (1+h)^n > 1+nh
« en: 13 Octubre, 2015, 11:28 am »
Hola,

si tenemos que \( h>0 \) y que \( n \in \mathbb{N} \) ¿por qué tenemos que \( (1+h)^n > 1+nh \)? Me sale en un libro que se cumple pero si tomamos por ejemplo \( h=0.2 \) y \( n=1 \), ¿no debería ser con un \( \ge \)?

14
Hola! Necesito ayuda con la demostración de una proposición que no me sale, por favor  :banghead:

Tenemos que \( \mathbb{C} \) es el conjunto de la sucesiones de Cauchy en \( \mathbb{Q} \) y que \( \mathbb{A} \) son el conjunto de las sucesiones de \( \mathbb{Q} \) con límite 0.

Se me da la siguiente proposición:

"Si \( (a_n) \in \mathbb{C} - \mathbb{A}  \), entonces existen un número racional \( \epsilon_0>0 \) y un \( n_0 \in \mathbb{N} \) tales que:
1) o bien \( a_n> \epsilon_0 \) para todo \( n \ge n_o \)
2) o bien \( a_n< - \epsilon_0 \) para todo \( n \ge n_o \).

¿Alguien sabría hacer la demostración?

Gracias.

15
Hola, se me ha presentado este ejemplo resuelto pero hay pasos que no consigo entender. ¿Alquien sabría resolver mis dudas?

EJEMPLO:
Para cada \( n \in \mathbb{N} \) sea \( m_n \) el mayor número natural cuyo cuadrado es menor o igual que \( 2^{2n+1} \).
\( m_n^2 \le 2^{2n+1} \)
Entonces, \( (m_n+1)^2 > 2^{2n+1} \)

Ahora, para cada \( n \in \mathbb{N} \), definamos: \( a_n=\frac{m_n}{2^n} \). ??? 1) ¿Por qué definimos \( a_n \) así?
Entonces
\( a^2_n= \frac{m^2_n}{2^{2n}} \le \frac{2^{2n+1}}{2^{2n}} = 2 \)
y
\( (a_n+ \frac{1}{2^n})^2 = \frac{(m_n+1)^2}{2^{2n}} > \frac{2^{2n+1}}{2^{2n}} = 2 \)
Por tanto, \( (a_n+ \frac{1}{2^n})^2 >2 \ge a^2_n \) para todo \( n \).

Como \( m_n^2 \le 2^{2n+1} \), tenemos que \( (2m_n)^2 \le 2^{2(n+1)+1} \). Como \( m_{n+1} \) es por definición el mayor número natural cuyo cuadrado es menor o igual que \( 2^{2(n+1)+1} \), tenemos que \( m_{n+1} \le 2^{2(n+1)+1} \).

Así pues, se tiene que \( 2m_n \le m_{n+1} \). ??? 2) ¿Cómo deducimos del párrafo anterior que \( 2m_n \le m_{n+1} \)?  

Por tanto, \( a_n \le a_{n+1} \) para todo \( n \), luego \( a_n \le a_m \) para \( m \ge n \).

A partir de aquí queda un largo trozo del ejemplo del cual no entiendo nada porque se basa en mis dudas que aprecen en rojo...

Gracias

Páginas: [1]