Ir al contenido

Las matemáticas que usarás

En simple: lee esto primero

Solo necesitas tres herramientas: vectores (para guardar datos), probabilidad (para la incertidumbre) y derivadas (para ir mejorando el modelo).

Imagínalo así

Piensa en una receta: el álgebra lineal son los ingredientes ordenados en la mesa, la probabilidad es saber que el horno no siempre calienta igual, y el cálculo es probar la sopa y ajustar la sal poco a poco.

Lo que tienes que llevarte
  • Un vector es una lista de números; una matriz, una tabla. Cada ejemplo de tus datos es un vector.
  • El producto punto mide qué tanto «apuntan en la misma dirección» dos vectores: es la operación más usada de todo el curso.
  • El gradiente te dice hacia dónde sube más rápido una función; para bajar, caminas al revés.
Palabras raras de esta página
norma
el largo de un vector.
autovalor / autovector
direcciones en que una matriz solo estira (no gira) las cosas, y cuánto las estira.
convexo
una función con forma de tazón: un solo fondo, imposible perderse.
distribución normal (gaussiana)
la típica campana: la mayoría de valores cerca del promedio y pocos en los extremos.

Más abajo viene la versión completa, con fórmulas. Si una palabra aparece subrayada con puntos, pasa el mouse (o tócala) para ver qué significa.

Tres herramientas aparecen una y otra vez:

  • Álgebra lineal escribe los datos y el modelo.
  • Probabilidad y estadística dicen qué tan seguros estamos.
  • Cálculo y optimización ajustan el modelo a los datos.

Las tres caben en una sola línea, que es literalmente «entrenar»:

θ⋆=arg⁡min⁡θ  1n∑i=1n⏟estadıˊsticaℓ(hθ(xi)⏟aˊlgebra lineal, yi)⟵ optimizacioˊn\theta^\star = \arg\min_\theta\; \underbrace{\frac1n \sum_{i=1}^n}_{\text{estadística}} \ell\big(\underbrace{h_\theta(\mathbf{x}_i)}_{\text{álgebra lineal}},\,y_i\big)\quad\longleftarrow\ \text{optimización}

¿Dónde aparece cada herramienta en el curso?

Sección titulada «¿Dónde aparece cada herramienta en el curso?»
HerramientaQué haceDónde la usarás
Producto punto w⊤x\mathbf{w}^\top\mathbf{x}puntaje lineal, similitud, proyecciónregresión, logística, SVM (distancia a la frontera), kernels
Normas ℓ1\ell_1, ℓ2\ell_2tamaño de un vector, distanciaridge, lasso, margen 2/∥w∥2/\Vert\mathbf{w}\Vert, kernel RBF
Inversa / sistemas linealesresolver Aw=b\mathbf{A}\mathbf{w}=\mathbf{b}ecuaciones normales, kernel ridge (K+λI)−1y(\mathbf{K}+\lambda\mathbf{I})^{-1}\mathbf{y}
Autovaloresejes y curvaturaforma del bowl de X⊤X\mathbf{X}^\top\mathbf{X}, PSD de kernels, PCA
Gaussianaruido, densidad de claseMSE = MLE, Naive Bayes, LDA/QDA, RBF
Regla de Bayesinvertir condicionalesclasificadores generativos, precision de un test
Esperanza / varianzapromedios teóricosriesgo R(h)R(h), sesgo–varianza
Gradientedirección de máximo aumentodescenso de gradiente, logística, lasso (subgradiente)
Lagrange / KKToptimizar con restriccionesSVM (dual, vectores de soporte)
Convexidadun solo vallegarantías de OLS, logística, SVM

Un dataset es una matriz X∈Rn×d\mathbf{X}\in\mathbb{R}^{n\times d}: una fila por ejemplo, una columna por feature. Una imagen a color es un tensor RH×W×3\mathbb{R}^{H\times W\times 3}.

a⊤b=∑kakbk=∥a∥ ∥b∥cos⁡θ\mathbf{a}^\top\mathbf{b} = \sum_k a_k b_k = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta

