szukanie zaawansowane
 [ Posty: 11 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 30 paź 2016, o 23:31 
Użytkownik

Posty: 238
Lokalizacja: Polska
Dane mam ciało z następującymi aksjomatami.
1. |x| \ge 0 dla wszystkich x \in \RR i |x| = 0 \Leftrightarrow x = 0.
2. |x y | = |x||y| dla wszystkich x,y \in \RR
3. |x+y| \le |x|+|y| dla wszystkich x,y \in \RR.

Jak tu pokazać |-1| = 1? Wiem na razie, że |1| = 1. Wiem również, że x^2 = 1 ma dokładnie dwa rozwiązania x=1 i x=-1, a więc |-1|=1 lub |-1|=-1. Muszę więc wykluczyć drugi wariant. Pytanie jak? Niewprost doszedłem np. do 1=-1, ale czy to mi jakoś pomoże dojść do sprzeczności? Tutaj chyba nie ma sprzeczności z ciałem. Zabłokowałem się, a zakładam, że to jest bardzo trywialne...

Dodam tylko dla jasności, że wpis mój nawiązuje do 411627.htm Chociaż wiedza z tamtego tematu nie jest potrzebna, żeby udzielić mi wskazówki. Po prostu przeglądając moje notatki i wracając do poprzedniego tematu stwierdziłem, że nie padła tam odpowiedź na moje kluczowe pytanie odnośnie 1 = |-1|, a wolałem założyć nowy temat, żeby nie trzeba było przebijać się przez tamte poprzednie posty.
Góra
Mężczyzna Offline
PostNapisane: 30 paź 2016, o 23:48 
Gość Specjalny
Avatar użytkownika

Posty: 17633
Lokalizacja: Cieszyn
Coś tu mieszasz. Z jednej strony abstrakcyjne ciało, a z drugiej \RR. Także nierówność, która możliwa jest w zasadzie tylko w \RR, chyba że mamy ciało uporządkowane. Zastanów się nad sformułowaniem tych aksjomatów. Chyba że \RR oznacza właśnie to ciało, ale skąd więc nierówność?

Bardziej trzeba by brać coś na modłę modułu zespolonego: niech \mathbb{K} będzie ciałem i niech będzie dana funkcja |\cdot|:\mathbb{K}\to\RR spełniająca te trzy aksjomaty, przy czym zakładamy tam, że x,y\in\mathbb{K}. Itd.
Góra
Mężczyzna Offline
PostNapisane: 31 paź 2016, o 00:03 
Użytkownik

Posty: 238
Lokalizacja: Polska
Tak jak piszesz, chodzi tu o ciało K, gdzie dana jest funkcja K \rightarrow \RR, x \mapsto |x| spełniająca podane aksjomaty.
Góra
Mężczyzna Offline
PostNapisane: 31 paź 2016, o 00:08 
Użytkownik

Posty: 12702
Lokalizacja: Bydgoszcz
Spróbuj udowodnić takie kroki:
|1|=1
(-1)\cdot(-1)=1

Stąd wywnioskuj, że |-1|^2=1
Góra
Mężczyzna Offline
PostNapisane: 31 paź 2016, o 00:14 
Użytkownik

Posty: 238
Lokalizacja: Polska
Te dwa kroki mam udowodnione, ale według mnie nie wynika z nich ten ostatni.

PS. Chwila... źle Cię zrozumiałem. Wiem, że |-1|^2 =1. Ale właśnie przejście do |-1|=1 sprawia mi problem. Albo jest tu jakiś haczyk albo po prostu jest to tak trywialne i ja tego nie widzę...
Góra
Mężczyzna Offline
PostNapisane: 31 paź 2016, o 00:29 
Użytkownik

Posty: 12702
Lokalizacja: Bydgoszcz
A jakie znasz nieujemne liczby rzeczywiste, które podniesione do kwadratu dają jedynkę?
Góra
Mężczyzna Offline
PostNapisane: 31 paź 2016, o 00:32 
Użytkownik

Posty: 238
Lokalizacja: Polska
a4karo napisał(a):
A jakie znasz nieujemne liczby rzeczywiste, które podniesione do kwadratu dają jedynkę?

Pewnie chcesz usłyszeć, że 1, ale ja nie wiem czy 1 jest liczbą nieujemną. Wiem, że 1 \not = 0. A czy mogę w ogóle stwierdzić 1>0 bez porządku? Według mnie nie.
Góra
Mężczyzna Offline
PostNapisane: 31 paź 2016, o 00:37 
Użytkownik

Posty: 12702
Lokalizacja: Bydgoszcz
|\cdot| jest funkcją, która przyjmuje wartości rzeczywiste.


Zaraz, jeżeli masz takie wątpliwości, to o czym w ogóle rozmawiamy? I może powiedz co oznacza warunek |x|\geq 0
Góra
Mężczyzna Offline
PostNapisane: 31 paź 2016, o 00:52 
Użytkownik

Posty: 238
Lokalizacja: Polska
Dobrze, że pytam, bo wychodzi na jaw moja niewiedza.

|x| \ge 0 oznacza x=0 lub x>0. Pewnie zapytasz co oznacza >. Więc w takim kontekście muszę odpowiedzieć, że nie wiem...

> poznałem (w analizie przy wyprowadzaniu liczb rzeczywistych) w kontekście porządku. Tam > oznacza liczby oznakowane jako pozytywne spełniające trzy aksjomaty (aksjomaty porządku).

Teraz wracając do mojego zadania. Tutaj > traktowałem po prostu jak "jakieś liczby pozytywne" albo inaczej jakiś podzbiór liczb rzeczywistych. Być może tutaj leży mój błąd? Ale... W notatkach mam wyraźnie zaznaczone, że istnieją ciała jak w zadaniu, które nie są uporządkowane jak np. liczby zespolone. Więc po samym znaku > chyba nie mogą oczekiwać porządku? Ale z drugiej strony za pomocą > wyznacza się elementy pozytywne spełniające aksjomaty porządku. Więc ja już nic nie rozumiem... Może ktoś mi to rozjaśni.

PS. Skoro nie mogę oczekiwać porządku to nie mogę też przyjmować (chyba) 1>0.
Góra
Mężczyzna Offline
PostNapisane: 31 paź 2016, o 00:59 
Użytkownik

Posty: 12702
Lokalizacja: Bydgoszcz
Ale przecież nierówność w warunku 1 nie dotyczy elementów ciała \mathbb{K}, tylko liczb rzeczywistych (bo |x| jest liczbą rzeczywistą)

W równaniu |-1|=1 jedynka po lewej stronie jest jedynka w ciele \mathbb{K}, a ta po prawej jest liczba rzeczywista rowną jeden.
Góra
Mężczyzna Offline
PostNapisane: 31 paź 2016, o 01:08 
Użytkownik

Posty: 238
Lokalizacja: Polska
Racja. Więc jak najbardziej mogę tu korzystać z praw liczb rzeczywistych, które znam czyli porządku.
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 11 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Udowodnić nierówność - zadanie 73  elbargetni  3
 Udowodnić równość - zadanie 39  a456  6
 jak to udowodnic- własnosci wartosci bezwzglednej  mrowkazzzzz  1
 Udowodnić |-x| = |x|  novicjusz  20
 Udowodnić nierówność z wartością bezwzględną  Zlodiej  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl