Documentos de Académico
Documentos de Profesional
Documentos de Cultura
=
=
n
k
k ijk j i
a c a a
1
Con
n k j i
c
c
n
k
ijk
ijk
,..., 1 , ,
1
1 0
1
=
=
s s
=
La anterior estructura muestra que para el cruce de dos alelos, todos los alelos restantes
tienen cierta probabilidad de expresarse, la cual se encuentra entre 0 y 1. Ntese que esta
estructura es vlida para expresar la distribucin allica en una poblacin determinada.
Para posteriores estudios, se utilizar esta caracterstica para describir poblaciones.
Concretamente, en problemas planteados en cuanto a Autofertilizacin.
Es evidente que si hay una herencia simple, sin mutaciones ni recombinacin de la
informacin, al tener alelos
i
a y
j
a la probabilidad de expresin de cualquier otro alelo
.
1
a
2
a
1
a
1
a
) (
2
1
2 1
a a +
2
a
) (
2
1
2 1
a a + 2
a
11
diferente a stos ser 0, ya que en el genotipo del organismo slo se encuentra
i
a y
j
a .Para expresar matemticamente este caso, se introducir un coeficiente conocido
como la delta de Kronecker, que est dado por la siguiente frmula:
=
=
=
b a si
b a si
d
ab
1
0
Entonces en un lgebra con realizacin gentica, los productos entre alelos estn dados
por:
=
=
n
k
k ijk j i
a c a a
1
donde
) (
jk ik k ijk
d d c + =o
.
De aqu que
ijk
c
slo tendr valor cuando k =i o k =j. Es decir para
i
a y
j
a .
Por lo tanto
j j i i j i
a a a a o o + =
n j i ,..., 2 ,. 1 , =
donde los coeficientes de
i
a y
j
a son sus respectivas probabilidades de expresin.
El siguiente caso a considerar es herencia mendeliana simple con mutacin.
En este caso se definir
ik
o
como la probabilidad de que
i
a
mute en el alelo
k
a . Por ser
una probabilidad se tiene que 1 0 s s
ik
o y adems que
=
=
n
k
ik
1
1 o
.
Para analizar el cambio que se efecta en la definicin del lgebra, se debe calcular la
probabilidad de obtener un alelo
k
a del cruce de dos alelos
i
a y
j
a , la cual est dada
por:
12
) (
) (
1
1
jk ik s
sk js is
n
s
s
n
s
sk ijs
d d
c
o o o
o o
o
+ =
+ =
=
=
Para llegar a este resultado se aplica el mismo razonamiento que se haba trabajado
anteriormente, con el cual, usando la definicin de la delta de Kronecker, se reduce la
sumatoria a una expresin ms sencilla.
Entonces, para la herencia mendeliana simple con mutacin se tiene que los productos
estn dados por
=
=
n
k
k ijk j i
a c a a
1
donde
) (
jk ik k ijk
c o o o + =
.
Estos resultados son muy tiles ya que slo es necesario establecer las probabilidades de
mutacin de un alelo en otro, para organizar y comprender mucho mejor la informacin
acerca de las probabilidades fenotpicas de un organismo determinado.
Mediante la definicin de coeficientes, as como de estructuras algebraicas, se puede
analizar cualquier caso de herencia gentica con caractersticas especficas, aunque
acerca de lo anterior hay que tener cuidado en la manera de convertir informacin o
fenmenos especiales dentro de la gentica a coeficientes o trminos con sentido
matemtico.
Las lgebras con realizacin gentica dan lugar a estructuras muy interesantes dentro de
la matemtica denominadas lgebras bricas: Se dice que un lgebra A sobre un campo
K es brica si se puede construir un homomorfismo no trivial K A : e . Este
homomorfismo es conocido como funcin de peso u homomorfismo de peso.
Para mostrar que un lgebra con realizacin gentica es brica hay que considerar el
homomorfismo definido por n i con a
i
,..., 2 , 1 1 ) ( = = e .
13
A continuacin, como un aporte original de este trabajo, se presenta un proceso de
clasificacin de las lgebras bricas de dimensin 2 sobre Z/(2). Como se podr observar
a continuacin, todas las lgebras que surgen de la clasificacin son lgebras con
realizacin gentica.
Para empezar se plantearan todos las posibles lgebras bricas de dimensin 2 sobre
Z/(2) con sus respectivos homomorfismos de peso. Si se toman los elementos
1
e y
2
e con
la operacin se tiene que todas las posibles combinaciones que se pueden realizar son:
2 2 1 2 2 1 1 1
, , e e y e e e e e e . Por tanto, al hacer el producto de las posibilidades
que se tienen para definir cada operacin, se tiene que el total de posibles lgebras
bricas de dimensin 2 sobre Z/(2) es 16 (2
4
). Estas son expuestas en la Tabla 3. Ntese
que las anteriores son lgebras con realizacin gentica ya que los coeficientes de
1
e y
2
e en los resultados de las operaciones estn entre 0 y 1 (de hecho son 0 o 1) y su suma
es 1.
Tabla 3. lgebras Bricas de dimensin 2 sobre Z/(2)
1 1 1 2 2 2 1 2 2 2 2 1 1 1 2 1 2 2
1 1 2 1 2 1 2 2 2 2 1 2 1 2 1 1 1 2
1 2 1 1 1 2 2 2 2 1 2 2 2 1 1 1 2 1
2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1
16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1
e e e e e e e e e e e e e e e e e e
e e e e e e e e e e e e e e e e e e
e e e e e e e e e e e e e e e e e e
e e e e e e e e e e e e e e e e e e
u u u u u u u u u u u u u u u u
Debido a que la caracterstica principal de las lgebras bricas es la existencia de un
homomorfismo no trivial en el campo, las posibles funciones de peso que pueden tener
las anteriores lgebras en Z/(2) son:
1.
1 ) (
1 ) (
2
1
=
=
e
e
e
e
2.
0 ) (
1 ) (
2
1
=
=
e
e
t
t
14
3.
1 ) (
0 ) (
2
1
=
=
e
e
Ser muy importante para prximas pruebas tener presente que tanto t como son
funciones en las cuales la imagen de elementos diferentes es distinta.
Al estudiar este tipo de lgebras bricas se concluye que la funcin e se comporta como
homomorfismo de peso para cualquier lgebra
3
:
{ } y x z con e
e e e e
z
y x y x
, 1 1 ) (
) ( ) ( ) (
e - =
- =
e
e e e
Se puede observar que este resultado es vlido en cualquiera de las 16 lgebras
expuestas anteriormente ya que sin importar la operacin siempre se mantendr la
igualdad necesaria para que se tenga un homomorfismo.
Respecto a los otros homomorfismos posibles es necesario establecer ciertas condiciones
dentro de la estructura de lgebra a analizar. La primera condicin es que los dos
elementos del lgebra deben ser idempotentes. Es decir, para
x
e en un lgebra A es
necesario que
x x x
e e e = . Esto se muestra a continuacin:
) ( ) ( ) (
) ( ) (
) ( ) (
) ( ) ( ) (
) ( ) ( ) (
) ( , . lg
2
x x x x
x y
x y
x x y
x x x x
x
y x
e e e e Entonces
e e que tiene se de definicin Por
e e si solo y si igualdad esta tiene se Z En
e e e
e e e e
A de peso de funcin una fuera si
entonces e idempotent es no e que Supongamos
y x A e e ebra un A
t t t
t t t
t t
t t t
t t t
t
- =
=
=
- =
- =
= e
Esta prueba se puede construir anlogamente para
y
e y para la funcin .
3
La operacin - es el producto usual de Z/(2).
15
Otra condicin que se tiene para que una de las 16 estructuras presentadas anteriormente
tenga entre sus homomorfismos de peso a t o a es que sea conmutativa. La prueba
se presenta a continuacin:
a conmutativ sea no A que con contradice se que Lo
e e e e
A de peso de funcin una es Como
e e e e
que tiene se Z en a conmutativ es Como
e e e e
entonces A de peso
de funcin una es que y a conmutativ es no A que Supongamos
e e e e que
deduce se donde de e e e e entonces a conmutativ es no Si
) ( ) (
) ( ) ( ) (
) ( ) ( ) (
) ( ) (
1 2 2 1
1 2 2 1
2
2 1 2 1
1 2 2 1
1 2 2 1
t t
t
t t t
t t t
t
t t
=
- =
-
- =
=
=
Esta prueba se puede construir anlogamente para la funcin .
Por tanto para que un lgebra brica de dimensin 2 sobre Z/(2) tenga entre sus
homomorfismos de peso a t o a es necesario que en sta sus dos elementos sean
idempotentes y adems sea conmutativa. Las nicas lgebras que satisfacen estas
condiciones son
8 2
u u y . Al hacer las operaciones es claro que los homomorfismos de
peso de
2
u son e y y que los homomorfismos de peso de
8
u son e y t .
Se ha construido una caracterizacin de las 16 lgebras anteriores con respecto a su
carcter brico. De lo anterior se ha concluido que a excepcin de
8 2
u u y todas las
lgebras bricas de dimensin 2 sobre Z/(2) tienen a e como su nica funcin de peso.
Para continuar con la clasificacin es necesario determinar cules lgebras son isomorfas
para tener un nmero exacto de lgebras bricas de dimensin 2 sobre Z/(2). Los dos
isomorfismos posibles son
2 2 1 2
) ( , ) ( e e e e = = y
1 2 2 1
) ( , ) ( e e e e = = . El primer
isomorfismo es trivial ya que implicara que la definicin de la operacin sea la misma
para las dos lgebras, es decir, que sean la misma estructura. Por tanto la nica funcin a
considerar ser .
16
Es necesario recordar que si dos lgebras son isomorfas, tienen las mismas propiedades.
Las caractersticas que se tendrn en cuenta son la conmutatividad y el nmero de
elementos idempotentes. Por tanto, se pueden construir conjuntos de lgebras con las
mismas propiedades que permiten analizar mejor cuales sern isomorfas entre s:
lgebras conmutativas con 2 idempotentes:
8 2
u u y .
lgebras conmutativas con 1 idempotente:
13 9 5 1
, , u u u u y .
lgebras conmutativas sin idempotentes:
16 10
u u y .
lgebras no conmutativas con 2 idempotentes:
7 6
u u y
lgebras no conmutativas con 1 idempotente:
12 11 4 3
, , u u u u y .
lgebras no conmutativas sin idempotentes:
15 14
u u y .
Debido a que en cada conjunto las lgebras tienen las mismas propiedades es ms fcil
determinar los isomorfismos ya que por la propiedad recordada anteriormente slo se
pueden presentar entre lgebras del mismo conjunto.
Realizando los anlisis con en cada uno de los conjuntos se obtiene que las siguientes
lgebras son isomorfas:
11 4 13 5
16 10 9 1
12 3 8 2
u ~ u u ~ u
u ~ u u ~ u
u ~ u u ~ u
Y que las siguientes no lo son:
15 14
7 6
u ~
/
u
u ~
/
u
En general se pueden estudiar lgebras con mayor dimensin y sobre campos ms
complejos que Z/(2) pero es necesario definir mtodos ms eficientes para encontrar los
isomorfismos entre lgebras. Por ejemplo para lgebras bricas de dimensin 3 sobre
Z/(2) las posibilidades ascienden de 2
4
a 3
9
.
17
Conclusiones y Recomendaciones
Se mostr a lo largo de este trabajo que existe una gran interrelacin y comunicacin
temtica entre la Biologa y la Matemtica, la cul le permite a la primera contar con
herramientas rigurosas y robustas para enfrentar su estudio. As mismo, la segunda se
nutre de estructuras matemticas novedosas que amplan su rea de aplicacin y
conocimiento, a la vez que posibilita el carcter de prediccin cientfica de la primera.
En cuanto a los modelos construidos para la sntesis de protenas se concluye que el
estudio de las mutaciones puede realizarse mediante la bsqueda de regularidades y
propiedades numricas. As mismo, respecto al trabajo realizado en herencia gentica, se
obtiene que es posible la construccin algebraica de estructuras estocsticas que
describan y organicen la informacin relativa a las frecuencias allicas de una poblacin
determinada. Estas estructuras permiten concluir que la herencia gentica no es
asociativa, lo cul puede ser apreciado en la siguiente construccin:
1 0
1 0 0
1 0 0
1 0 0 1 0 0
4
1
4
3
4
1
4
1
2
1
)
2
1
2
1
(
2
1
2
1
)
2
1
2
1
( ) (
a a
a a a
a a a
a a a a a a
+ =
+ + =
+ + =
+ =
1 0
1 0 1 0 0
2
1
2
1
) (
a a
a a a a a
+ =
=
En general, para un conjunto de poblaciones determinado se concluye que el orden de
cruce entre stas incide en el componente gentico de la poblacin resultante.
Por ltimo, a partir del proceso de clasificacin de lgebras bricas se concluye que las
lgebras de dimensin 2 sobre Z/(2) son 11 y corresponden a las siguientes:
15 14 10 8 7 6 5 4 3 2 1
, , , , , , , , , u u u u u u u u u u u y . Cabe aclarar que se incluye
8
u ya
que a pesar de que es isomorfa con
2
u no comparte los mismos homomorfismos de
peso y por tanto no corresponde a la misma lgebra brica.
18
El trabajo desarrollado en esta monografa sugiere que es absolutamente indispensable la
continuacin de estudios como ste en los cules se analice a fondo la relacin entre la
Biologa y la Matemtica. Con el nimo de orientar este proceso se presentan a
continuacin algunos posibles lineamientos y problemas para futuras investigaciones: En
primera instancia, dentro de la Teora matemtica de los Cdigos se encuentra un tema
muy interesante que aborda la problemtica de los mecanismos de correccin que posee
el cdigo gentico para disminuir la incidencia de errores en la informacin gentica. El
objetivo sera encontrar las palabras y los mecanismos de transmisin presentes en el
cdigo gentico que permiten la expresin del ADN. Una segunda posibilidad es la
continuacin de estudios en mutaciones de virus, bacterias o protenas, a partir del
mtodo numrico diseado en la seccin de sntesis de protenas. Es decir, mediante la
asociacin planteada entre un codn y un nmero buscar regularidades en mutaciones de
distinta naturaleza y con distintos efectos. De otro lado, como un tercer problema, se tiene
que en el campo de la herencia, hay una conjetura acerca de la autofertilizacin y su
posible interpretacin matemtica. La conjetura dice que si se realiza el proceso de
autofertilizacin continuamente con una poblacin P, los heterocigotos tendern a
desaparecer. Con las lgebras definidas anteriormente, se tiene un avance en el sentido
que una poblacin se puede definir como coeficientes de distribucin de todos los
genotipos posibles para un gen determinado. Por ejemplo para un gen con alelos A y a
se puede partir de que aa Aa AA P | o + + = . El objetivo sera mostrar que | tiende a 0
a medida que el nmero de generaciones aumenta. Un cuarto problema para futuros
estudios, consiste en plantear nuevas biyecciones entre el conjunto de bases y Z/(4) . Es
decir, plantear asociaciones diferentes entre las bases y los nmeros para as disear
nuevas estructuras de suma para los codones. Ntese que no se presento una razn
biolgica concreta que determinara ese tipo de asociaciones. Por ltimo, se tiene que otro
problema posible es generalizar la clasificacin de las lgebras bricas. Es decir, analizar
estructuras ms complejas y con mayor dimensin que permitan obtener una regularidad
general para la clasificacin.
Las anteriores estructuras, conjeturas y conclusiones son una pequea introduccin al
universo de posibilidades que tienen las relaciones entre la matemtica y la biologa, que
llama cada vez ms a la siempre til interdisciplinariedad de las ciencias.
19
REFERENCIAS:
1. AUBRY, G. (2001). Algebraic Approach to Population Genetics. cole
Polytechnique Fdrale de Lausanne.
2. BRITTON, N. (2003). Essential Mathematical Biology. Springer Verlag. Centre for
Mathematical Biology, Londres.
3. CAICEDO, F. (2004). Teora de Grupos. Universidad Nacional de Colombia. Pro-
Offset Editorial Ltda. Bogot.
4. CUMMINGS, M., KLUG, W. (1999). Conceptos de Gentica. Prentice Hall. Quinta
edicin. Madrid.
5. ETHERINGTON I. M. H. (1939). Genetic Algebras. Proc. Roy. Soc. Edinburg 59
242 258.
6. GONSHOR H. (1965). Special Train Algebras arising in Genetics. Proc. Edinburg
Math. Soc. (2) 14 333 338.
7. HOLGATE, P. (1978). Selfing in Genetic algebras. J ournal of Mathematical
Biology. Pgs. 197 206.
8. LAM, T.Y. (1991) A first course in Nonconmutative Rings. Springer Verlag. Nueva
York.
9. LANG, S. (1965) Algebra. Addison Wesley Publishing Company. Columbia
University. Nueva York.
10. LYUBICH, Y.I. (1992) Mathematical structures in Population Genetics. Springer
Verlag. Nueva York.
20
11. PAUL TIAN, J . Algebraic Structure of non-Mendelian inheritance. Mathematical
Biosciences Institute. The Ohio State University, Colombus OH 43210.
12. ______________, LI, B. (2004) Coalgebraic structure of genetic inheritance.
Mathematical biosciences and engineering. Volumen 1, Nmero 3.
13. REED, M. (1997) Algebraic structures in genetic inheritance. American
Mathematical Society. Volumen 34, Nmero 2. Pg. 107-130.
14. SNCHEZ, R.; MORGADO, E.; GRAU, R. (2004) Gene Algebra from a Genetic
Code Algebraic Structure. Research Institute of Tropical Roots, Tuber Crops and
Banana (INIVIT). Biotechnology Group. Santo Domingo. Villa Clara. Cuba.
15. SCHAFER, R. D. (1947) Structure of genetic algebras. The Institute of Advanced
study.
16. WRZ BUSEKROS, A (1974). The zygotic algebra for sex linkage. J ournal of
Mathematical Biology. Pg. 359 371.
17. _______________ (1980). Algebras in Genetics. Springer Verlag. Lecture Notes
in Biomathematics, 36. Berlin.
Este artculo se desprende del trabajo de grado realizado por la autora, bajo la
orientacin y asesora del profesor J ess Hernando Prez de la Universidad
Sergio Arboleda, como requisito acadmico para obtener el ttulo de bachiller en el
Instituto Alberto Merani, el cul le fue otorgado en diciembre de 2006.