Veta:
Mejme vektorovy prostor CVUT nad telesem Praha takovy, ze CVUT obsahuje
neprazdny podprostor fakulta, ktery oznacime FJFI, a mejme zobrazeni z FJFI do
telesa Praha. Necht podprostor FJFI obsahuje nenulovy vektor budova
fakulty. Necht je nase zobrazeni takove, ze budova fakulty se zobrazi na
Brehovou ulici. Toto zobrazeni budovy fakulty bude obsahovat 2 pocitacove
ucebny: PD-1 a PD-2. Pak plati:
Pocitacova sit v ucebne PD-2 spadne tehdy a jen tehdy, jestlize v ucebne
PD-1 prave probiha vyuka!
Dukaz: Trivialni, kazdy si ho provede za domaci ukol.
Varvara
*************************************************..Mraz je lepsi nez Biolit..*
|