Teora elemental de conjuntos

Volver a pgina principal

Lgica proposicional

Una proposicin es cualquier enunciado lgico al que se le pueda
asignar un valor de verdad (1) o falsedad (0).
Dada una proposicin p, se define la negacin de p como la
proposicin p' que es verdadera cuando p es falsa
y que es falsa cuando p es verdadera. Se lee "no p".
A partir de una o varias proposiciones elementales se pueden efectuar
diversas operaciones lgicas para construir
nuevas proposiciones; en este caso, se necesita conocer su valor de
verdad o falsedad en funcin de los valores de
las proposiciones de que se componen, lo cual se realiza a travs de
las tablas de verdad de dichas operaciones.
Por ejemplo, la tabla de verdad de la negacin es la siguiente:


p p'
1 0
0 1
A continuacin se describen las principales operaciones lgicas entre
dos proposiciones p,q y sus tablas de verdad:
Conjuncin: es aquella proposicin que es verdadera cuando p y q
son verdaderas, y falsa en cualquier otro caso.
Se escribe p q, y se lee "p y q".


p q p q
1 1 1
1 0 0
0 1 0
0 0 0
Disyuncin: es aquella proposicin que es verdadera cuando al
menos una de las dos p o q es verdadera,
y falsa en caso contrario. Se escribe p v q, y se lee "p
o q".


p q p v q
1 1 1
1 0 1
0 1 1
0 0 0
Disyuncin exclusiva: es aquella proposicin que es verdadera
cuando una y slo una de las dos p o q es verdadera,
y falsa en cualquier otro caso. Se escribe p v q, y se
lee "p o q pero no ambas". Se usa muy poco.


p q p v q
1 1 0
1 0 1
0 1 1
0 0 0
Condicional: es aquella proposicin que es falsa nicamente
cuando la condicin suficiente p es verdadera y la
condicin necesaria q es falsa. Se escribe p q, y se
lee "si p entonces q".


p q p q
1 1 1
1 0 0
0 1 1
0 0 1
Bicondicional: es aquella proposicin que es verdadera cuando p
y q tienen el mismo valor de verdad,
y falsa en caso contrario. Se escribe p q, y se lee
"si y slo si p entonces q".


p q p q
1 1 1
1 0 0
0 1 0
0 0 1
Una proposicin se dice que es una tautologa si su valor de verdad es
siempre 1 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p v p'.
Una proposicin se dice que es una contradiccin si su valor de verdad
es siempre 0 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p p'.
Una paradoja es una proposicin a la que no se le puede asignar
ningn valor de verdad; suelen estar relacionadas con
incorrecciones en el lenguaje lgico. Por ejemplo: p="la proposicin p
es falsa".

Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla
de verdad en funcin de las proposiciones elementales
que lo componen; esta definicin equivale a decir que la propos icin
p q es una tautologa. Por ejemplo, las proposiciones
p q
y
q' p'
son equivalentes. Esta ley se llama "ley del contrarrecproco", y se usa
en los razonamientos por reduccin al absurdo.
Se pueden obtener fcilmente ms "resultados lgicos" a travs de
su relacin con la teora de conjuntos.





Nmeros naturales : principio de
induccin

Admitivos como intuitivo el concepto de nmero natural; as, podemos
enumerar los nmeros naturales en orden creciente:
N = { 1,2,3,4,5, ... }
Cuando se quiere demostrar que una proposicin relativa a nmeros
naturales es cierta, se necesita el Principio de Induccin:
"Sea S el conjunto de nmeros naturales para los que la
proposicin p(n) es cierta; supongamos que
m S
y que
n S n+1 S
Entonces S = { m,m+1,m+2, ... }"
(es decir, la propiedad se verifica para todo nmero natural a partir de
m; normalmente se usa con m = 1).

Algunas veces, cuando se quiere demostrar que la proposicin es cierta
para n+1, es necesario usar que la proposicin
se verifica para todo k < n+1; en ese caso se utiliza el Principio de
Induccin completa:
"Sea S el conjunto de nmeros naturales para los que la
proposicin p(n) es cierta; supongamos que
m S
y que
m,m+1, ... ,n S n+1 S
Entonces S = { m,m+1,m+2, ... }"

Ejercicio: prubese por induccin la frmula del binomio de Newton



(Indicacin: utilcense las propiedades de los nmeros combinatorios).




