[일반] 프벅 선대 V.S. axioms 1~8이 그러니까

[두터운100k..(dose9112)]

a(X+Y)= aX +aY 이런 오프닝 8개의 룰들이 증명이 필요없는 코어 룰인걸로 이해하면 되는거?

선대의 모든 증명들이 8개의 axioms에서 파생됐다는건가

[밤에자는부엉이(tray5558)]

걍 벡터 공간을 정의하는 axioms 아님?

[전기도둑(223.39)]

나는 그거 덧셈과 곱셈이라는 연산을 주는 걸로 이해했음 - dc App

[익명(mzdrg)]

그걸 만족하는 operation이 주어져있는 집합을 벡터공간으로 부르겠다거임. 한마디로 그냥 정의

[ScARfaCE(kayuaao)]

그것 자체는 '벡터공간의 정의'인거고 앞으로 선대에서 우리가 다루게되는 공간들이 벡터공간이냐? 즉, 정의에서 나오는 공리들을 만족하는지는 또 따로 직접보여야함