Positivo = apuntan parecido; 0 = ortogonales; negativo = opuestos. Dividido por ∥b∥\|\mathbf{b}\| es la sombra (proyección) de a\mathbf{a} sobre b\mathbf{b}. Un modelo lineal puntúa con un producto punto: hw(x)=w⊤xh_\mathbf{w}(\mathbf{x}) = \mathbf{w}^\top\mathbf{x}.

∥v∥2=v12+v22+…,∥v∥1=∣v1∣+∣v2∣+…\|\mathbf{v}\|_2 = \sqrt{v_1^2 + v_2^2 + \dots},\qquad \|\mathbf{v}\|_1 = |v_1| + |v_2| + \dots

La «bola unitaria» de ℓ2\ell_2 es un círculo; la de ℓ1\ell_1 es un rombo. Esa diferencia de forma es exactamente por qué el lasso produce ceros (ridge y lasso).

Matrices como transformaciones y eigenvectores

Sección titulada «Matrices como transformaciones y eigenvectores»

Una matriz transforma el espacio: el círculo unitario se vuelve una elipse. Un modelo lineal es una sola multiplicación y^=Xw\hat{\mathbf{y}} = \mathbf{X}\mathbf{w}. Los eigenvectores son direcciones que la matriz solo estira: Av=λv\mathbf{A}\mathbf{v} = \lambda\mathbf{v}. Los eigenvectores de la matriz de covarianza son los ejes principales de los datos (PCA), y los de X⊤X\mathbf{X}^\top\mathbf{X} fijan la forma del «bowl» del costo (por eso importa escalar features).

Las muestras forman un histograma; una densidad lo idealiza. La media μ\mu es el centro; la varianza σ2\sigma^2, la dispersión. La normal es el modelo de ruido por defecto (la suma de muchos efectos pequeños tiende a ser gaussiana):

p(x)=1σ2πexp⁡ ⁣(−(x−μ)22σ2)regla 68/95/99.7 en ±1σ,±2σ,±3σp(x) = \frac{1}{\sigma\sqrt{2\pi}}\exp\!\left(-\frac{(x-\mu)^2}{2\sigma^2}\right)\qquad\text{regla } 68/95/99.7 \text{ en } \pm1\sigma,\pm2\sigma,\pm3\sigma

La correlación dice si dos variables se mueven juntas (ρ∈[−1,1]\rho\in[-1,1]). Apilando todas las covarianzas se obtiene la matriz de covarianza Σ\Sigma, cuya forma es una elipse: es la pieza central de LDA y QDA.

Prior, likelihood, posterior y la regla de Bayes

Sección titulada «Prior, likelihood, posterior y la regla de Bayes»
P(A∣B)⏟posterior=P(B∣A)⏞likelihood  P(A)⏞priorP(B)⟹posterior∝likelihood×prior\underbrace{P(A\mid B)}_{\text{posterior}} = \frac{\overbrace{P(B\mid A)}^{\text{likelihood}}\;\overbrace{P(A)}^{\text{prior}}}{P(B)}\qquad\Longrightarrow\qquad \text{posterior}\propto\text{likelihood}\times\text{prior}

Con una enfermedad rara, las tasas base dominan: la mayoría de positivos son falsas alarmas. Compruébalo contando personas:

Bayes contando personas

Mueve el prior (prevalencia), la sensibilidad del test y su tasa de falsas alarmas. La pregunta del paciente es siempre la misma: dado que salí positivo, ¿qué tan probable es que esté enfermo?

1%99.0%80%20%3%97.0%Población10,000 Enfermos100 Sanos9,900 Test + (TP)80 Test − (FN)20 Test + (FP)297 Test − (TN)9,603
positivos totales377
de ellos, enfermos80
P(enfermo | +)21.2%
likelihood p(+|enfermo)80%
P(enf∣+)=π p(+∣enf)π p(+∣enf)+(1−π) p(+∣sano)=0.010⋅0.800.010⋅0.80+0.990⋅0.030≈0.212P(\text{enf}\mid +) = \frac{\pi\,p(+\mid\text{enf})}{\pi\,p(+\mid\text{enf}) + (1-\pi)\,p(+\mid\text{sano})} = \frac{0.010\cdot 0.80}{0.010\cdot 0.80 + 0.990\cdot 0.030} \approx 0.212
La mayoría de positivos son falsas alarmas: la tasa base (prior) domina. Nota que P(+|enfermo) = 80% pero P(enfermo|+) = 21%: invertir la barra «|» cambia la pregunta.