Teora de Conjuntos

NOCION INTUITIVA DE CONJUNTO
Un conjunto es la reunin en un todo de objetos bien definidos y
diferenciables entre si, que se llaman elementos del mismo.
Si a es un elemento del conjunto A se denota con la relacin de
pertenencia a A.
En caso contrario, si a no es un elemento de A se denota az A.

Ejemplos de conjuntos:

o : el conjunto vaco, que carece de elementos.
o N: el conjunto de los nmeros naturales.
o Z: el conjunto de los nmeros enteros.
o Q : el conjunto de los nmeros racionales.
o R: el conjunto de los nmeros reales.
o C: el conjunto de los nmeros complejos.

Se puede definir un conjunto:
o por extensin, enumerando todos y cada uno de sus elementos.
o por comprensin, diciendo cul es la propiedad que los
caracteriza.

Un conjunto se suele denotar encerrando entre llaves a sus elementos,
si se define por extensin,
o su propiedad caracterstica, si se define por comprensin. Por
ejemplo:
o A := {1,2,3, ... ,n}
o B := {p Z | p es par}

Se dice que A est contenido en B (tambin que A es
un subconjunto de B o que A es una parte de B),
y se denota A _ B, si todo elemento de A lo es tambin de B, es decir,
a A a B.
Dos conjuntos A y B se dicen iguales, y se denota A = B, si
simultneamente A _ B y B _ A;
esto equivale a decir que tienen los mismos elementos (o tambin la
misma propiedad caracterstica).
Para cualquier conjunto A se verifica que _ A y A _ A;
B _ A es un subconjunto propio de A si A = y B = A.
El conjunto formado por todos los subconjuntos de uno dado A se
llama partes de A, y se denota (A).
Entonces, la relacin B _ A es equivalente a decir
B (A). Ejemplos:

Si A = {a,b} entonces (A) = { ,{a},{b},A}.
Si a A entonces {a} (A).

