Análise Discriminante: Formulação Matemática da Redução de Dimensionalidade LDA

Após explorarmos as formulações dos classificadores LDA e QDA, aprofundemo-nos agora na fundamentação matemática da redução de dimensionalidade via LDA. Primordialmente, esta abordagem representa uma aplicação elegante dos conceitos discriminativos para transformação de dados em espaços de menor dimensão.

O Problema de Otimização

Conforme discutimos anteriormente, o LDA para redução de dimensionalidade busca encontrar projeções que maximizem a separação entre classes. Analogamente, podemos formular este problema como uma otimização que maximiza o critério de Fisher:

\(J(W) = \frac{W^T S_B W}{W^T S_W W}\)

Onde W é a matriz de transformação que projeta os dados em um espaço de dimensão reduzida.

Matrizes de Dispersão

Matriz de Dispersão Entre Classes (Between-Class Scatter)

Esta matriz captura a dispersão das médias das classes em relação à média global:

\(S_B = \sum_{k=1}^K N_k (\mu_k – \mu)(\mu_k – \mu)^T\)

Onde:

  • \(K\) é o número de classes
  • \(N_k\) é o número de amostras na classe k
  • \(μ_k\) é a média da classe k
  • \(μ\) é a média global dos dados

Matriz de Dispersão Dentro das Classes (Within-Class Scatter)

Esta matriz quantifica a dispersão dos dados dentro de cada classe:

\(S_W = \sum_{k=1}^K \sum_{x_i \in C_k} (x_i – \mu_k)(x_i – \mu_k)^T\)

Alternativamente, podemos expressar S_W em termos das matrizes de covariância de cada classe:

\(S_W = \sum_{k=1}^K N_k \Sigma_k\)

Solução do Problema de Autovalor Generalizado

Maximizar J(W) equivale a resolver o problema de autovalor generalizado:

\(S_B w = \lambda S_W w\)

Os autovetores correspondentes aos maiores autovalores formam as direções de projeção ótimas. Ademais, o número máximo de componentes discriminantes é limitado por:

\(L \leq \min(K-1, d)\)

Onde K é o número de classes e d é a dimensionalidade original.

Interpretação Geométrica

Projeção Ótima

Os autovetores w_i que resolvem o problema de autovalor definem um novo sistema de coordenadas onde:

\(y = W^T x\)

Neste espaço projetado, a razão entre a dispersão entre classes e dentro das classes é maximizada.

Variância Explicada

Os autovalores λ_i associados a cada autovetor indicam o poder discriminativo de cada componente:

\(\text{Variância explicada} = \frac{\lambda_i}{\sum_{j=1}^L \lambda_j}\)

Relação com Análise de Variância (ANOVA)

Similarmente à ANOVA, o LDA decompõe a variabilidade total em componentes:

\(S_T = S_W + S_B\)

Onde \(S_T\) é a matriz de dispersão total. Inegavelmente, esta decomposição revela a estrutura fundamental dos dados.

Regularização e Estabilidade Numérica

Quando \(S_W\) é singular ou mal-condicionada, utilizamos regularização:

\(S_W^{reg} = S_W + \gamma I\)

Esta abordagem melhora a estabilidade numérica sem comprometer significativamente o poder discriminativo.

Exemplo Prático em Python

Para ilustrar estas formulações matemáticas, implementemos um exemplo detalhado que demonstra os cálculos fundamentais:

Interpretação dos Resultados Matemáticos

Analisando a implementação e os resultados, podemos observar que:

  • As matrizes S_B e S_W capturam adequadamente a estrutura de dispersão dos dados
  • Os autovalores refletem o poder discriminativo de cada componente LDA
  • A decomposição da variabilidade total é matematicamente consistente
  • As projeções preservam a separabilidade entre classes mesmo com redução dimensional

Propriedades Matemáticas Importantes

Ortogonalidade dos Componentes

No espaço transformado, os componentes LDA são ortogonais em relação à métrica definida por S_W:

\(w_i^T S_W w_j = 0 \quad \text{para } i \neq j\)

Maximização Sequencial

Os componentes são encontrados sequencialmente, onde cada novo componente maximiza a separação sujeito à ortogonalidade com os anteriores.

Considerações Numéricas

Na prática, várias considerações numéricas são importantes:

  • O problema de autovalor generalizado requer cuidado com matrizes singulares
  • Técnicas de regularização melhoram a estabilidade numérica
  • Decomposições como Cholesky podem ser preferíveis para eficiência
  • A seleção do número de componentes deve considerar tanto aspectos matemáticos quanto práticos

Relação com Outras Técnicas

Similarmente a outras técnicas de redução de dimensionalidade, o LDA compartilha conceitos fundamentais:

  • Como o PCA, busca direções de máxima variância, mas com foco na variância entre classes
  • Como a ANOVA, decompõe a variabilidade total em componentes estruturados
  • Como métodos de projeção linear, transforma dados preservando propriedades desejadas

Portanto, a formulação matemática do LDA para redução de dimensionalidade não apenas fornece uma ferramenta prática, mas também revela insights profundos sobre a estrutura dos dados e as relações entre observações de diferentes classes.