Ответы:
Да, это так. jth asnwer является правильным (+1), но я думаю, что вы можете получить гораздо более простое объяснение только с помощью базовой линейной алгебры.
Предположим, что и являются положительно определенными матрицами для размера . По определению это означает, что для всех , и . Это означает, что или, что эквивалентно, . то есть. должен быть положительно определенным.
Конечно. Множество положительно определенных матриц образует конус , то есть он замкнут при положительных линейных комбинациях и масштабировании.