Cuando en determinado contexto se consideran siempre conjuntos que
son partes de uno dado U,
se suele considerar a dicho U como conjunto universal o de referencia.
OPERACIONES ENTRE CONJUNTOS
Dados dos conjuntos A y B, se llama diferencia al conjunto A B :=
{a A | a Z B}.
Asimismo, se llama diferencia simtrica entre A y B al conjunto
A A B := (A B) B A)
Si A (U), a la diferencia U A se le llama complementario de A
respecto de U,
y se denota abreviadamente por A' (U se supone fijado de antemano).
Es fcil ver que si A y B son subconjuntos cualesquiera de U se
verifica:
o ' = U .
o U ' = .
o (A')' = A .
o A _ B B' _ A' .
o Si A = { x U | p(x) es una proposicin verdadera} entonces A'
= { x U | p(x) es una proposicin falsa}.

Se llama unin de dos conjuntos A y B al conjunto formado por
objetos que son elementos de A o de B,
es decir: A B := { x | x A v x B}.
Se llama interseccin de dos conjuntos A y B al conjunto formado por
objetos que son elementos de A y de B,
es decir: A B := {x | x A x B}.
Si A y B son subconjuntos de un cierto conjunto universal U, entonces
es fcil ver que A B = A B'.
En este caso, la llamadas operaciones booleanas (unin e interseccin)
verifican las siguientes propiedades :
PROPIEDADES UNION INTERSECCION
1.- Idempotencia A A = A A A = A
2.- Conmutativa A B = B A A B = B A
3.- Asociativa A ( B C ) = ( A B ) C A ( B C ) = ( A B ) C
4.- Absorcin A ( A B ) = A A ( A B ) = A
5.- Distributiva A ( B C ) = ( A B ) ( A C ) A ( B C ) = ( A B ) ( A C
6.- Complementariedad A A' = U A A' =


Estas propiedades hacen que partes de U con las operaciones unin e
interseccin tenga una estructura de lgebra de Boole.
Adems de stas, se verifican tambin las siguientes propiedades:
o A = A , A = ( elemento nulo ).
o A U = U , A U = A ( elemento universal ).
o ( A B )' = A' B' , ( A B )' = A' B' ( leyes de Morgan ).

Dados dos conjuntos A y B, se define el producto cartesiano de
ambos como el conjunto de pares ordenados:

A v B := { (a,b) : a A b B}

Dos pares (a,b) y (c,d) de A v B son iguales si a = c y b = d;
anlogamente, dados cuatro conjuntos A,B,C,D se verifica

A v B = C v D ( A = C B = D )

Se llama grafo relativo a A v B a todo subconjunto G _ A v B.
Dado un grafo G relativo a A v B, se llama proyeccin de G sobre A al
conjunto

Proy
A
G := { a A : (a,b) G, n b B}

Anlogamente se define la proyeccin Proy
B
G de G sobre B.
Por ltimo, los conceptos anteriores pueden generalizarse a familias de
conjuntos.
Si para cada elemento i de un conjunto (de ndices ) I se tiene un
conjunto A
i
, entonces se define el conjunto { A
i
: i I }
y se denomina familia de conjuntos indicada por I. Tambin se suele
denotar por { A
i
}
i I
.
De forma anloga se define una familia de elementos ( a
i
)
i I
.
Dada una familia de conjuntos { A
i
}
i I
se definen:

o
i I
A
i
:= { a : a A
i
, n i I }
o
i I
A
i
:= { a : a A
i
, V i I }
o
i I
A
i
:= { (a
i
) : a
i
A
i
, V i I }

Las propiedades de la unin e interseccin siguen siendo vlidas para
familias de conjuntos, y en particular las leyes de Morgan :

(
i I
A
i
)' =
i I
A'
i
, (
i I
A
i
)'
=
i I
A'
i

DIAGRAMAS DE VENN
Los conjuntos de suelen representar grficamente mediante "diagramas
de Venn", con una lnea que encierra a sus elementos.
As, todas las operaciones entre conjuntos se pueden representar
grficamente con el fin de obtener una idea ms intuitiva.
A _ B


A B


A B


A B


A A B

RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA
LOGICA PROPOSICIONAL

Existe una relacin muy estrecha entre la Teora de Conjuntos y la
Lgica Proposicional.
Para mostrar dicha relacin, denotemos por letras maysculas A,B ...
los conjuntos y
por las correspondientes minsculas a,b ... sus propiedades
caractersticas
(es decir, la proposicin lgica que caracteriza a los elementos de cada
conjunto);
entonces se tiene la siguiente correspondencia:


conjuntos A _ B A = B A B A B A' A B A A B
proposiciones a b a b a v b a b a' a b' a v b
Adems, el conjunto vaco se corresponde con una contradiccin y el
conjunto universal con una tautologa.
Mediante esta correspondencia, todos los resultados sobre conjuntos se
pueden reescribir en trminos de lgica
proposicional y viceversa; a modo de ejemplo:


A ( A B ) = A a v ( b c ) a
A ( B C ) = ( A B ) (
A C )
a v ( b c ) ( a v b ) (
a v c )
( A B )' = A' B' ( a v b )' a' b'
PROPOSICIONES CON CUANTIFICADORES
Los smbolos V (cuantificador universal) y n (cuantificador existencial)
se utilizan en Matemticas para
enunciar proposiciones logicas relativas a objetos matemticos.
Sea A un conjunto y p(x) una proposicin o propiedad que hace
referencia a un elemento x.
(1) Cuantificador universal : La expresin
V x A p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la
proposicin
{ x A : p(x) } = A
(2) Cuantificador existencial : La expresin
n x A | p(x)
se lee "existe x que pertenece a A tal que p(x)", representa la
proposicin
{ x A : p(x) } =

La negacin de cualquiera de las dos proposiciones anteriores se realiza
negando la proposicin p(x)
y cambiando el cuantificador universal por el cuantificador existencial,
o viceversa.
As, la negacin de la proposicin "V x A p(x)" es "n x A | p(x)'
", mientras que
la negacin de "n x A | p(x)" es "V x A p(x)' "






Conjuntos finitos : Combinatoria

La Combinatoria es la parte de las Matemticas que se dedica al
estudio de los conjuntos finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede
representar su nmero de elementos
mediante un nmero natural (llamado cardinal de dicho conjunto), la
tarea bsica de la Combinatoria es
precisamente el clculo del cardinal de dichos conjuntos.
Para dicho clculo se necesita definir los llamados nmeros
combinatorios:

(1) Nmeros factoriales: se define n! mediante la ley de
recurrencia
n! = n (n-1)!
y la condicin inicial 0! := 1. De forma iterativa, se tiene
n! = n (n-1) (n-2) ... 3 2 1
n! es el nmero de permutaciones de n elementos, es decir, es el
nmero total de formas de ordenar n elementos
de todas las formas distintas posibles.

(2) Coeficientes binomiales: se definen por la frmula

El nmero "n sobre k" es el nmero de combinaciones de n
elementos tomados de k en k, es decir,
el nmero de subconjuntos distintos de k elementos que tiene un
conjunto con n elementos.
Los coeficientes binomiales tienen dos propiedades bsicas:
(a)

(b)


Como aplicacin de los nmeros combinatorios y del Binomio de
Newton, podemos contar el nmero total de
subconjuntos que tiene un conjunto A con n elementos, es decir, el
cardinal de partes de A; para ello, notemos
que el nmero de tales subconjuntos se obtiene sumando el
nmero de subconjuntos de 0 elementos ms los de
1 elemento, ms los de 2 elementos, y as hasta los de n elementos,
es decir:



Pero esta cantidad corresponde a desarrollar mediante el binomio
de Newton la expresin
(1+1)
n
= 2
n

As pues se obtiene que # (A) = 2
n
si # A = n.





Volver a pgina principal

MATEMTICAS


En el siglo III a.C. una colonia griega
al sur de Italia, Thurii, se ali con
Roma para defenderse de las tribus
italianas vecinas. Al cabo de un
tiempo, Tarento, otra colonia
griega, consider insultante que
sus compatriotas recurrieran a la
ayuda de unos brbaros para
defenderse, as que capturaron una nave romana, mataron a su capitn,
marcharon sobre Thurii y expulsaron a los romanos. Roma tena entonces
otros problemas, y decidi enviar un embajador y arreglar pacficamente el
incidente. Pero los Tarentinos encontraron al enviado particularmente
"gracioso", especialmente por su forma de hablar griego. No se lo tomaron
en serio, hasta el punto de que alguien entre la gente que observaba al
brbaro, tuvo a bien mear sobre su tnica. El embajador se marcho jurando
que lavaran la mancha con sangre, y as el ao 281 a.C. el senado romano
declar la guerra con la que Roma se anexion el sur de Italia. No podemos
saber qu les pareci tan hilarante a los griegos del lenguaje del embajador,
pero no es difcil hacer ciertas conjeturas: el griego tena sonidos de los que
careca el latn, por lo que es probable que sonara bastante palurdo or
llamar thetas a las zetas, por ejemplo, o chis (ms probablemente kis) a las
jis, mus a las mys y cosas parecidas. No pensemos ya lo que habra pasado si
el pobre embajador hubiera confundido las fis con las sigmas, como hacen
hoy ms matemticos de los que podra esperarse. No cuesta ms de media
hora aprenderse esto:

Tengamos presente que los ingleses suelen tratar bastante bien las
consonantes extranjeras, pero parecen incapaces de no retorcer las vocales.
Pensemos que ellos llaman pi a la pe y pai a la pi, as que, cuando ellos leen
Theta (y dicen zita) la zeta inicial est muy bien (no digamos, pues, teta) pero
corrijamos el entuerto de la vocal y leamos zeta. No hablemos de la "f uncin
zeta de Riemann", sino que, puesto que ellos dicen "dsita fancson" (ms o
menos), nos convendra decir "funcin dseta", que traducir no es lo mismo
que repetir. O NO?

Es conocida la frase "Te ayudar a
recordar la cantidad", que al contarle
las letras nos ayuda a recordar la
cantidad e = 2,71828... Una frase para
pi = 3,1415926535... es "Sol y Luna y
Cielo proclaman al Divino autor del
Mundo". Hay ejemplos ms
sofisticados, como este poema de
Manuel Golmayo:

Soy y ser a todos definible;
mi nombre tengo que daros:
cociente diametral siempre inmedible
soy, de los redondos aros.

Nos da la aproximacin pi = 3,1415926535897932384... con 20 decimales.
Tengo una prueba (annima, no recuerdo de dnde la saqu) relativamente
simple (ms algebraica que analtica) de la trascendencia de e y pi. Puedes
bajrtela desde aqu.

Aprovecho este rincn para plantear un problema muy simple: determinar el
criterio que ordena como sigue la sucesin de los primeros nmeros
naturales:
0 5 4 2 9 8 6 7 3 1
La solucin cabe en dos palabras (cuatro si no queremos ser lacnicos).

Todas las mujeres tienen los ojos azules
Esta "demostracin" me la comunic Oscar Blasco. Hemos de suponer que
existe al menos una mujer con los ojos azules, lo cual es bastante razonable.
Basta probar que si un conjunto de mujeres contiene a una con los ojos
azules, entonces todos sus miembros tienen los ojos azules, y luego aplicar
esto al conjunto de todas las mujeres. Lo probaremos por induccin sobre el
cardinal n del conjunto. Si n = 1 es trivial: un conjunto con una nica mujer
que contenga al menos una mujer con ojos azules, tiene a todos sus
miembros con ojos azules. Supongmoslo cierto para conjuntos de n mujeres
y consideremos un conjunto de n+1 mujeres, alguna de las cuales tiene los
ojos azules. Quitemos una de ellas, pero dejando dentro una que tenga los
ojos azules. Nos queda un conjunto de n mujeres y, por hiptesis de
induccin, todos sus miembros tienen los ojos azules. Ahora aadamos la
que hemos quitado y saquemos otra cualquiera (que tendr los ojos azules).
Volvemos a tener un conjunto con n mujeres, todas las cuales -salvo quiz
una- tienen los ojos azules, luego de nuevo por hiptesis de induccin todas
tienen los ojos azules. Es claro entonces que las n+1 mujeres del conjunto
tienen los ojos azules.
QED

UN SILOGISMO DE LEWIS CARROLL

He aqu un encantador silogismo sacado de "El juego de
la lgica", de Lewis Carroll. Su encanto radica en lo sutil
de la falacia:
y Nadie que quiera tomar el tren y que no pueda
coger un taxi y que no tenga tiempo suficiente
para ir dando un paseo hasta la estacin, puede
tomarlo sin echar a correr.
y Este grupo de turistas quiere tomar el tren y no puede coger un taxi,
pero les sobra tiempo para ir hasta la estacin dando un paseo.
Por consiguiente:
y Este grupo de turistas no necesita correr.
A los amigos cndidos -como dice Carroll- que lo crean vlido, hay que
preguntarles: Y si les persigue un toro demente?

EL SILOGISMO FAVORITO DE RAYMOND SMULLYAN

Raymond Smullyan es un lgico autor de varios libros deliciosos como
"Cmo se llama este libro?", "La dama o el tigre?" o, mi favorito, "5.000
aos antes de Cristo y otras fantasas filosficas". ste es su silogismo
favorito:
Algunos coches traquetean,
Mi coche es algn coche,
Por lo tanto, no es de extraar que mi coche traquetee.

Personalmente, la demostracin ms simptica que he encontrado en sus
libros es esta prueba cartesiana de la existencia de Dios:
Dios tiene que existir, pues no iba a ser tan malo como para engaarme y
hacerme creer que existe si en realidad no existiera.

POLINOMIOS CICLOTMICOS

Veamos una curiosidad numrica. Los polinomios ciclotmicos son los
polinomios irreducibles con coeficientes racionales que tienen por races a
las races de la unidad, es decir, a los nmeros complejos que elevados a un
nmero natural dan 1. Puesto que las races de la unidad son races del
polinomio x
n
-1, los polinomios ciclotmicos se obtienen factorizando stos.
Por ejemplo, para n = 1, x-1 es ya el primer polinomio ciclotmico. Para n = 2,
el polinomio x
2
-1contiene al primer polinomio ciclotmico, y al quitrselo
(dividiendo) queda x+1, que es el segundo polinomio ciclotmico. El
polinomio x
3
-1 contiene al primer polinomio ciclotmico x-1, y al quitarlo
queda x
2
+x+1, que es el tercer polinomio ciclotmico. A x
4
-1 hay que quitarle
el primero x-1 y el segundox+1. Al hacerlo obtenemos x
2
+1, que es el cuarto
polinomio ciclotmico. En general se prueba que x
n
-1 es el producto de los
polinomios ciclotmicos de orden d, donde d recorre los divisores de n, por
lo que hay que dividirlo entre todos los polinomios correspondientes a
divisores estrictos de n para obtener el polinomio n-simo. Es fcil ir
calculndolos. Los primeros polinomios ciclotmicos, as obtenidos, son
y p
1
(x) = x-1
y p
2
(x) = x+1
y p
3
(x) = x
2
+x+1
y p
4
(x) = x
2
+1
y p
5
(x) = x
4
+x
3
+x
2
+x+1
y p
6
(x) = x
2
-x+1
Puede probarse que los polinomios ciclotmicos tienen sus coeficientes
enteros (en principio, al dividir polinomios podran aparecer coeficientes
racionales), pero a la vista de los polinomios que van saliendo uno tiende a
conjeturar que los coeficientes son siempre -1, 0, 1. Quien piense que la
muestra que hemos dado es demasiado pequea para conjeturar nada
puede calcular cuarenta o cincuenta ms, y se encontrar siempre con ceros,
unos y menos unos. Sin embargo, la conjetura es falsa, pero para encontrar
el primer contraejemplo nos hemos de ir hasta el centsimo quinto
polinomio ciclotmico, que resulta ser
p
105
(x) = x
48
+ x
47
+ x
46
- x
43
- x
42
- 2x
41
- x
40
- x
39
+x
36
+ x
35
+x
34
+ x
33
+ x
32
+ x
31

- x
28
- x
26
- x
24
- x
22
- x
20
+x
17
+ x
16
+ x
15
+ x
14
+ x
13
+ x
12
- x
9
- x
8
-2x
7
- x
6
- x
5
+ x
2
+
x + 1,

con dos flamantes doses (menos doses, en realidad). De hecho puede
probarse que hay polinomios ciclotmicos con coeficientes arbitrariamente
grandes en mdulo. Tenemos as uno de los muchos ejemplos de lo
arriesgado que es hacer una conjetura en teora de nmeros, aunque
tengamos 104 evidencias empricas.

Un ejemplo ms famoso de conjetura falsa es la de Fer mat, que
crey que un nmero de la forma 2
n
+1 es primo si y slo si n es
potencia de 2. La necesidad de la condicin es fcil de probar.
La conjetura consiste en la suficiencia, que se basa en los casos:
2
1
+1 = 3, 2
2
+1 = 5, 2
4
+1= 17, 2
8
+1 = 257, 2
16
+1 = 65.537.

Tambin es un hecho conocido que fue Euler quien descubri que
2
32
+1 = 641
.
6.700.417.
Lo que no es tan sabido es cmo lleg a descubrir esto. Pensemos que
2
32
+1 = 4.294.967.297,
y que Euler no tena calculadora. Aunque la hubiera tenido, no es plan
ponerse a dividir entre todos los primos hasta llegar al 641. Si tienes
curiosidad por saber cmo puede encontrarse el factor 641, entra aqu.

UN PROBLEMA GEOMTRICO
Tenemos dos rectas r y s que no son paralelas, pero que
se cortan fuera de la hoja de papel. Tambin nos dan un
punto P exterior a ambas. El problema es trazar la recta que pasa por P y por
el punto de corte, sin ms ayuda que una regla no graduada y, por supuesto,
sin que la construccin se salga del papel.

Aunque el problema en s no deja de tener inters, es mucho ms
interesante su SOLUCIN.

UN PROBLEMA ALGEBRAICO
Encontrar todos los nmeros naturales (no nulos) que pueden expresarse
simultneamente como producto de dos y tres nmeros consecutivos.
Hay una solucin trivial: 6 = 2
.
3 = 1
.
2
.
3, y puede demostrarse que slo hay
una solucin ms, aparte de sta. Demostrar que no hay otras es un
problema muy difcil, resuelto por Mordell en 1962. Sin embargo, encontrar
dicha solucin est al alcance de cualquiera (no es muy grande). Cul es?
Si te rindes, pincha aqu.

UN PROBLEMA ALGEBRAICO (MS FCIL)

Este problema puede resolverse por mtodos completamente elementales:
Demostrar que las nicas potencias de 2 que son consecutivas con potencias
de 3 son 2,3,4 y 8, 9.
Si te rindes, pincha aqu.



Soneto a la convergencia de 1/n
La sucesin que viene definida
por a
n
igual, exactamente,
al inverso de n, es convergente,
lo cual demostraremos enseguida:
Para toda distancia preelegida
al conjunto R
+
perteneciente
(, por ejemplo), es evidente,
por una propiedad muy conocida,
que el inverso de se puede
superar por un m natural
y, para todo n mayor, sucede
que excede a dicho inverso por igual,
y esto hace, pues, que a
n
quede
cercano a 0 bajo el radio tal.
Carlos Ivorra