Matemática => Análisis Real - Integral de Lebesgue => Mensaje iniciado por: Julio_fmat en 09 Marzo, 2016, 19:52



Título: Propiedad de Álgebras
Publicado por: Julio_fmat en 09 Marzo, 2016, 19:52
Sea [texx]\mathcal{A}[/texx] un álgebra en [texx]X[/texx]. Demostrar que [texx]\varnothing, X\in \mathcal{A}.[/texx]

Spoiler (click para mostrar u ocultar)


Título: Re: Propiedad de Álgebras
Publicado por: Juan Pablo Sancho en 09 Marzo, 2016, 22:44
¿Puedes poner la definición de álgebra?

La que tengo yo pone:

Un álgebra [texx] \mathcal{A} [/texx]  sobre un conjunto [texx] \mathcal{X} [/texx] es una clase de subconjunto de [texx] \mathcal{X} [/texx] que cumple:

1. [texx] \mathcal{X} \in \mathcal{A} [/texx]

2. Si [texx] A,B [/texx] están en [texx]\mathcal{A} [/texx] entonces [texx] A \cup B \in \mathcal{A} [/texx]

3. Si [texx] A \in \mathcal{A} [/texx] entonces [texx] A^c = \mathcal{X} \setminus A \in \mathcal{A} [/texx].


En este caso [texx] \mathcal{X} \setminus \mathcal{X} \in \mathcal{A} [/texx]


Título: Re: Propiedad de Álgebras
Publicado por: Julio_fmat en 10 Marzo, 2016, 01:35
¿Puedes poner la definición de álgebra?

La que tengo yo pone:

Un álgebra [texx] \mathcal{A} [/texx]  sobre un conjunto [texx] \mathcal{X} [/texx] es una clase de subconjunto de [texx] \mathcal{X} [/texx] que cumple:

1. [texx] \mathcal{X} \in \mathcal{A} [/texx]

2. Si [texx] A,B [/texx] están en [texx]\mathcal{A} [/texx] entonces [texx] A \cup B \in \mathcal{A} [/texx]

3. Si [texx] A \in \mathcal{A} [/texx] entonces [texx] A^c = \mathcal{X} \setminus A \in \mathcal{A} [/texx].


En este caso [texx] \mathcal{X} \setminus \mathcal{X} \in \mathcal{A} [/texx]

Muchas Gracias Juan Pablo :aplauso:.

Mi definición es esta:

Definición: Diremos que [texx]\mathcal{A}[/texx] es un álgebra en [texx]X[/texx] si:

1) [texx]A,B\in \mathcal{A}\implies A\cup B\in \mathcal{A}[/texx]

2) [texx]A\in \mathcal{A}\implies A^c\in \mathcal{A}[/texx]

Bueno, luego de ver BIEN la definición, se me ocurrió esto...

Si [texx]\varnothing \notin \mathcal{A}[/texx], entonces [texx]\varnothing \in \mathcal{A}^c[/texx], pero [texx]\mathcal{A}[/texx] es un álgebra por hipótesis. Luego, necesariamente [texx]X\in \mathcal{A}.[/texx]

Si [texx]X\notin \mathcal{A}[/texx], entonces [texx]X\in \mathcal{A}^c.[/texx] Luego...  :banghead:

Lo pensaré un rato, edito si me sale algo.


Título: Re: Propiedad de Álgebras
Publicado por: Fernando Revilla en 10 Marzo, 2016, 05:19
Definición: Diremos que [texx]\mathcal{A}[/texx] es un álgebra en [texx]X[/texx] si:
1) [texx]A,B\in \mathcal{A}\implies A\cup B\in \mathcal{A}[/texx]
2) [texx]A\in \mathcal{A}\implies A^c\in \mathcal{A}[/texx]
Bueno, luego de ver BIEN la definición, se me ocurrió esto...
Si [texx]\varnothing \notin \mathcal{A}[/texx], entonces [texx]\varnothing \in \mathcal{A}^c[/texx], pero [texx]\mathcal{A}[/texx] es un álgebra por hipótesis. Luego, necesariamente [texx]X\in \mathcal{A}.[/texx]

Eso no tiene sentido. ¿Qué es [texx]\mathcal{A}^c[/texx]? La demostración que te piden es así de sencilla: si [texx]A\in \mathcal{A}[/texx], entonces [texx]A^c\in \mathcal{A}[/texx] por 2), pero [texx]X=A\cup A^c\in\mathcal{A}[/texx] por 1). Por otra parte [texx]\emptyset=X^c\in \mathcal{A}[/texx] por 2).