線形代数入門は連続群論入門の為に書いた