Entradas

Mostrando las entradas de 2015

El Problema de Nielsen (parte II)

Imagen
Recordemos  que el Problema de Nielsen consiste en determinar qué subgrupos del grupo modular $\Gamma (S_g)$ pueden ser representados en $Top(S_g)$. Por ejemplo, dado $H\subset \Gamma (S_g)$ con $H=<h>$ cíclico infinito, ¿es cierto que $h$ es de orden infinito? Hagamos $g=0$ y consideremos el grupo modular $\Gamma(S^2)$. En 1926 H. Kneser publica el resultado que afirma que todo homeomorfismo de $S^2$ que preserva orientación es isotópico a una rotación; el análogo diferenciable se debe a S. Smale . En el caso de considerar el grupo modular $\Gamma^{\pm}(S^2)$ de todos los homeomorfismos (los que preservan orientación y los que no) se tiene que $\Gamma^{\pm}(S^2)$ es isomorfo a $\mathbb{Z}_2=\{1,a\}$, donde $1$ es la identidad y $a$ es la función antipodal $x\mapsto -x$. Así, todo el grupo $\Gamma^{\pm}(S^2)$ queda representado por las funciones identidad y antipodal. Tomemos el caso $g=1$. Recordemos el isomorfismo $\Gamma(S_g)\cong Out \pi_1(S_g,p)

Water Knots (Nudos en el agua)

Imagen
Además de la importancia que tienen en la vida cotidiana, los nudos son objetos que pueden ser estudiados desde un punto de vista matemático y resultan de gran importancia en la Topología de Bajas Dimensiones. Definiciones y el grupo de nudo Un nudo es un subconjunto $K$ del espacio $\mathbb{R}^3$ homeomorfo a la circunferencia unitaria $S^1$. Notemos que del homeomorfismo de la definición se sigue que un nudo $K$ es una curva cerrada (termina en el mismo punto donde inició) y que no se intersecta a sí misma. Abajo un ejemplo de nudo, el nudo trébol (en una versión cúbica). Así como con otros objetos en las matemáticas es importante definir una relación de equivalencia entre nudos: dos nudos $K_1,K_2$ son llamados equivalentes si existe un homeomorfismo $h:\mathbb{R}^3\to \mathbb{R}^3$ tal que $h(K_1)=K_2$; es decir, dos nudos son equivalentes si uno puede deformarse continuamente en el otro. En la figura de abajo se muestran nudos equivalentes Un primer pro

Frenet-Serret frame

Imagen
Jean Frédéric Frenet (1816-1900) y Joseph Alfred Serret (1819-1885) desarrollaron de manera independiente un conjunto de fórmulas para describir propiedades cinemáticas de una partícula que se mueve sobre una curva continua y diferenciable en tres dimensiones. Actualmente, estas fórmulas se conocen como Fórmulas de  Frenet-Serret : \[\frac{d\mathbf T}{ds}=k\mathbf N,\quad\frac{d\mathbf N}{ds}=-k\mathbf T+\tau\mathbf B\quad\text{y}\quad\frac{d\mathbf B}{ds}=\tau\mathbf N.\] donde $d/ds$ es la derivada con respecto a la longitud de arco, $k$ es la curvatura y $\tau$ es la torsión. Estas fórmulas describen una conexión entre las derivadas de los vectores unitarios tangente T , normal N y binormal B ; entre ellos mismos. En conjunto, a los tres vectores mencionados se les conoce como Frenet-Serret frame (que se podría traducir como: 'marco de Frenet-Serret'). La siguiente animación muestra el Frenet-Serret frame , el cual consiste de tres vectores. El vector azul represe

Transformaciones de Möbius

Imagen
Las transformaciones de Möbius son funciones racionales complejas de la forma $$f(z)=\frac{az+b}{cz+d}$$ donde $a,b,c$ y $d$ son constantes complejas tales que $ad-bc\neq 0$. Las transformaciones de Möbius reciben su nombre en honor a August Ferdinand Möbius  (1790-1868), aunque también se nombran como transformaciones especiales conformes, transformaciones racionales lineales o transformaciones homográficas. August Möbius (1790-1868) Source: Wikipedia Las propiedades matemáticas de las transformaciones de Möbius se estudian en los cursos de variable compleja. Por ejemplo, se sabe que dichas transformaciones son funciones meromórficas (de hecho el grupo de automorfismos meromóficos del plano extendido $\mathbb C_{\infty}$ consiste precisamente de transformaciones de Möbius) y además son funciones conformes en todas partes. También estas transformaciones poseen la siguiente propiedad geométrica: Los arcos de circunferencias son transformados (o mapeados)  en arc

