[к обсуждению]

почему артиновость нужна по тривиальной причине: возьмем векторное пространство с базисом мощности card больше континуума, I счетное а J мощности континуума: прямые суммы будут линейными пространствами с базисами мощности card.