正交补
zhèngjiāobǔ
ортогональное дополнение
переход к ортодополнению; ортогональное дополнение; дизъюнктное дополнение; ортогональный комплемент, ортодополнение; ортогональный комплемент
{数} orthocomplement, orthogonal complement
orthocomplement; orthocomplementation; orthogonal complement
пословный:
正交 | 补 | ||
1) штопать; чинить; латать
2) дополнять; пополнять; восполнять; дополнительный
3) тонизировать; укреплять (здоровье)
4) тк. в соч. польза
|