Własności wartości bezwzględnej - dowód

Definicja, własności - specyfika równań i nierówności.
edzia18lesniak
Użytkownik
Użytkownik
Posty: 24
Rejestracja: 11 lis 2008, o 15:15
Płeć: Kobieta
Lokalizacja: Kraków

Własności wartości bezwzględnej - dowód

Post autor: edzia18lesniak » 5 lip 2011, o 16:10

Jak udowodnić własności wartości bezwzględnej
1)\(\displaystyle{ \left| x\right|=\left| y\right| \Leftrightarrow x^{2}= y^{2}}\)
2)\(\displaystyle{ \left| x \cdot y\right|=\left| \left| x\right| \cdot \left| y\right| \right|}\)
3)\(\displaystyle{ \left| x\right|+\left| x\right| =\left| x+x\right|}\)
w ciele częściowo uporządkowanym, w którym porządek jest zgodny z dodawaniem, a nie jest zgodny z mnożeniem

Ciało algebraiczne przemienne (F,+, \(\displaystyle{ \cdot}\),0,1) jest ciałem uporządkowanym
(F,+, \(\displaystyle{ \cdot}\),0,1,<), gdy zbiór (F,<) jest liniowo uporządkowany, a porządek < jest zgodny z działaniami tzn.
\(\displaystyle{ a<b \Rightarrow a+c<b+c}\) (zgodność porządku z dodawaniem)
\(\displaystyle{ (a<b \wedge c>0) \Rightarrow a \cdot c<b \cdot c}\) (zgodnoś porządku z mnożeniem)

Wratość bezwzględna
\(\displaystyle{ \left| z\right|= \begin{cases} z, z \in F \\ -z, z \not \in F \end{cases}}\)
Ostatnio zmieniony 5 lip 2011, o 20:23 przez szw1710, łącznie zmieniany 2 razy.
Powód: Staraj się lepiej dobierać nazwy tematów, tak by wskazywały o czym jest treść zadania.

Awatar użytkownika
Spektralny
Korepetytor
Korepetytor
Posty: 3964
Rejestracja: 17 cze 2011, o 21:04
Płeć: Mężczyzna
Lokalizacja: Praga, Dąbrowa Górnicza, Kraków
Podziękował: 9 razy
Pomógł: 926 razy

Własności wartości bezwzględnej - dowód

Post autor: Spektralny » 6 lip 2011, o 12:26

W którym miejscu ten dowód nie przechodzi tak jak gdy robisz go dla zwykłej wartości bezwzlgędnej w \(\displaystyle{ F=\mathbb{R}}\)?

edzia18lesniak
Użytkownik
Użytkownik
Posty: 24
Rejestracja: 11 lis 2008, o 15:15
Płeć: Kobieta
Lokalizacja: Kraków

Własności wartości bezwzględnej - dowód

Post autor: edzia18lesniak » 7 lip 2011, o 20:39

Zrobiłam dowód na liczbach zespolonych bo porządek nie jest zgodny z mnożeniem. I to nie wystarczyło.Trzeba to zrobić ogólnie dla ciała częściowo uporządkowanego, w którym porządek jest zgodny z dodawaniem, a nie jest zgodny z mnożeniem, a zbiór licz rzeczywistych z tego co mi się wydaje nie jest takim ciałem.

norwimaj
Użytkownik
Użytkownik
Posty: 5101
Rejestracja: 11 mar 2011, o 16:31
Płeć: Mężczyzna
Lokalizacja: 52°16'37''N 20°52'45''E
Podziękował: 4 razy
Pomógł: 1001 razy

Własności wartości bezwzględnej - dowód

Post autor: norwimaj » 7 lip 2011, o 21:00

Na liczbach zespolonych na ogół nie określa się porządku.

W tym co napisałaś, nie znalazłem ani śladu odpowiedzi na pytanie Spektralnego. A szkoda, bo może problem by się sam rozwiązał.

Awatar użytkownika
Spektralny
Korepetytor
Korepetytor
Posty: 3964
Rejestracja: 17 cze 2011, o 21:04
Płeć: Mężczyzna
Lokalizacja: Praga, Dąbrowa Górnicza, Kraków
Podziękował: 9 razy
Pomógł: 926 razy

Własności wartości bezwzględnej - dowód

Post autor: Spektralny » 7 lip 2011, o 22:59

W ciele liczb zespolonych nie da się wprowadzić takiego porządku by było ono ciałem uporządkowanym ponieważ ciało liczb zespolonych (jako ciało algebraicznie domknięte) nie jest rzeczywiście domknięte.

xiikzodz
Użytkownik
Użytkownik
Posty: 1874
Rejestracja: 4 paź 2008, o 02:13
Płeć: Kobieta
Lokalizacja: Lost Hope
Podziękował: 28 razy
Pomógł: 502 razy

Własności wartości bezwzględnej - dowód

Post autor: xiikzodz » 8 lip 2011, o 00:46

Wydaje mi się, że porządek miał być liniowy i zgodny z dodawaniem zaś definicja modułu jakoś tak miała wyglądać:

\(\displaystyle{ |z|=\left\{\begin{array}{ccc}z&\mbox{gdy}&z\in F_+\\-z&\mbox{gdy}&z\notin F_+\end{array}\right.}\)

czyli po prostu

\(\displaystyle{ |z|=\left\{\begin{array}{ccc}z&\mbox{gdy}&z\ge 0\\-z&\mbox{gdy}&z<0\end{array}\right.}\).

Po kolei:

1.

\(\displaystyle{ x^2=y^2\Leftrightarrow x^2-y^2=0\Leftrightarrow(x+y)(x-y)=0\stackrel{\star}{\Leftrightarrow} (x+y=0)\lor(x-y=0)\Leftrightarrow}\)
\(\displaystyle{ \Leftrightarrow(x=-y)\lor(x=y)\Leftrightarrow |x|=|y|}\).

Równoważność z gwiazdką u góry wynika stąd, że w ciele nie ma dzielników zera.

2.

Na mocy 1. mamy:
\(\displaystyle{ |x\cdot y|=||x|\cdot|y||\Leftrightarrow (xy)^2=(|x||y|)^2\Leftrightarrow (xy-|x||y|)(xy+|x||y|)=0\Leftrightarrow}\)

\(\displaystyle{ \Leftrightarrow(xy-x|y|)(xy+x|y|)=0\Leftrightarrow x(y-|y|)x(y+|y|)=0}\)

To ostatnie wyrażenie jest oczywiście równe \(\displaystyle{ 0}\), bo albo \(\displaystyle{ y=|y|}\) albo \(\displaystyle{ y=-|y|}\).

3.

Dwa przypadki.

Jeśli \(\displaystyle{ x\ge 0}\), to \(\displaystyle{ x+x\ge 0+x=x\ge 0}\) skąd:

\(\displaystyle{ |x|+|x|=x+x=|x+x|}\)


Jeśli \(\displaystyle{ x< 0}\), to \(\displaystyle{ -x+(-x)< 0+x=x< 0}\) skąd:

\(\displaystyle{ |x|+|x|=-x+(-x)=-|-x+(-x)|=|x+x|}\).

edzia18lesniak
Użytkownik
Użytkownik
Posty: 24
Rejestracja: 11 lis 2008, o 15:15
Płeć: Kobieta
Lokalizacja: Kraków

Własności wartości bezwzględnej - dowód

Post autor: edzia18lesniak » 8 lip 2011, o 18:24

Bardzo dziękuje za pomoc:)-- 8 lipca 2011, 18:25 --I za tak dokładne rozpisanie dowodów:)

ODPOWIEDZ