El riesgo R(h)=E[ℓ(h(x),y)]R(h)=\mathbb{E}[\ell(h(\mathbf{x}),y)] es una esperanza. Los promedios muestrales se acercan a ella cuando nn crece: por eso más datos ayudan.

  • Derivada = pendiente. En un mínimo la pendiente es 0.
  • Gradiente ∇J\nabla J: el vector de pendientes; apunta cuesta arriba (máximo aumento). Para minimizar se da un paso en −∇J-\nabla J.
  • Descenso de gradiente: θ←θ−η ∇J(θ)\theta \leftarrow \theta - \eta\,\nabla J(\theta). La tasa de aprendizaje η\eta es la perilla clave: muy pequeña se arrastra, muy grande diverge.
  • Convexo vs no convexo: con un solo valle (regresión lineal y logística) cualquier camino cuesta abajo gana; con muchos valles (redes profundas) buscamos un buen mínimo local.
Ejemplo con números: gradiente de una función de dos variables
  1. Sea J(w1,w2)=w12+3w22J(w_1,w_2) = w_1^2 + 3w_2^2 (un bowl alargado). Las derivadas parciales son ∂J/∂w1=2w1\partial J/\partial w_1 = 2w_1 y ∂J/∂w2=6w2\partial J/\partial w_2 = 6w_2, así que ∇J=(2w1, 6w2)\nabla J = (2w_1,\ 6w_2).
  2. En w=(2, 1)\mathbf{w} = (2,\ 1): J=4+3=7J = 4 + 3 = 7 y ∇J=(4, 6)\nabla J = (4,\ 6). El gradiente apunta cuesta arriba, más empinado en w2w_2 (curvatura 3 veces mayor).
  3. Un paso con η=0.1\eta = 0.1: w←(2,1)−0.1 (4,6)=(1.6, 0.4)\mathbf{w} \leftarrow (2,1) - 0.1\,(4,6) = (1.6,\ 0.4), y ahora J=2.56+0.48=3.04J = 2.56 + 0.48 = 3.04. Bajó de 7 a 3.04.
  4. Con η=0.4\eta = 0.4: (2,1)−0.4(4,6)=(0.4, −1.4)(2,1) - 0.4(4,6) = (0.4,\ -1.4), J=0.16+5.88=6.04J = 0.16 + 5.88 = 6.04: en w2w_2 se pasó del valle (el factor 1−6η=−1.41 - 6\eta = -1.4 tiene valor absoluto > 1). Converge solo si η<2/6\eta < 2/6.
  5. Moraleja: la dirección más curva limita la tasa de aprendizaje. Si las features tuvieran la misma escala (curvaturas parecidas) podríamos usar un η\eta más grande: es el argumento de estandarizar.

Rueda cuesta abajo: descenso de gradiente

Regla: w ← w − η·J′(w). Arrastra el punto de inicio con el slider y observa qué hace la tasa de aprendizaje η. Prueba los valores de la slide: 0.04, 0.3, 0.9 y 1.04.

-202402.557.510parámetro wcosto J(w)
iteración0
w actual-2.500
J(w)12.250
pendiente J′(w)-7.000
η = 0.3: buena: baja directo. Aquí cada paso multiplica la distancia al mínimo por (1 − 2η) = 0.40: converge si |1 − 2η| < 1, es decir 0 < η < 1. La línea roja es la tangente: su pendiente es el gradiente.

Autoevaluación

0/5 correctas · 0 respondidas
1. La bola unitaria de la norma ℓ1\ell_1 en 2-D tiene forma de…
2. Test con 80% de sensibilidad y 3% de falsas alarmas; prevalencia 1%. ¿P(enfermo∣+)P(\text{enfermo}\mid +) aprox.?
3. En w←w−η∇Jw \leftarrow w - \eta\nabla J, ¿por qué el signo menos?
4. Con J(w)=(w−1)2J(w)=(w-1)^2, ¿para qué η\eta el descenso diverge?
5. ¿Qué garantiza la convexidad?

Fuente ·ML_Course_Math_Foundations.pdf (sesión complementaria)