|
|
Пишет друг дру (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} oort) |
Misha, smotri, a vot tak mozhno?
Dlya kazhdogo slova na 2 bukvah opredelim otobrazhenie podstanovkoy pary elementov v slovo:
f:SO(3)^2 -> SO(3)
Dlya kazhdogo slov eto algebraicheskoe otobrazhenie, pri etom dlya kazhdogo slova est' para elementov, kotoraya otpravlyaetse ne v Id (naprimer mozhno vsegda vybrat' 2 povorota is SO(2) kotorye slovo ne umnozhaet v 1).
to est' otobrazhenie ne postoyannoe.
znachit proobraz edinicy f^_1(Id) zariski zamknut i nigde neploten.
vsego slov schetnoe kolichestvo, znachit po teoreme Baira ob'edinenie vseh f^_1(Id) nigde neplotno. A eto v tochnosti mnozhestvo par elementov kotorye ne porozhdayut svobodnuyu gruppu.
Dlya kazhdogo slova na 2 bukvah opredelim otobrazhenie podstanovkoy pary elementov v slovo:
f:SO(3)^2 -> SO(3)
Dlya kazhdogo slov eto algebraicheskoe otobrazhenie, pri etom dlya kazhdogo slova est' para elementov, kotoraya otpravlyaetse ne v Id (naprimer mozhno vsegda vybrat' 2 povorota is SO(2) kotorye slovo ne umnozhaet v 1).
to est' otobrazhenie ne postoyannoe.
znachit proobraz edinicy f^_1(Id) zariski zamknut i nigde neploten.
vsego slov schetnoe kolichestvo, znachit po teoreme Baira ob'edinenie vseh f^_1(Id) nigde neplotno. A eto v tochnosti mnozhestvo par elementov kotorye ne porozhdayut svobodnuyu gruppu.
Добавить комментарий:
