W komentarzu do poprzedniej notki pisałem o tym, że mam problemy z dowodem unitarności konektorów t(S,S'). Faktycznie, dowód podany w jednej z moich opublikowanych prac okazał się jaskrawo fałszywy. Co mnie mocno zabolało. Bowiem to taka piekna własność! Najpierw wpadłem w depresję, nijak mi sie nie udawało znaleźć jak tępiekną własność udowodnić. Jednak nie poddałem się, próbowałem na różne sposoby, aż w końcu mnie olśniło by spóbować jeszce jednego, od innej strony. I wyszło.
Zatem pierwsza część dzisiejszej notki to ten nowy dowód.
A Liwiusz prosił mnie bym uzsadnił termin"konektory". Obiecałem, ze dziś to zrobię. Jednak niw wyszło. Musiałem najpierw wprowadzić przestrzenie styczne, co zrobiłem w drugiej części. Uzasadniał będe dopiero w kolejnej notce.
Od przyszłej notki będę też dołączał link do ściągnięcia całości w pdf.
Download link.
