In primul rand IR este un corp. (Deci si o IR-algebra.)
Prin (functorul) uitare de structura SAU prin faptul ca stim de spatii vectoriale canonice de dimensiune n, la noi doar n=1 este interesant,
rezulta ca IR este spatiu vectorial peste IR.
In particular o sumedenie de "axiome" (de relatii din definitia unui spatiu vectorial) sunt adevarate.
Ne uitam acum la acele "axiome" de care avem nevoie pentru a conchide ca IR este spatiu vectorial peste Q si vedem ca...
--- df (gauss)
enescu
Grup: moderator
Mesaje: 3403
21 Sep 2013, 00:10