¿Para qué ya NO sirven los logaritmos?

Imagen
1. Los logaritmos en el contexto escolar Los logaritmos se estudian, generalmente, en los primeros cursos de matemáticas a nivel Universitario. Claro que en las carreras de matemáticas, o ciencias duras, se estudian con más profundidad debido a sus múltiples aplicaciones. En los cursos (y en los libros también) se explica que el logaritmo  es el exponente al que hay que elevar un número, llamado base , para obtener otro número determinado. O si se prefiere, más formalmente: Definición:  Sea $b>0$ y $b\neq 1$. Si $x$ es un número positivo real, escribimos $$\log_b x$$ para designar el logaritmo de $x$ en base $b$, el cual es el único número real $y$ que satisface  $x=b^y.$ También se estudian las famosas propiedades (o leyes) de logaritmos: $\log_a(xy)=\log_ax+\log_ay$ $\log_a\left( \dfrac{x}{y}\right)=\log_a x-\log_ay$ $\log_a \left( x^p\right)=p\log_a x$. En la práctica, trabajando en México y Australia, he observado que constante

Keep calm....

Imagen

El Método de Integración por Partes iterado

Sean $\alpha\neq 0,\:k$ entero positivo y consideremos el problema de calcular la integral $y=\int e^{\alpha x}P(x)dx,$ donde $P(x)=p_0+p_1x+\cdots+ p_kx^k$. El método natural consistiría en aplicar el Método de Integración por partes de manera iterada (de hecho, $k$ veces) pero mostraremos que usando la teoría de ecuaciones diferenciales puede obtenerse un método más directo. Aclaración : lo que a continuación se expone es tomado del libro Elementary Differential Equations  de William F. Trench, disponible aquí . Primero observemos que al derivar a $y$ se obtiene $y'=e^{\alpha x}P(x)$. Usando el método de Coeficientes Indeterminados escribimos $y=e^{\alpha x}u$; de donde se obtiene $(u'+\alpha u)e^{\alpha x}=e^{\alpha x}P(x)\Longleftrightarrow u'+\alpha u=P(x)$ Si $u_p$ es una solución particular de la última ecuación entonces $u_p$ se escribe como un polinomio $A_0+A_1x+ \cdots+A_kx^k$. Así, la ecuación anterior tiene la forma

El Problema de Nielsen (parte I)

Imagen
Sea $X$ espacio topológico y $p\in X$ un punto distinguido. Definimos el grupo fundamental $\pi_1(X,p)$ como el conjunto de clases de homotopía de lazos basados en $p$ bajo la operación $[\alpha]*[\beta]=[\alpha*\beta]$, donde $\alpha*\beta$ es la concatenación de lazos y con el elemento identidad dado por la clase del lazo constante. La asociación $X\mapsto \pi_1(X,p)$ tiene un comportamiento funtorial : dado $Y$ espacio topológico y una función continua $f:X\to Y$ tal que $f(p)=q$ existe un homomorfismo $f_*:\pi_1(X,p)\to \pi_1(Y,q)$, de donde se obtiene que para todo espacio $Y$ homeomorfo a $X$ se tiene $\pi_1 (Y,q)\cong \pi_1(X,p)$. En el siguiente texto analizaremos de qué manera el punto base en $\pi_1(X,p)$ da origen a preguntas interesantes dentro de la teoría de grupos modulares ( mapping class groups ). Sean $S_g$ la superficie orientable de género $g$, $Top\:(S_g)$ el grupo de homeomorfismos de $S_g$ y $\Gamma(S_g)=Top\:(S_g)/\simeq $ su grupo modular (extendido)

Entradas populares

Galileo Galilei y su ley de caída libre

Breve historia del Cálculo

Pinturas abstractas de flujos de campos vectoriales