szukanie zaawansowane
 [ Posty: 5 ] 
Autor Wiadomość
Mężczyzna
PostNapisane: 26 maja 2012, o 20:57 
Korepetytor
Avatar użytkownika

Posty: 3960
Lokalizacja: Praga, Dąbrowa Górnicza, Kraków
Elementarne zastosowanie lematu Kuratowskiego-Zorna (a więc, aksjomatu wyboru w przebraniu) pozwala udowodnić, że każda przestrzeń liniowa nad dowolnym ciałem ma bazę Hamela (zbiór wektorów w danej przestrzeni pozwalający na zapisanie dowolnego wektora tej przestrzeni jednoznacznie w postaci kombinacji liniowej elementów z tego zbioru).

Andreas Blass udowodnił, że istnienie bazy Hamela dla przestrzeni liniowych nad dowolnym ciałem pociąga aksjomat wyboru:

A. Blass, Existence of bases implies the axiom of choice. Contemp. Math. 31, 31-33.

Rzeczywiście, w dowodzie wychodzi on od dowolnego zbioru niepustego X i rozważa ciało funkcji wymiernych nad pierścieniem wielomianów zmiennych formalnych będących elementami zbioru X.

Rodzi się naturalne pytanie. Czy możemy ustalić ciało \mathsf{k} i rozważać tylko przestrzenie liniowe nad tym ciałem? Dokładniej,

Pytanie 1 (wersja szalona): Niech \mathsf{k} będzie ustalonym ciałem. Czy z faktu, że każda przestrzeń liniowa nad ciałem \mathsf{k} ma bazę Hamela wynika pewnik wyboru?

To sformułowanie wydaje mi się jednak zbyt ogólne (i zapewne trudne do zaatakowania). Wydaje się, że nawet szczególne przypadki ciał byłyby równie interesujące.

Pytanie 2 (wersja szczegółowa). Co się stanie gdy w Pytaniu 1 rozważymy \mathsf{k}=\mathbb{Z}_2, \mathsf{k}=\mathbb{Q} bądź \mathsf{k}=\mathbb{R}?

Dla \mathsf{k}=\mathbb{Z}_2 istnieje wynik częściowy (ale jego teza jest ciągle słabsza niż to co chcemy udowodnić). Źródło wrzucę później. Ten przypadek wydaje się bardzo naturalny ponieważ, na przykład, zbiór potęgowy ma naturalną strukturę przestrzeni liniowej nad \mathbb{Z}_2.

Cel projektu: Odpowiedzieć na pytanie 2, a jak Bóg da, to i na Pytanie 1.

Możliwa strategia. Niech X będzie dowolnym zbiorem niepustym. Z twierdzenia Hartogsa (ZF) wynika, że istnieje taka liczba porządkowa \gamma, że nie istnieje funkcja różnowartościowa f\colon\gamma \to X. Czy rozważanie przestrzeni przekształceń \mathsf{k}-liniowych

\mathcal{L}(c_{00}(X), c_{00}(\gamma))

i bazy Hamela w niej może nas do czegoś doprowadzić?

Przez c_{00}(X) rozumiem wolną przestrzeń liniową (nad ciałem \mathsf{k}) generowaną przez zbiór X. Techniczne, to zbiór wszystkich funkcji \varphi\colon X\to \mathsf{k} o skończonym nośniku.

Żeby dowód przeprowadzić do końca tą metodą "wystarczy" znaleźć funkcję różnowartościową

f\colon X\to \gamma

(tw. Zermelo).

Edycja 1. Może się okazać, że moje przypuszczenie nie jest prawdziwe. Czy dałoby się wyciągnąć z powyższego jakąś słabszą wersję Aksjomatu Wyboru (np.Boolean prime ideal theorem - możliwość rozszerzenia dowolnego filtru w algebrze Boole'a do ultrafiltru albo twierdzenie Hahna-Banacha)?

Wiele ciekawych, i zapewne potrzebnych nam faktów można odnelźć tu:
http://consequences.emich.edu/conseq.htm
Uniwersytet Wrocławski Instytut Matematyczny - rekrutacja 2019
Góra
Mężczyzna
PostNapisane: 27 maja 2012, o 17:49 
Użytkownik
Avatar użytkownika

Posty: 234
Lokalizacja: Suszec
Czy jeśli f \colon \gamma \to X będzie funkcją taką, że f(\gamma) = X. To funkcja g \colon X \to \gamma zdefiniowana następująco g(x) = \min\{\alpha \in \gamma | f(\alpha) = x\} nie będzie szukaną funkcją?
Góra
Mężczyzna
PostNapisane: 27 maja 2012, o 18:15 
Korepetytor
Avatar użytkownika

Posty: 3960
Lokalizacja: Praga, Dąbrowa Górnicza, Kraków
lukasz.przontka, nie mamy do dyspozycji pewnika wyboru (innymi słowy, nie potrafimy porównywać mocy). Nie mamy zatem gwarancji, że istnieje wskazana przez Ciebie suriekcja.

Gdyby Twoje podejście działało, to udowodniłbyś AC na gruncie ZF, co jak wiemy, nie jest możliwe.

Edycja 2. Inną drogą może być zaatakowanie baz Hamela w przestrzeniach (Banacha) \ell_1(X), \ell_1(\gamma).
Góra
Mężczyzna
PostNapisane: 28 maja 2012, o 18:54 
Użytkownik
Avatar użytkownika

Posty: 234
Lokalizacja: Suszec
Spektralny, jako że zbliża się sesja, to bardzo bym Cię prosił o wskazanie materiałów, które mogą być pomocne do rozgryzienia tego problemu. W szczególności:
- wyniki częściowe, o których już wcześniej wspominałeś,
- coś o wolnych przestrzeniach generowanych przez dany zbiór,
- coś o przestrzeniach Banacha,
- coś o przekształceniach \mathsf{k}-liniowych.
Góra
Mężczyzna
PostNapisane: 28 maja 2012, o 21:16 
Korepetytor
Avatar użytkownika

Posty: 3960
Lokalizacja: Praga, Dąbrowa Górnicza, Kraków
lukasz.przontka napisał(a):
- wyniki częściowe, o których już wcześniej wspominałeś,

Praca Keremedisa o przypadku \mathsf{k}=\mathbb{Z}_2
http://www.ams.org/journals/proc/1996-1 ... 3305-9.pdf

lukasz.przontka napisał(a):
- coś o wolnych przestrzeniach generowanych przez dany zbiór,

c_{00}(X)=\{f\colon X\to \mathsf{k}\colon |\{x\in X\colon f(x)\neq 0\}|<\aleph_0\},

gdzie \mathsf{k} jest rozważanym ciałem. Te przestrzenie mają zawsze jawnie daną bazę Hamela \{e_i\colon i\in X\}, gdzie e_i(x)=\delta_{i,x} (delta Kroneckera).

lukasz.przontka napisał(a):
- coś o przekształceniach \mathsf{k}-liniowych.

Rozumiem przez to zwykłe przekształcenia liniowe. Dodaję w nazwie "\mathsf{k}-" by zaznaczyć nad jakim ciałem są rozważane przestrzenie liniowe.
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 5 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Projekt 2: Przenormowania bez punktów ekstremalnych  thom  3
 Wytrzymałość materiałów 1. Projekt.  deyna18  11
 Czy istnieją bazy? Endomorfizm  aneta909811  0
 Macierze, bazy standardowe  piotrekd4  3
 aksjomat determinacji i gry nieskończone  krisiiiii  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl