商線型空間
線型代数学において商線型空間（しょうせんけいくうかん、）あるいは単に商空間 とは、ベクトル空間 "V" とその部分線型空間 "N" に対して、"N" に属する全てのベクトルを 0 に「潰して」得られるベクトル空間である。これを部分空間 "N" による "V" の商空間あるいは "N" を法とする "V" の商空間といい、"V"/"N" で表す。