「線型空間の基底と次元」【線型代数学の基礎シリーズ】線型空間編 その3 https://for-spring.com/linearalgebra/linearspace-3/