Code
library(wooldridge)
data("wage1")Al terminar el capítulo el lector debería ser capaz de:
Una vez que mantenemos constantes la experiencia, la antigüedad, el sexo y el estado civil, ¿cuál es el rendimiento de un año adicional de educación?
El Capítulo 1 mostró que la brecha bruta de salarios por nivel educativo en wage1 confunde el efecto de la escolaridad con el de la experiencia, la antigüedad y los rasgos demográficos; el Capítulo 2 estimó una regresión simple de wage sobre educ y advirtió de forma explícita que la pendiente MCO no podía leerse en clave causal. El modelo de regresión lineal múltiple (RLM) es la herramienta de trabajo que nos permite tomar en serio esa advertencia: al incluir controles, pasamos de medias condicionales brutas a efectos parciales — el cambio en \(y\) asociado a un cambio unitario en un regresor, manteniendo fijos los demás.
modelo de regresión lineal simple \[ y = \beta_0 + \beta_1 x + u \] tiene una debilidad estructural: todo determinante de \(y\) distinto de \(x\) queda agrupado en el término de error \(u\). Si alguno de esos determinantes omitidos está correlacionado con \(x\), entonces \(\operatorname{Cov}(x,u)\neq 0\), el supuesto de media condicional cero \(\mathbb{E}[u\mid x]=0\) falla, y MCO es sesgado para el efecto causal de \(x\) sobre \(y\) (Wooldridge 2020).
Supongamos \[ \text{wage} = \beta_0 + \beta_1\,\text{educ} + u. \] El error \(u\) contiene la habilidad innata, el entorno familiar, la motivación, la calidad del centro educativo y otras muchas variables no observables. Si los trabajadores más hábiles también acumulan más educación, entonces \(\operatorname{Cov}(\text{educ}, u) > 0\), y el estimador MCO simple \(\hat\beta_1\) no aísla el rendimiento causal de la escolaridad: confunde el retorno a la educación con el retorno a aquello que mueve conjuntamente a la habilidad y a la educación.
La solución es conceptualmente sencilla: traer al modelo los factores omitidos relevantes como regresores adicionales. Reemplazamos el modelo simple por \[ \text{wage} = \beta_0 + \beta_1\,\text{educ} + \beta_2\,\text{exper} + \beta_3\,\text{tenure} + u, \] de modo que la experiencia y la antigüedad pasan a formar parte de la componente sistemática en lugar de quedarse en \(u\). El coeficiente \(\beta_1\) en este modelo más largo se interpreta como el cambio del salario esperado ante un año adicional de educación, manteniendo fijas la experiencia y la antigüedad. Esa es la afirmación ceteris paribus a la que aspira la economía empírica.
Dos advertencias merecen subrayarse desde el principio:
Con \(k\) regresores \(x_1,\ldots,x_k\), el modelo poblacional RLM es \[ y = \beta_0 + \beta_1 x_1 + \beta_2 x_2 + \cdots + \beta_k x_k + u. \] Cada pendiente \(\beta_j\) es el efecto parcial de \(x_j\) sobre \(y\): \[ \beta_j \;=\; \frac{\partial\, \mathbb{E}[y\mid x_1,\ldots,x_k]}{\partial x_j}. \] Es decir, \(\beta_j\) mide cómo se desplaza la media condicional de \(y\) cuando \(x_j\) cambia en una unidad y los demás regresores permanecen constantes.
En el ejemplo salarial, una ecuación estimada como \[ \widehat{\text{wage}} \;=\; 3{,}0 + 1{,}5\,\text{educ} + 0{,}04\,\text{age} + 0{,}07\,\text{exper} + 0{,}05\,\text{tenure} \] afirma: entre dos trabajadores con la misma edad, experiencia y antigüedad que difieren en un año de escolaridad, el salario por hora predicho difiere en 1,50 euros en media. El matiz crucial es ese «misma edad, experiencia y antigüedad» — es lo que distingue al coeficiente RLM de la pendiente de una regresión no condicional.
Un error muy extendido consiste en leer \(\hat\beta_1\) como «el efecto sobre \(y\) de cambiar \(x_1\)», sin la cláusula condicional. En RLM toda pendiente es condicional al resto de regresores incluidos. Si cambian los controles del modelo, cambia el significado de \(\beta_1\) — no solo su valor numérico.
Para una muestra de \(n\) observaciones resulta mucho más limpio apilar el modelo en forma matricial. Definimos \[ \mathbf{y} = \begin{pmatrix} y_1 \\ y_2 \\ \vdots \\ y_n \end{pmatrix}_{n\times 1}, \quad \mathbf{X} = \begin{pmatrix} 1 & x_{11} & x_{12} & \cdots & x_{1k} \\ 1 & x_{21} & x_{22} & \cdots & x_{2k} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 1 & x_{n1} & x_{n2} & \cdots & x_{nk} \end{pmatrix}_{n\times (k+1)}, \quad \beta = \begin{pmatrix} \beta_0 \\ \beta_1 \\ \vdots \\ \beta_k \end{pmatrix}_{(k+1)\times 1}, \quad \mathbf{u} = \begin{pmatrix} u_1 \\ u_2 \\ \vdots \\ u_n \end{pmatrix}_{n\times 1}. \]
El modelo RLM para toda la muestra es entonces \[ \mathbf{y} \;=\; \mathbf{X}\beta + \mathbf{u}. \]
La primera columna de \(\mathbf{X}\) es una columna de unos, que absorbe el intercepto \(\beta_0\). A partir de ahora escribiremos las demostraciones en forma matricial; es la notación estándar de (Wooldridge 2020) y rinde frutos a partir del Capítulo 4.
El estimador de mínimos cuadrados ordinarios (MCO) elige \(\hat{\beta}\) minimizando la suma de cuadrados de los residuos \[ \mathrm{SCR}(\beta) \;=\; (\mathbf{y}-\mathbf{X}\beta)'(\mathbf{y}-\mathbf{X}\beta) \;=\; \mathbf{y}'\mathbf{y} - 2\beta'\mathbf{X}'\mathbf{y} + \beta'\mathbf{X}'\mathbf{X}\beta. \]
Derivando respecto de \(\beta\) e igualando a cero obtenemos las ecuaciones normales \[ \mathbf{X}'\mathbf{X}\,\hat{\beta} \;=\; \mathbf{X}'\mathbf{y}. \]
Si \(\mathbf{X}'\mathbf{X}\) es invertible — lo que es exactamente el Supuesto RLM.3 más abajo — la solución única es
\[ \boxed{\;\hat{\beta} \;=\; (\mathbf{X}'\mathbf{X})^{-1}\mathbf{X}'\mathbf{y}.\;} \]
Los valores ajustados son \(\hat{\mathbf{y}} = \mathbf{X}\hat{\beta}\) y los residuos \(\hat{\mathbf{u}} = \mathbf{y} - \hat{\mathbf{y}}\). Por construcción, las ecuaciones normales implican \(\mathbf{X}'\hat{\mathbf{u}} = \mathbf{0}\): los residuos son ortogonales a todos los regresores, incluida la constante. En particular, la media muestral de \(\hat{\mathbf{u}}\) es cero siempre que el modelo contenga un intercepto.
Como en el Capítulo 1, \(u\) es un objeto poblacional e inobservable. El residuo \(\hat u_i = y_i - \hat y_i\) es su contrapartida muestral, producida tras la estimación. Usaremos \(\hat{\mathbf{u}}\) para calcular estimadores de varianza y el \(R^2\), pero nunca observaremos \(\mathbf{u}\) propiamente dicho.
Recopilamos ahora los supuestos bajo los que MCO tiene sus propiedades clásicas. Generalizan los del Capítulo 2 sobre regresión simple.
El modelo poblacional es \[ y = \beta_0 + \beta_1 x_1 + \cdots + \beta_k x_k + u. \] La linealidad se exige en los parámetros \(\beta_j\), no en los regresores: \(x_j^2\) o \(\ln(x_j)\) son perfectamente válidos.
Observamos una muestra aleatoria i.i.d. \(\{(y_i, x_{i1}, \ldots, x_{ik}) : i = 1, \ldots, n\}\) extraída de la población descrita por RLM.1.
En la muestra (y en la población), ningún regresor es constante y no existe ninguna relación lineal exacta entre los regresores. De manera equivalente, \(\mathbf{X}'\mathbf{X}\) es invertible.
El error tiene media cero condicionada a cualquier valor de los regresores: \[ \mathbb{E}[u \mid x_1, \ldots, x_k] = 0, \qquad \text{o, en forma matricial,}\qquad \mathbb{E}[\mathbf{u}\mid\mathbf{X}] = \mathbf{0}. \] Es el supuesto que garantiza la insesgadez de MCO. Falla siempre que se omite una variable relevante (§3.9), se utiliza una forma funcional equivocada, o hay error de medida o simultaneidad.
La varianza condicional de \(u\) no depende de \(\mathbf{X}\): \[ \operatorname{Var}(u\mid x_1,\ldots,x_k) = \sigma^2, \qquad \operatorname{Var}(\mathbf{u}\mid\mathbf{X}) = \sigma^2\mathbf{I}_n. \]
Los supuestos RLM.1–RLM.4 proporcionan la insesgadez (siguiente sección); añadiendo RLM.5, MCO se convierte en el estimador lineal insesgado óptimo (ELIO; BLUE en inglés) — el teorema de Gauss–Markov.
RLM.3 solo descarta la dependencia lineal exacta entre los regresores. Dos variables altamente correlacionadas — pero no perfectamente correlacionadas — (por ejemplo educ y un test de aptitud IQ) siguen cumpliendo RLM.3. Inflarán la varianza de los estimadores MCO (el \(R_j^2\) de la fórmula de varianza estará cerca de 1), pero no los sesgan ni rompen el modelo.
Bajo RLM.1–RLM.4, \[ \mathbb{E}[\hat{\beta}\mid\mathbf{X}] = \beta. \]
Esquema de la demostración. Partiendo de la solución MCO, \[ \hat{\beta} = (\mathbf{X}'\mathbf{X})^{-1}\mathbf{X}'\mathbf{y} = (\mathbf{X}'\mathbf{X})^{-1}\mathbf{X}'(\mathbf{X}\beta + \mathbf{u}) = \beta + (\mathbf{X}'\mathbf{X})^{-1}\mathbf{X}'\mathbf{u}. \] Tomando esperanzas condicionales y usando RLM.4 (\(\mathbb{E}[\mathbf{u}\mid\mathbf{X}] = \mathbf{0}\)), \[ \mathbb{E}[\hat{\beta}\mid\mathbf{X}] = \beta + (\mathbf{X}'\mathbf{X})^{-1}\mathbf{X}' \mathbb{E}[\mathbf{u}\mid\mathbf{X}] = \beta. \] Por la ley de esperanzas iteradas, \(\mathbb{E}[\hat{\beta}] = \beta\) también de forma incondicional. \(\quad\square\)
La demostración deja transparente el papel de RLM.4: cualquier correlación entre \(\mathbf{X}\) y \(\mathbf{u}\) entra en el término de sesgo \((\mathbf{X}'\mathbf{X})^{-1}\mathbf{X}' \mathbb{E}[\mathbf{u}\mid\mathbf{X}]\). Esta es la versión matricial del SVO que deduciremos en §3.9.
Bajo RLM.1–RLM.5, \[ \operatorname{Var}(\hat{\beta}\mid\mathbf{X}) = \sigma^2 (\mathbf{X}'\mathbf{X})^{-1}. \]
Esquema de la demostración. De la prueba de insesgadez, \(\hat{\beta} - \beta = (\mathbf{X}'\mathbf{X})^{-1}\mathbf{X}'\mathbf{u}\). Por tanto \[ \operatorname{Var}(\hat{\beta}\mid\mathbf{X}) = (\mathbf{X}'\mathbf{X})^{-1}\mathbf{X}'\, \operatorname{Var}(\mathbf{u}\mid\mathbf{X})\, \mathbf{X}(\mathbf{X}'\mathbf{X})^{-1} = (\mathbf{X}'\mathbf{X})^{-1}\mathbf{X}'\,(\sigma^2\mathbf{I}_n)\,\mathbf{X}(\mathbf{X}'\mathbf{X})^{-1} = \sigma^2 (\mathbf{X}'\mathbf{X})^{-1}. \] Los elementos de la diagonal dan las varianzas de los coeficientes individuales; los de fuera de la diagonal, sus covarianzas. \(\quad\square\)
La varianza de una pendiente individual \(\hat\beta_j\) admite una descomposición univariante muy útil, \[ \operatorname{Var}(\hat\beta_j\mid\mathbf{X}) \;=\; \frac{\sigma^2}{\mathrm{SCT}_j\,(1 - R_j^2)}, \] donde \(\mathrm{SCT}_j = \sum_{i=1}^n (x_{ij} - \bar x_j)^2\) y \(R_j^2\) es el \(R^2\) de la regresión auxiliar de \(x_j\) sobre todos los demás regresores. De aquí se extraen tres intuiciones:
Como \(\sigma^2\) es desconocida, la estimamos mediante la varianza residual, \[ \hat\sigma^2 \;=\; \frac{\mathrm{SCR}}{n - k - 1} \;=\; \frac{\hat{\mathbf{u}}'\hat{\mathbf{u}}}{n - k - 1}, \] que es insesgada bajo RLM.1–RLM.5. El denominador \(n - k - 1\) son los grados de libertad: tamaño muestral menos número de coeficientes estimados (incluido el intercepto).
Como en la regresión simple, la variación total de \(y\) se descompone en variación explicada y residual, \[ \mathrm{SCT} \;=\; \mathrm{SCE} + \mathrm{SCR}, \qquad R^2 \;=\; 1 - \frac{\mathrm{SCR}}{\mathrm{SCT}} \;\in\; [0,1]. \]
Hay, no obstante, una sutileza específica de la RLM: el \(R^2\) nunca decrece al añadir un regresor al modelo, aun cuando ese regresor sea puro ruido. Cualquier variable nueva aporta, al menos, tanto ajuste como ninguna, porque MCO siempre podría fijar el nuevo coeficiente en cero. En consecuencia, el \(R^2\) por sí solo no permite arbitrar entre especificaciones anidadas.
El \(R^2\) ajustado penaliza la complejidad del modelo: \[ \bar R^2 \;=\; 1 - \frac{\mathrm{SCR}/(n-k-1)}{\mathrm{SCT}/(n-1)} \;=\; 1 - \frac{n-1}{n-k-1}\,(1-R^2). \] A diferencia del \(R^2\), el \(\bar R^2\) puede disminuir cuando se añade una variable irrelevante — el coste del parámetro adicional supera la ganancia en ajuste. Resulta, por tanto, un resumen más honesto al comparar modelos con distinto número de regresores.
Un \(R^2\) alto no implica que el modelo sea causal, ni que prediga bien fuera de la muestra. Una regresión de educ sobre educ_squared y educ_cubed tendrá un \(R^2\) próximo a 1 y ningún contenido económico. Trate al \(R^2\) como un resumen de bondad de ajuste, no como un criterio de selección de modelos. El AIC y el BIC, introducidos en el Capítulo 5, son más apropiados para esta última tarea.
El sesgo de variable omitida (SVO) es el nombre formal del problema motivado en §3.1. Supongamos que el modelo poblacional verdadero es \[ y = \beta_0 + \beta_1 x_1 + \beta_2 x_2 + u, \qquad \mathbb{E}[u\mid x_1, x_2] = 0, \] pero estimamos por MCO el modelo corto \[ y = \tilde\beta_0 + \tilde\beta_1 x_1 + \tilde u, \] omitiendo \(x_2\). ¿Qué estima \(\tilde\beta_1\)?
Bajo el modelo verdadero anterior y una regresión MCO de \(y\) sobre \(x_1\) únicamente, \[ \mathbb{E}[\tilde\beta_1\mid\mathbf{x}_1] \;=\; \beta_1 + \beta_2\,\tilde\delta_1, \] donde \(\tilde\delta_1\) es el coeficiente de pendiente de la regresión auxiliar de la variable omitida \(x_2\) sobre la variable incluida \(x_1\): \[ x_2 = \tilde\delta_0 + \tilde\delta_1 x_1 + v. \]
Esquema de la demostración. Por la fórmula de la regresión simple, \[ \tilde\beta_1 = \frac{\sum_{i}(x_{1i}-\bar x_1)\,y_i}{\sum_i (x_{1i}-\bar x_1)^2}. \] Sustituyendo el modelo verdadero \(y_i = \beta_0 + \beta_1 x_{1i} + \beta_2 x_{2i} + u_i\) y usando \(\sum_i (x_{1i}-\bar x_1) = 0\), \[ \tilde\beta_1 \;=\; \beta_1 + \beta_2\,\underbrace{\frac{\sum_i (x_{1i}-\bar x_1)x_{2i}}{\sum_i (x_{1i}-\bar x_1)^2}}_{=\,\tilde\delta_1} + \frac{\sum_i (x_{1i}-\bar x_1)u_i}{\sum_i (x_{1i}-\bar x_1)^2}. \] El último término tiene esperanza condicional cero por RLM.4 del modelo verdadero, lo que deja \(\mathbb{E}[\tilde\beta_1\mid\mathbf{x}_1] = \beta_1 + \beta_2\tilde\delta_1\). \(\quad\square\)
El sesgo es el producto \(\beta_2\tilde\delta_1\). Se anula en dos casos:
En cualquier otro caso, omitir una variable relevante y correlacionada contamina \(\tilde\beta_1\).
La misma lógica se extiende a cualquier número de regresores omitidos. Supongamos que el modelo verdadero tiene \(k\) regresores incluidos y \(m\) omitidos, \(y = \beta_0 + \beta_1 x_1 + \cdots + \beta_k x_k + \gamma_1 z_1 + \cdots + \gamma_m z_m + u\), y estimamos la regresión corta sobre \((x_1, \ldots, x_k)\) únicamente. El sesgo sobre una pendiente concreta \(\tilde\beta_j\) es entonces \[
\mathbb{E}[\tilde\beta_j \mid \mathbf{X}] - \beta_j \;=\; \sum_{\ell = 1}^{m} \gamma_\ell\, \tilde\delta_{j\ell},
\] donde \(\tilde\delta_{j\ell}\) es la pendiente sobre \(x_j\) en la regresión auxiliar de la \(\ell\)-ésima variable omitida \(z_\ell\) sobre todos los regresores incluidos. En palabras: cada variable omitida aporta su propio término \(\gamma_\ell \tilde\delta_{j\ell}\), y el sesgo total es la suma. La práctica de §3.10.2 aplica esta extensión multivariable a los dos regresores omitidos exper y tenure simultáneamente.
El signo del sesgo viene determinado por los signos de \(\beta_2\) y \(\tilde\delta_1\):
| \(\tilde\delta_1 > 0\) | \(\tilde\delta_1 < 0\) | |
|---|---|---|
| \(\beta_2 > 0\) | Sesgo positivo | Sesgo negativo |
| \(\beta_2 < 0\) | Sesgo negativo | Sesgo positivo |
Supongamos que la ecuación salarial verdadera es \(\text{wage} = \beta_0 + \beta_1\,\text{educ} + \beta_2\,\text{habilidad} + u\).
Es el clásico «sesgo de habilidad» de la literatura de economía laboral. Una pendiente MCO ingenua de, digamos, 0,60 euros por año de escolaridad puede convivir perfectamente con un retorno verdadero de 0,40 una vez se descuenta la habilidad no observada.
Añadir una variable cuyo coeficiente verdadero es cero no introduce sesgo (la fórmula del SVO da sesgo \(= 0 \cdot \tilde\delta_1 = 0\)). Pero infla la varianza de todas las demás pendientes a través del término \(R_j^2\) de §3.7. La regla práctica es: incluya controles que la teoría o su estrategia de identificación justifique, no regresores que casualmente «parezcan significativos».
Trabajamos de nuevo con wage1 — una sección cruzada de 526 trabajadores estadounidenses de mayo de 1976, distribuida con el paquete wooldridge. La práctica tiene tres partes: regresiones salariales anidadas, demostración numérica del SVO y una advertencia de multicolinealidad perfecta.
library(wooldridge)
data("wage1")Reestimamos primero la regresión simple de wage sobre educ y luego añadimos exper y tenure:
model1 <- lm(wage ~ educ, data = wage1)
model2 <- lm(wage ~ educ + exper + tenure, data = wage1)
summary(model1)
Call:
lm(formula = wage ~ educ, data = wage1)
Residuals:
Min 1Q Median 3Q Max
-5.3396 -2.1501 -0.9674 1.1921 16.6085
Coefficients:
Estimate Std. Error t value Pr(>|t|)
(Intercept) -0.90485 0.68497 -1.321 0.187
educ 0.54136 0.05325 10.167 <2e-16 ***
---
Signif. codes: 0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1
Residual standard error: 3.378 on 524 degrees of freedom
Multiple R-squared: 0.1648, Adjusted R-squared: 0.1632
F-statistic: 103.4 on 1 and 524 DF, p-value: < 2.2e-16
summary(model2)
Call:
lm(formula = wage ~ educ + exper + tenure, data = wage1)
Residuals:
Min 1Q Median 3Q Max
-7.6068 -1.7747 -0.6279 1.1969 14.6536
Coefficients:
Estimate Std. Error t value Pr(>|t|)
(Intercept) -2.87273 0.72896 -3.941 9.22e-05 ***
educ 0.59897 0.05128 11.679 < 2e-16 ***
exper 0.02234 0.01206 1.853 0.0645 .
tenure 0.16927 0.02164 7.820 2.93e-14 ***
---
Signif. codes: 0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1
Residual standard error: 3.084 on 522 degrees of freedom
Multiple R-squared: 0.3064, Adjusted R-squared: 0.3024
F-statistic: 76.87 on 3 and 522 DF, p-value: < 2.2e-16
Compare el coeficiente de educ en las dos especificaciones. En model1, un año adicional de educación se asocia aproximadamente con 0,54 USD/hora más; en model2, el mismo coeficiente aumenta hasta cerca de 0,59 una vez mantenidos fijos experiencia y antigüedad. En cualquiera de los casos, \(\hat\beta_1\) en model2 es el rendimiento ceteris paribus de la educación que model1 no logró entregar.
Añadamos ahora controles demográficos:
model3 <- lm(wage ~ educ + exper + tenure + female + married, data = wage1)
summary(model3)
Call:
lm(formula = wage ~ educ + exper + tenure + female + married,
data = wage1)
Residuals:
Min 1Q Median 3Q Max
-7.731 -1.816 -0.500 1.050 13.928
Coefficients:
Estimate Std. Error t value Pr(>|t|)
(Intercept) -1.61815 0.72305 -2.238 0.0256 *
educ 0.55568 0.04986 11.144 < 2e-16 ***
exper 0.01874 0.01203 1.558 0.1198
tenure 0.13878 0.02114 6.566 1.25e-10 ***
female -1.74140 0.26649 -6.535 1.52e-10 ***
married 0.55924 0.28595 1.956 0.0510 .
---
Signif. codes: 0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1
Residual standard error: 2.95 on 520 degrees of freedom
Multiple R-squared: 0.3682, Adjusted R-squared: 0.3621
F-statistic: 60.61 on 5 and 520 DF, p-value: < 2.2e-16
El coeficiente de female es la brecha salarial de género condicional, una vez fijadas educación, experiencia, antigüedad y estado civil; el coeficiente de married es la prima salarial por matrimonio condicional. Ambos son menores en magnitud que las medias condicionales brutas del Capítulo 1 — los confundidores han quedado en parte controlados.
Comparemos la bondad de ajuste a lo largo de los tres modelos anidados:
data.frame(
modelo = c("solo educ", "educ+exper+tenure", "completo"),
r2 = c(summary(model1)$r.squared,
summary(model2)$r.squared,
summary(model3)$r.squared),
r2_adj = c(summary(model1)$adj.r.squared,
summary(model2)$adj.r.squared,
summary(model3)$adj.r.squared)
) modelo r2 r2_adj
1 solo educ 0.1647575 0.1631635
2 educ+exper+tenure 0.3064224 0.3024364
3 completo 0.3681887 0.3621136
Tanto el \(R^2\) como el \(R^2\) ajustado crecen al añadir controles — aquí cada regresor adicional está justificado por la teoría de economía laboral, de modo que el resultado no debería sorprendernos.
Verifiquemos ahora numéricamente la fórmula del SVO. La regresión «corta» de wage sobre educ omite dos regresores que sabemos correlacionados con la educación: exper y tenure. Estimamos las dos regresiones auxiliares:
aux_exper <- lm(exper ~ educ, data = wage1)
aux_tenure <- lm(tenure ~ educ, data = wage1)
delta_exper <- coef(aux_exper)["educ"]
delta_tenure <- coef(aux_tenure)["educ"]
c(delta_exper = delta_exper, delta_tenure = delta_tenure) delta_exper.educ delta_tenure.educ
-1.4681823 -0.1465559
La pendiente de exper sobre educ es negativa: en esta sección cruzada de 1976, los trabajadores con más estudios tienen menos experiencia laboral (algo mecánico — el tiempo dedicado a estudiar es tiempo no dedicado a trabajar). La pendiente de tenure sobre educ es ligeramente positiva en esta muestra.
Sustituyamos ahora las pendientes auxiliares y los coeficientes de la regresión larga en la fórmula del SVO y comparemos con la diferencia observada entre las estimaciones cortas y largas:
b1_short <- coef(model1)["educ"]
b1_long <- coef(model2)["educ"]
b2_long <- coef(model2)["exper"]
b3_long <- coef(model2)["tenure"]
sesgo_predicho <- b2_long * delta_exper + b3_long * delta_tenure
sesgo_observado <- b1_short - b1_long
c(sesgo_predicho = sesgo_predicho,
diferencia_observada = sesgo_observado) sesgo_predicho.exper diferencia_observada.educ
-0.05760581 -0.05760581
Los dos números deben coincidir hasta la precisión de coma flotante — esta es la extensión multivariable del SVO enunciada en §3.9 (callout Extensión: más de una variable omitida) en acción, aplicada aquí simultáneamente a los dos regresores omitidos exper y tenure. La pendiente de la regresión simple sobre educ difiere de la pendiente de la regresión múltiple en exactamente \(\hat\beta_{\text{exper}}\tilde\delta_{\text{exper}} + \hat\beta_{\text{tenure}}\tilde\delta_{\text{tenure}}\).
Lo que la igualdad numérica demuestra es, en realidad, la identidad muestral de Frisch–Waugh–Lovell: las pendientes muestrales de las regresiones corta y larga se relacionan mediante exactamente la misma combinación algebraica que la fórmula poblacional del SVO, pero con \((\hat\beta, \tilde\delta)\) en lugar de \((\beta, \tilde\delta)\). El enunciado poblacional del SVO de §3.9 es la versión en valor esperado de esta identidad muestral; el Ejercicio 3.6 pide deducir el teorema FWL subyacente.
Tanto exper como tenure tienen retornos positivos (\(\hat\beta_2, \hat\beta_3 > 0\)). Pero exper está negativamente correlacionada con educ (\(\tilde\delta_{\text{exper}} < 0\)), y este efecto domina. El producto \(\hat\beta_2\tilde\delta_{\text{exper}}\) es negativo; omitir la experiencia arrastra, pues, la pendiente de la regresión corta sobre educ hacia abajo respecto a la regresión larga. La tabla 2$$2 de signos de arriba captura este patrón con exactitud.
Ahora una violación deliberada de RLM.3. Imaginemos que medimos la educación en años (educ) y, además, creamos una copia redundante en meses (educ_meses = 12 * educ):
wage1$educ_meses <- 12 * wage1$educ
model_collinear <- lm(wage ~ educ + exper + tenure + educ_meses, data = wage1)
summary(model_collinear)
Call:
lm(formula = wage ~ educ + exper + tenure + educ_meses, data = wage1)
Residuals:
Min 1Q Median 3Q Max
-7.6068 -1.7747 -0.6279 1.1969 14.6536
Coefficients: (1 not defined because of singularities)
Estimate Std. Error t value Pr(>|t|)
(Intercept) -2.87273 0.72896 -3.941 9.22e-05 ***
educ 0.59897 0.05128 11.679 < 2e-16 ***
exper 0.02234 0.01206 1.853 0.0645 .
tenure 0.16927 0.02164 7.820 2.93e-14 ***
educ_meses NA NA NA NA
---
Signif. codes: 0 '***' 0.001 '**' 0.01 '*' 0.05 '.' 0.1 ' ' 1
Residual standard error: 3.084 on 522 degrees of freedom
Multiple R-squared: 0.3064, Adjusted R-squared: 0.3024
F-statistic: 76.87 on 3 and 522 DF, p-value: < 2.2e-16
R no se cae — pero sí descarta silenciosamente educ_meses (su coeficiente aparece como NA). La razón es exactamente RLM.3: educ_meses es función lineal exacta de educ, así que la matriz de diseño \(\mathbf{X}\) es deficiente de rango, \(\mathbf{X}'\mathbf{X}\) es singular y \((\mathbf{X}'\mathbf{X})^{-1}\) no existe. No podemos saber si el «trabajo» lo hace un cambio unitario en educ o un cambio de 12 unidades en educ_meses — los datos no contienen esa información.
Una versión más sutil del mismo problema: en una encuesta que registra las horas semanales trabajadas (hours), uno podría sentirse tentado a añadir la variable resto = 168 - hours («horas no trabajadas a la semana», puesto que \(168 = 24\times 7\)). El resultado es una relación lineal perfecta entre hours, resto y la constante: \(\text{hours} + \text{resto} = 168\). Cualquier regresión que incluya las tres será deficiente de rango. Regla práctica: si puede escribir un regresor como función determinista de los demás (más la constante), está violando RLM.3.
Seis preguntas breves de elección múltiple. Intente cada una antes de desplegar la respuesta.
En el modelo \(y = \beta_0 + \beta_1 x_1 + \beta_2 x_2 + u\), el coeficiente \(\beta_1\) mide:
Respuesta: B. Toda pendiente RLM es un efecto parcial: aísla la variación de \(y\) asociada a \(x_1\) una vez mantenidos fijos los demás regresores del modelo.
RLM.4 exige:
Respuesta: C. RLM.4 es la condición de media condicional cero respecto a todos los regresores simultáneamente. Es lo que garantiza la insesgadez de MCO.
En una regresión salarial omitimos la habilidad innata. Supongamos que (i) los trabajadores más hábiles ganan más, manteniendo fija la educación, y (ii) los trabajadores más hábiles adquieren más educación. El coeficiente MCO sobre educ estará:
Respuesta: C. Con \(\beta_{\text{habilidad}} > 0\) y \(\tilde\delta_{\text{educ}} > 0\), el sesgo \(\beta_2\tilde\delta_1\) es positivo: la regresión corta sobreestima el rendimiento de la escolaridad.
Respuesta: B. RLM.3 es el supuesto de invertibilidad de \(\mathbf{X}'\mathbf{X}\). Violarlo deja la fórmula MCO indefinida; R descartará una de las variables conflictivas e informará NA.
¿Qué afirmación es verdadera cuando se añade un regresor irrelevante a un modelo?
Respuesta: B. El \(R^2\) no puede disminuir porque MCO siempre podría fijar el nuevo coeficiente a cero. El \(R^2\) ajustado resta una penalización por parámetro; si la variable nueva no mejora suficientemente el ajuste, la penalización gana.
El SVO sobre la pendiente de \(x_1\) es exactamente cero cuando:
Respuesta: C. La fórmula del SVO \(\beta_2\tilde\delta_1\) se anula siempre que uno de los dos factores sea cero. Ni muestras grandes ni un \(R^2\) alto corrigen el sesgo de variable omitida.
Ejercicio 3.1 ★ — Interpretar una RLM estimada. Un investigador reporta \[
\widehat{\text{wage}} = -2{,}87 + 0{,}599\,\text{educ} + 0{,}022\,\text{exper} + 0{,}169\,\text{tenure}
\] estimada sobre wage1. (a) Interprete cada coeficiente de pendiente en lenguaje llano. (b) Prediga el salario por hora de un trabajador con 16 años de educación, 5 años de experiencia y 3 de antigüedad. (c) ¿Por qué no debe leer \(\hat\beta_1 = 0{,}599\) como el rendimiento causal de la escolaridad?
exper y tenure. (b) \(\widehat{\text{wage}} = -2{,}87 + 0{,}599\cdot 16 + 0{,}022\cdot 5 + 0{,}169\cdot 3 \approx 7{,}32\) USD/hora. (c) Porque es improbable que RLM.4 se cumpla aquí — la habilidad, el entorno familiar y la calidad escolar siguen en \(u\) y están correlacionadas con educ. La pendiente es el mejor resumen lineal dentro del modelo, no un coeficiente causal.Ejercicio 3.2 ★ — Detectar colinealidad perfecta. Para cada uno de los siguientes conjuntos de regresores, decida si se viola RLM.3. Si es así, identifique la dependencia lineal exacta.
{const, age, age_squared}.{const, female, male}, donde male = 1 - female.{const, exper, tenure, exper + tenure}.{const, educ, log(educ)} — suponga educ > 0.age. (b) Violación: female + male = 1, la columna constante. (c) Violación: el cuarto regresor es la suma del segundo y el tercero. (d) No hay violación: \(\log\) es no lineal, así que RLM.3 se mantiene (aunque una alta colinealidad puede inflar las varianzas).Ejercicio 3.3 ★ — Signo del SVO a partir de la teoría. Desea estimar el efecto de la asistencia a clase sobre la nota final pero omite el esfuerzo del estudiante. Suponga que el esfuerzo eleva la nota y está positivamente correlacionado con la asistencia. Prediga el signo del sesgo sobre el coeficiente de asistencia en una regresión corta que omita el esfuerzo y explíquelo en una frase.
Con \(\beta_{\text{esfuerzo}} > 0\) y \(\tilde\delta_{\text{asistencia}} > 0\), el sesgo \(\beta_2\tilde\delta_1\) es positivo: la regresión corta sobreestima el efecto de la asistencia porque parte del efecto aparente es, en realidad, el efecto del esfuerzo (no observado) correlacionado con la asistencia.
Ejercicio 3.4 ★ — \(R^2\) ajustado que cae. Construya un pequeño ejemplo numérico (o argumente analíticamente) que muestre cómo añadir un regresor irrelevante puede dejar el \(R^2\) prácticamente invariable mientras hace caer el \(R^2\) ajustado. Use la identidad \(\bar R^2 = 1 - (n-1)(1-R^2)/(n-k-1)\) para explicar por qué.
Con \(n = 100\), suponga \(R^2 = 0{,}30\) con \(k = 3\) regresores: \(\bar R^2 = 1 - 99\cdot 0{,}70/96 \approx 0{,}278\). Añadimos un cuarto regresor irrelevante que eleva \(R^2\) a \(0{,}301\): \(\bar R^2 = 1 - 99\cdot 0{,}699/95 \approx 0{,}272\). El \(R^2\) sube 0,001 pero \(\bar R^2\) baja 0,006 porque \((n-1)/(n-k-1)\) crece más rápido de lo que decrece \(1-R^2\). Este es el sentido formal en que el \(\bar R^2\) penaliza la complejidad.
Ejercicio 3.5 ★★ — SVO por simulación. Genere \(n=1000\) observaciones del modelo \(y = 1 + 2x_1 + 3x_2 + u\), con \(x_1 \sim \mathcal{N}(0,1)\), \(x_2 = 0{,}5\,x_1 + 0{,}5\,z\), \(z\sim\mathcal{N}(0,1)\) independiente de \(x_1\), y \(u \sim \mathcal{N}(0,1)\) independiente de todo lo demás. (a) Estime la regresión corta de \(y\) sobre \(x_1\) solo y la regresión larga de \(y\) sobre \((x_1, x_2)\). (b) Use la fórmula del SVO para predecir la diferencia entre las dos pendientes sobre \(x_1\) y verifíquela numéricamente. Pista: \(\tilde\delta_1 = 0{,}5\) por construcción.
La respuesta completa figura en la edición del docente.
Ejercicio 3.6 ★★★ — Particionamiento de Frisch–Waugh–Lovell. Sea \(\tilde x_1\) los residuos de regresar \(x_1\) sobre los demás regresores \((x_2,\ldots,x_k)\) y la constante. Demuestre, usando las ecuaciones normales de MCO, que el coeficiente de la regresión múltiple sobre \(x_1\) coincide con la pendiente de una regresión simple de \(y\) sobre \(\tilde x_1\). Verifique su deducción numéricamente con wage1: regrese educ sobre exper y tenure, conserve los residuos y compruebe que regresar wage sobre esos residuos reproduce \(\hat\beta_{\text{educ}}\) de la regresión larga de §3.10.
La respuesta completa figura en la edición del docente.
Ejercicio 3.7 ★★ — El retorno a bwght. En el Capítulo 2 §2.11 se estimó una regresión simple del peso al nacer sobre el tabaquismo materno y se advirtió que la pendiente sobre cigs podía estar contaminada por variables omitidas (renta, educación o nutrición de la madre). Use ahora el instrumental de la regresión múltiple para abordar esa advertencia.
bwght del paquete wooldridge, estime \[
\text{bwght} = \beta_0 + \beta_1\,\text{cigs} + \beta_2\,\text{motheduc} + \beta_3\,\text{fatheduc} + \beta_4\,\text{parity} + u.
\] Reporte \(\hat\beta_1\) y compárelo con la pendiente de la regresión simple \(-0{,}51\) del Capítulo 2 §2.11. ¿Se ha desplazado hacia cero, alejado de cero o permanece esencialmente igual?motheduc, fatheduc y parity sobre cigs, y utilice los \(\tilde\delta_j\) resultantes junto con los coeficientes de la regresión larga \(\hat\beta_2, \hat\beta_3, \hat\beta_4\) para predecir la diferencia entre las pendientes de la regresión simple y la múltiple sobre cigs. Verifique que su diferencia predicha coincide numéricamente con la observada (es la identidad FWL en acción, exactamente como en el ejemplo salarial de §3.10.2).La respuesta completa figura en la edición del docente.
Autoevaluación interactiva: LEARNR/03_multiple_linear_regression.Rmd.