Liczby zespolone to (uporządkowane) pary liczb rzeczywistych, dla których dodawanie i mnożenie jest określone wzorami:
|
|
- Jadwiga Markiewicz
- 4 lat temu
- Przeglądów:
Transkrypt
1 Przytaczając definicję liczb zespolonych, wyznacznika, wypowiedź twierdzenia Cramera oraz Kroneckera-Capelliego, korzystałem z I tomu wykładów Prof. Andrzeja Staruszkiewicza dla fizyków: ALGEBRA I GEOMETRIA, Kraków, Liczby zespolone Liczby zespolone to (uporządkowane) pary liczb rzeczywistych, dla których dodawanie i mnożenie jest określone wzorami: (a,b) + (c,d) = (a+c,b+d) (a,b) * (c,d) = (a*c-b*d,a*d+b*c), gdzie a, b, c i d to liczby rzeczywiste. Liczby zespolone z powyższymi działaniami stanowią ciało. Liczbę (a,b) można napisać w postaci: (a,b) = (a,0)*(1,0) + (b,0)*(0,1). Liczby postaci (a,0) wykazują identyczne własności jak liczby rzeczywiste, a więc możemy je utożsamić z nimi i pisać krótko a. Liczbę zespoloną (0,1) oznaczamy literą i. Ostatecznie, zamiast (a,b) piszemy często a + b*i. Liczbę a nazywamy częścią rzeczywistą liczby z (a = Re(z)), a liczbę b nazywamy częścią urojoną liczby z (b=im(z)). Wielkość z = a 2 + b 2 nazywamy wartością bezwzględną (modułem) liczby
2 2 NOF_3.nb zespolonej. Każdą liczbę ϕ o tej własności, że Re(z) = z cos ϕ, Im(z) = z sin ϕ, nazywamy argumentem liczby zespolonej z, pisząc ϕ=arg(z). Jeśli ϕ=arg(z) ϕ =ϕ+2π=arg(z). Dlatego umawiamy się co do tzw. argumentu głównego liczby zespolonej, że będzie leżał w przedziale [ 0, 2π ). Każda liczba zespolona z może być więc zapisana w postaci trygonometrycznej: z = z ( cos ϕ + i*sin ϕ ), gdzie ϕ jest dowolnym argumentem z. Często używany jest też zapis wykładniczy z = z e iϕ, równoważny postaci trygonometrycznej. Każda liczba zespolona różna od zera ma n różnych pierwiastków n-tego stopnia. Są to liczby o tej własności, że podniesione do potęgi n dają liczbę z. Jeśli z = z e iϕ, to pierwiastkami są liczby z k = n z W innym zapisie: z k = n z i ϕ + 2 k e n, gdzie k=0, 1,..., n-1. cos ϕ + 2 k n + i * sin ϕ + 2 k, k=0, 1,..., n-1. n (* Przykłady *) Solve[z^2-1, z] rozwiąż równanie {{z -i}, {z i}} Solve[z^4 1, z] rozwiąż równanie {{z -1}, {z -i}, {z i}, {z 1}} Solve[z^4-1, z] rozwiąż równanie z /4, z -1 1/4, z /4, z -1 3/4
3 NOF_3.nb 3 Solve z^4 Sqrt[2] 2 + I * Sqrt[2] 2, z rozwiąż równa pierwiastek k j pierwiastek kwadrato 1 + i 1/4 z -, z - 2 1/8 1/4 i 1 + i, z 2 1/8 1/4 i 1 + i, z 2 1/8 Simplify Solve z^4 Sqrt[2] 2 + I * Sqrt[2] 2, z uprość rozwiąż równa pierwiastek k j pierwiastek kwadratow 1 + i 1/4 z -, z - 2 1/8 1/4 i 1 + i, z 2 1/8 1/4 i 1 + i, z 2 1/8 FullSimplify Solve z^4 Sqrt[2] 2 + I * Sqrt[2] 2, z uprość pełniej rozwiąż równa pierwiastek k j pierwiastek kwadratow z /16, z /16, z -1 9/16, z -1 1/16 (* Żaden z powyższych zapisów mi się nie podoba i spróbuję bezpośrednio wykorzystać definicję *) 1/4 1 + i 2 1/8 1/4 1 + i 2 1/8 (* Najpierw sprawdzam jednak konwencje używane w programie Mathematica *) p1 = ListPlot[{{1, 1}}, AspectRatio 1, AxesLabel {" Re(z)", " Im(z)"}, wykres danych z listy format obrazu oznaczenia osi część rze część urojona PlotStyle { Red, PointSize[ Large]}, PlotRange {{-2, 2}, {-2, 2}}]; styl grafiki cz rozmiar kro duży zakres wykresu p2 = ListPlot[{{-1, 1}}, AspectRatio 1, AxesLabel {" Re(z)", " Im(z)"}, wykres danych z listy format obrazu oznaczenia osi część rze część urojona PlotStyle { Black, PointSize[ Large]}, PlotRange {{-2, 2}, {-2, 2}}]; styl grafiki czarny rozmiar kro duży zakres wykresu p3 = ListPlot[{{-1, -1}}, AspectRatio 1, AxesLabel {" Re(z)", " Im(z)"}, wykres danych z listy format obrazu oznaczenia osi część rze część urojon PlotStyle { Blue, PointSize[ Large]}, PlotRange {{-2, 2}, {-2, 2}}]; styl grafiki niebi rozmiar kro duży zakres wykresu p4 = ListPlot[{{1, -1}}, AspectRatio 1, AxesLabel {" Re(z)", " Im(z)"}, wykres danych z listy format obrazu oznaczenia osi część rze część urojona PlotStyle { Green, PointSize[ Large]}, PlotRange {{-2, 2}, {-2, 2}}]; styl grafiki zielony rozmiar kro duży zakres wykresu
4 4 NOF_3.nb Show[p1, p2, p3, p4] pokaż Im(z) Re(z) -1-2 Arg[1 + I] argum jedność urojo π 4 Arg[-1 + I] argument jedność uro 3 π 4 Arg[-1 - I] argument jedność uro - 3 π 4 Arg[1 - I] argum jedność urojo - π 4 Arg[-1] argument liczby zespolonej π (* Widać, że dostaję wartości z przedziału [-π, π]. Chciałbym używać wartości argumentu głównego z przedziału [ 0, 2 π. Dlatego tworzę własną definicję argumentu: *) MyArg[z_] := If[ Arg[z] 0, Arg[z], Arg[z] + 2 * Pi] argument lic argumen argument lic pi
5 NOF_3.nb 5 MyArg[1 + I] jedność urojo π 4 MyArg[-1 + I] jedność uro 3 π 4 MyArg[-1 - I] jedność uro 5 π 4 MyArg[1 - I] jedność urojo 7 π 4 Simplify Abs[1 - I] * Cos[MyArg[1 - I]] + I * Sin[MyArg[1 - I]] uprość wartoś jed cosinus jed j sinus jedność 1 - i MyRoot[n_, z_] := Table Abs[z] ^ 1 n * Exp I * MyArg[z] + 2 * k * Pi n, {k, 0, n - 1, 1} tabela wartość bezwzględna fu jedność urojona pi MyRootv2[n_, z_] := Table Abs[z] ^ 1 n * tabela wartość bezwzględna Cos MyArg[z] + 2 * k * cosinus p22 = MyRoot 2, Sqrt[2] 2 + I * Sqrt[2] 2 pierwiastek k j pierwiastek kwad Pi n + I * Sin MyArg[z] + 2 * k * Pi n, {k, 0, n - 1, 1} pi j sinus pi e i π 8, e - 7 i π 8 p22v2 = MyRootv2 2, Sqrt[2] 2 + I * Sqrt[2] 2 pierwiastek k j pierwiastek kwad Cos π 8 + i Sin π 8, -Cos π 8 - i Sin π 8 p22^2 e i π 4, e i π 4 DeleteDuplicates e i π 4, e i π 4 usuń kopie e i π 4
6 6 NOF_3.nb p61 = MyRoot[6, 1] 1, e i π 3, e 2 i π 3, -1, e - 2 i π 3, e - i π 3 p61^6 {1, 1, 1, 1, 1, 1} DeleteDuplicates[p61^ 6] usuń kopie {1} DeleteDuplicates[p61^ 6][[1]] usuń kopie 1 Teraz spróbujemy bardziej ogólnego zapisu, gdzie występują zmienne z = x + I * y jednoś x + i y Re[z] część rzeczywista -Im[y] + Re[x] (* Mathematica nie wie, że x i y mają być liczbami rzeczywistymi i daje ogólną odpowiedź. Możemy poinformować program, że x i y są rzeczywiste, używając ComplexExpand *) rozwiń na część rzeczywistą i urojoną ComplexExpand[ Re[x + I * y]] rozwiń na część część jedność u x (* Ten zapis oznacza, że x i y wszystkie wielkości w wyrażeniu są liczbami rzeczywistymi *) ComplexExpand[ Re[w^2 * (x + I * y)], w] rozwiń na część część rzeczywi jedność urojon -x Im[w] 2-2 y Im[w] Re[w] + x Re[w] 2 (* Ten zapis oznacza, że x i y są liczbami rzeczywistymi, ale w jest dowolną liczbą zespoloną! *) (* Przykład określania obszarów w płaszczyźnie XY za pomocą liczb zespolonych. z Typowe zadanie: Podać miejsce geometryczne punktów na płaszczyźnie zespolonej spełniających warunek z+i + z-i =4 *) x + i y
7 NOF_3.nb 7 plot1 = ComplexExpand[ Abs[z] 2] rozwiń na część wartość bezwzg x 2 + y 2 2 RegionPlot plot1, x, -5 2, 5 2, y, -5 2, 5 2, wykres regionu na płaszczyźnie Axes osie, pra AxesLabel {"x", "y"}, oznaczenia osi y AspectRatio 1 format obrazu x plot2 = ComplexExpand[ Abs[z I] == 2] rozwiń na część wartość b jedność urojona -1 + x y 2 2
8 8 NOF_3.nb ContourPlot -1 + x y 2 2, x, -3 2, 4, wykres konturowy 4 y, -3 2, 4, Axes osie y, pra AxesLabel {"x", "y"}, oznaczenia osi AspectRatio 1 format obrazu x plot3 = ComplexExpand[ Abs[z + I] + Abs[z - I] 4] rozwiń na część wartoś je wartoś jedność ur x y 2 + x y 2 4
9 NOF_3.nb 9 ContourPlot x y 2 + x y 2 4, {x, -3, 3}, wykres konturowy 3 {y, -3, 3}, Axes osie, pra AxesLabel {"x", "y"}, oznaczenia osi y AspectRatio 1 format obrazu x plot4 = ComplexExpand[ Abs[z + I] - Abs[z - I] Sqrt[2]] rozwiń na część wartoś je wartoś jed pierwiastek k - x y 2 + x y 2 2
10 10 NOF_3.nb ContourPlot - x y 2 + x y 2 2, {x, -3, 3}, wykres konturowy 3.0 y, 1 2, 3, Axes osie, pra AxesLabel {"x", "y"}, oznaczenia osi y AspectRatio 1 format obrazu Clear[x, y, z]; wyczyść plot5 = Solve[z^4 1] rozwiąż równanie {{z -1}, {z -i}, {z i}, {z 1}} z = Table[z /. plot5[[i]], {i, 1, Length[plot5]}] tabela długość {-1, -i, i, 1} (* Albo rownoważnie tak: *) zz = z /. {plot5} {{-1, -i, i, 1}} zz = Flatten[z /. {plot5}] spłaszcz {-1, -i, i, 1} pkty = Table[{ Re[z[[i]]], Im[z[[i]]]}, {i, 1, Length[z]}] tabela część rzeczyw część urojona długość {{-1, 0}, {0, -1}, {0, 1}, {1, 0}} pkty[[1]] {-1, 0}
11 NOF_3.nb 11 ListPlot[pkty, AspectRatio 1, wykres danych z li format obrazu AxesLabel {"x", "y"}, oznaczenia osi PlotStyle { Red, PointSize[ Large]}] styl grafiki cz rozmiar kro duży y x (* Na koniec rozwiążemy jeszcze równanie kwadratowe z zespolonymi współczynnikami *) Clear[z]; wyczyść sol = Solve (5-5 * I) * z^ * I * z + 1 0, z rozwiąż równanie jedność urojona jedność urojona z i 10, z i 5 z1 = z /. sol[[1]] i 10 z2 = z /. sol[[2]] i 5 (5-5 * I) * z1^ * I * z jedność urojona jedność urojona (5-5 * I) * z2^ * I * z jedność urojona jedność urojona
12 12 NOF_3.nb W analizie matematycznej definiujemy funkcje sinus i cosinus, bazując na funkcji e z exp(z). I to dla zmiennej zespolonej! Clear[z, x, y]; wyczyść MyCos[z_] := ( E^( I * z) + E^(-I * z)) 2 li jednoś licz jedność urojo MySin[z_] := ( E^( I * z) - E^(-I * z)) 2 * I li jednoś licz jedność urojona jedn Plot[{ Sin[x], MySin[x]}, {x, 0, 4}, PlotLegends "Expressions"] wykres sinus legenda dla grafik sin(x) MySin(x) -0.5 Sin[x] MySin[x] sinus Sin[x] i -e-i x + e i x Simplify[ Sin[x] == MySin[x]] uprość sinus Plot[{ Cos[x], MyCos[x]}, {x, 0, 4}, PlotLegends "Expressions"] wykres cosinus legenda dla grafik cos(x) MyCos(x)
13 NOF_3.nb 13 Cos[x] MyCos[x] cosinus Cos[x] 1 2 e-i x + e i x Simplify[ Cos[x] MyCos[x]] uprość cosinus (* Konsekwencjs: wzor de Moivre'a zwany tez wzorem Eulera : E^( I*z) Cos[z] + lic jedność cosinus I* Sin[z] sinus *) E^( I * z) Cos[z] + Simplify uprość lic jedność ur cosinus I * Sin[z] ] j sinus Sin[ I] si jedność urojona i Sinh[1] Cos[ I] co jedność urojona Cosh[1] (* "Jedynka trygonometryczna" jest prawdziwa dla argumentow zespolonych... *) Simplify[ Cos[2 + I]^2 + Sin[2 + I]^2] uprość cosinus jedno sinus jedność u 1 (*... ale wartosci absolutne sinusa i cosinusa nie musza lezec w przedziale [-1,1]! *) N[ Sin[5 * I]] sinus jedno i N[ Abs[ Sin[5 * I]]] wa sinus jednoś N[ Cos[3 + 4 * I]] cosinus jedno i N[ Abs[ Cos[3 + 4 * I]]] wa cosinus jednoś
14 14 NOF_3.nb Wektory (trójwymiarowe) W wielu wypadkach wystarcza utożsamienie trzyelementowej listy i wektora v = {v1, v2, v3} {v1, v2, v3} MatrixForm[v] v1 v2 v3 y = {y1, y2, y3} {y1, y2, y3} Iloczyn skalarny vdoty = v.y v1 y1 + v2 y2 + v3 y3 ydotv = y.v v1 y1 + v2 y2 + v3 y3 vdoty === ydotv (* Inaczej iloczym skalarny *) Dot[v, y] iloczyn wektorów, macierzy i tensorów v1 y1 + v2 y2 + v3 y3 Dot[v, y] === v.y iloczyn wektorów, macie (* Norma wektora *) Norm[v] norma Abs[v1] 2 + Abs[v2] 2 + Abs[v3] 2 (* wektor jednostkowy w tym samym kierunku co v *)
15 NOF_3.nb 15 Normalize[v] znormalizuj v1 Abs[v1] 2 + Abs[v2] 2 + Abs[v3] 2, v2 Abs[v1] 2 + Abs[v2] 2 + Abs[v3] 2, Normalize[{1, 2, 5}] znormalizuj v3 Abs[v1] 2 + Abs[v2] 2 + Abs[v3] , 2 15, 5 6 (* Sprawdzenie, czy mamy do czynienia z wektorem jednostkowym *) Norm[ Normalize[{1, 2, 5}]] norma znormalizuj 1 (* To jest częstym tematem zadań: kąt między wektorami *) VectorAngle[{1, 0, 0}, {0, 1, 0}] kąt pomiędzy wektorami π 2 VectorAngle[{1, 0, 0}, {0, 0, 0}] kąt pomiędzy wektorami Indeterminate MyVectorAngle[z1_, z2_] := If Norm[z1] > 0 && Norm[z2] > 0, ArcCos z1.z2 Norm[z1] * Norm[z2], 0 norma norma arcus cosinus norma norma (* Jak to działa? Przepis jest bardzo prosty, zakładając, że mamy do czynienia z niezerowymi wektorami. Jeśli przynajmniej jeden z wektorów jest wektorem zerowym, przyjmuję, że kąt między wektorami wynosi zero. *) MyVectorAngle[{1, 0, 0}, {0, 1, 0}] π 2 MyVectorAngle[{1, 0, 0}, {0, 0, 0}] 0 Iloczyn wektorowy z1 = Cross[v, y] iloczyn wektorow {-v3 y2 + v2 y3, v3 y1 - v1 y3, -v2 y1 + v1 y2} (* Inaczej *)
16 16 NOF_3.nb z2 = v y (* to nie jest znak "iks", tylko znak działania wzięty z palety "Writing Assistant"! *) {-v3 y2 + v2 y3, v3 y1 - v1 y3, -v2 y1 + v1 y2} Cross[v, y] === v y iloczyn wektorowy (* Z wektorów niezależnych liniowo można stworzyć zbiór wektorów wzajemnie prostopadłych i unormowanych, czyli bazę ortonormalną *) baza = Orthogonalize[{{1, 2, 3}, {0, 3, 4}, {1, 5, -2}}] znajdź bazę ortogonalną 1 14, 2 7, 3 14, , 3 91, 1 91, 1 26, , Do[{ Print[" rób drukuj {i, 1, 3}, {j, 1, 3}] baza[[1]].baza[[1]]= 1 baza[[1]].baza[[2]]= 0 baza[[1]].baza[[3]]= 0 baza[[2]].baza[[1]]= 0 baza[[2]].baza[[2]]= 1 baza[[2]].baza[[3]]= 0 baza[[3]].baza[[1]]= 0 baza[[3]].baza[[2]]= 0 baza[[3]].baza[[3]]= 1 baza[[", i, "]].baza[[", j, "]]= ", baza[[i]].baza[[j]]]}, (* Teraz dowolny wektor r może być zapisany w postaci kombinacji liniowej r= 3 i=1 c i *baza[[i]], gdzie c i =r.baza[[i]] *) ClearAll[r1, r2, r3]; wyczyść wszystko r = {r1, r2, r3} {r1, r2, r3} Do[c[i] = r.baza[[i]], {i, 1, 3}]; rób Simplify[r - Sum[c[i] * baza[[i]], {i, 1, 3}]] uprość sumowanie {0, 0, 0} Wektory mogą mieć zespolone składowe f = { I, 1, 0} jedność uro {i, 1, 0}
17 NOF_3.nb 17 h = {1 - I, 2 * I + 4, 3 * I} jedn jedność jedn {1 - i, i, 3 i} (* Norma wektora powinna byc pierwiastkiem kwadratowym z iloczynu skalarnego wektora przez ten sam wektor, ale taki iloczyn skalarny może mieć wartość zero lub być liczbą zespoloną *) f.f 0 h.h i (* Trzeba zmienić definicję iloczynu skalarnego, bo, jak widać powyżej, kwadrat niezerowego wektora może dać zero lub liczbę zespoloną! *) Dotcmplx[z1_, z2_] := Normcmplx[z_] := Normcmplx[f] 2 Normcmplx[h] 31 Conjugate[z1].z2 (* nie jest przemienny! *) sprzężenie zespolone Sqrt[Dotcmplx[z, z]] pierwiastek kwadratowy (* Funkcja " Norm" wie o tym i liczy poprawnie normę zespolonego wektora *) norma Norm[f] norma 2 Norm[h] norma 31
18 18 NOF_3.nb PODSTAWOWE TOŻSAMOŚCI WEKTOROWE Dowody powyższych, bardzo potrzebnych twierdzeń, są bardzo łatwe do uzyskania przy pomocy programu Mathematica. W tych dowodach wystarczy używać trzyelementowych list *) Clear[a, b, c, d]; wyczyść a = {a1, a2, a3}; b = {b1, b2, b3}; c = {c1, c2, c3}; d = {d1, d2, d3}; (* Tw. 1 *) left1 = Cross[a, b]. Cross[a, b] + a.b ^2 iloczyn wekto iloczyn wektorowy -a2 b1 + a1 b2 2 + a3 b1 - a1 b a3 b2 + a2 b3 2 + a1 b1 + a2 b2 + a3 b3 2 right1 = (a.a) * b.b a1 2 + a2 2 + a3 2 b1 2 + b2 2 + b3 2 Simplify[left1 right1] uprość (* Tw. 2 *) (* Uwaga: teraz dla odmiany używam palety Writing Assistant, gdzie w grupie Typesetting jest zdefiniowany operator "cross" *)
19 NOF_3.nb 19 Simplify a. b c c. a b b.(c a) -a. c b -c. b a -b.(a c) uprość (* Tw. 3 *) left3 = Cross[a, Cross[b, c]] iloczyn w iloczyn wektorowy {-a2 b2 c1 - a3 b3 c1 + a2 b1 c2 + a3 b1 c3, a1 b2 c1 - a1 b1 c2 - a3 b3 c2 + a3 b2 c3, a1 b3 c1 + a2 b3 c2 - a1 b1 c3 - a2 b2 c3} right3 = (a.c) * b - a.b * c - a1 b1 + a2 b2 + a3 b3 c1 + b1 a1 c1 + a2 c2 + a3 c3, - a1 b1 + a2 b2 + a3 b3 c2 + b2 a1 c1 + a2 c2 + a3 c3, - a1 b1 + a2 b2 + a3 b3 c3 + b3 a1 c1 + a2 c2 + a3 c3 Simplify[left3 right3] uprość (* Tw. 4 *) left4 = a b c + b (c a) + c a b {0, 0, 0} Simplify[left4 {0, 0, 0}] uprość (* Tw. 5 *) left5 = a b. c d -a2 b1 + a1 b2 -c2 d1 + c1 d2 + a3 b1 - a1 b3 c3 d1 - c1 d3 + -a3 b2 + a2 b3 -c3 d2 + c2 d3 right5 = (a.c) * b.d - a.d * b.c - b1 c1 + b2 c2 + b3 c3 a1 d1 + a2 d2 + a3 d3 + a1 c1 + a2 c2 + a3 c3 b1 d1 + b2 d2 + b3 d3 Simplify[left5 == right5] uprość (* Tw. 6 *) left6 = a b c d {-a3 b1 c2 d1 + a1 b3 c2 d1 + a2 b1 c3 d1 - a1 b2 c3 d1 + a3 b1 c1 d2 - a1 b3 c1 d2 - a2 b1 c1 d3 + a1 b2 c1 d3, -a3 b2 c2 d1 + a2 b3 c2 d1 + a3 b2 c1 d2 - a2 b3 c1 d2 + a2 b1 c3 d2 - a1 b2 c3 d2 - a2 b1 c2 d3 + a1 b2 c2 d3, -a3 b2 c3 d1 + a2 b3 c3 d1 + a3 b1 c3 d2 - a1 b3 c3 d2 + a3 b2 c1 d3 - a2 b3 c1 d3 - a3 b1 c2 d3 + a1 b3 c2 d3}
20 20 NOF_3.nb right6 = a. b d * c - a. b c * d - a3 -b2 c1 + b1 c2 + a2 b3 c1 - b1 c3 + a1 -b3 c2 + b2 c3 d1 + c1 a3 -b2 d1 + b1 d2 + a2 b3 d1 - b1 d3 + a1 -b3 d2 + b2 d3, - a3 -b2 c1 + b1 c2 + a2 b3 c1 - b1 c3 + a1 -b3 c2 + b2 c3 d2 + c2 a3 -b2 d1 + b1 d2 + a2 b3 d1 - b1 d3 + a1 -b3 d2 + b2 d3, - a3 -b2 c1 + b1 c2 + a2 b3 c1 - b1 c3 + a1 -b3 c2 + b2 c3 d3 + c3 a3 -b2 d1 + b1 d2 + a2 b3 d1 - b1 d3 + a1 -b3 d2 + b2 d3 Simplify[left6 == right6] uprość (* Tw. 7 *) left7 = a b c d {-a3 b1 c2 d1 + a2 b1 c3 d1 + a3 b1 c1 d2 + a2 b2 c3 d2 + a3 b3 c3 d2 - a2 b1 c1 d3 - a2 b2 c2 d3 - a3 b3 c2 d3, -a3 b2 c2 d1 - a1 b1 c3 d1 - a3 b3 c3 d1 + a3 b2 c1 d2 - a1 b2 c3 d2 + a1 b1 c1 d3 + a3 b3 c1 d3 + a1 b2 c2 d3, a1 b1 c2 d1 + a2 b2 c2 d1 + a2 b3 c3 d1 - a1 b1 c1 d2 - a2 b2 c1 d2 - a1 b3 c3 d2 - a2 b3 c1 d3 + a1 b3 c2 d3} right7 = b.d * (a c) - b.c * a d - b1 c1 + b2 c2 + b3 c3 -a3 d2 + a2 d3 + -a3 c2 + a2 c3 b1 d1 + b2 d2 + b3 d3, - b1 c1 + b2 c2 + b3 c3 a3 d1 - a1 d3 + a3 c1 - a1 c3 b1 d1 + b2 d2 + b3 d3, - b1 c1 + b2 c2 + b3 c3 -a2 d1 + a1 d2 + -a2 c1 + a1 c2 b1 d1 + b2 d2 + b3 d3 Simplify[left7 == right7] uprość (* Tw. 8 *) left8 = a b. c d + b c. a d + (c a). b d -b2 c1 + b1 c2 -a2 d1 + a1 d2 + a2 c1 - a1 c2 -b2 d1 + b1 d2 + -a2 b1 + a1 b2 -c2 d1 + c1 d2 + b3 c1 - b1 c3 a3 d1 - a1 d3 + -b3 c2 + b2 c3 -a3 d2 + a2 d3 + -a3 c1 + a1 c3 b3 d1 - b1 d3 + a3 c2 - a2 c3 -b3 d2 + b2 d3 + a3 b1 - a1 b3 c3 d1 - c1 d3 + -a3 b2 + a2 b3 -c3 d2 + c2 d3 Simplify[left8 0] uprość Macierze Clear[A, B, H, X, Y, Z]; wyczyść Macierz układ liczb, symboli lub wyrażeń zapisanych w postaci prostokątnej tablicy. (Wikipedia) Nas chwilowo interesują tablice liczb.
21 NOF_3.nb 21 A=. Ta macierz ma n wierszy i m kolumn. Do tej pory używaliśmy list trzyelementowych, mówiąc o wektorach i nie zastanawialiśmy się, czy mamy do czynienia z wierszem, czy z kolumną! Czy można mieszać trzyelementowe listy i column vectors? NIE MOŻNA, choć ich postać macierzowa MatrixForm jest identyczna. In[1]:= v = {v1, v2, v3} (* lista *) Out[1]= {v1, v2, v3} In[2]:= Out[2]//MatrixForm= v1 v2 v3 MatrixForm[v] In[3]:= k = {{k1}, {k2}, {k3}} (* kolumna *) Out[3]= {{k1}, {k2}, {k3}} In[4]:= Out[4]//MatrixForm= k1 k2 k3 MatrixForm[k] In[5]:= k.v Dot: Tensors {{k1}, {k2}, {k3}} and {v1, v2, v3} have incompatible shapes. Out[5]= {{k1}, {k2}, {k3}}.{v1, v2, v3} WNIOSEK: Wymagana jest ostrożność, jeśli chcemy konsekwentnie stosować zapis używany w podręcznikach algebry liniowej! Jak wprowadzać macierz w notatniku? Reguła jest bardzo prosta: macierz to lista wierszy! (* Poniżej macierz, która jest pojedynczym wierszem *) In[6]:= w = {{w1, w2, w3}} (* wiersz *) Out[6]= {{w1, w2, w3}} In[7]:= MatrixForm[w] Out[7]//MatrixForm= ( w1 w2 w3 )
22 22 NOF_3.nb A = {{1, 0, 3, 4}, {2, 4, -2, 8}, {1, 0, -4, 6}, {3, -7, 9, 1}} {{1, 0, 3, 4}, {2, 4, -2, 8}, {1, 0, -4, 6}, {3, -7, 9, 1}} MatrixForm[A] B = {{-2, 1, 8, 0}, {7, 0, -2, 2}, {0, 1, 2, 3}, {2, 1, -9, 3}} {{-2, 1, 8, 0}, {7, 0, -2, 2}, {0, 1, 2, 3}, {2, 1, -9, 3}} MatrixForm[B] X = {{1, 2}, {-2, 3}, {4, 5}, {6, -5}} {{1, 2}, {-2, 3}, {4, 5}, {6, -5}} MatrixForm[X] Y = {{-1}, {2}, {0}, {9}} {{-1}, {2}, {0}, {9}} (* Teraz Y jest z zamierzenia "wektorem kolumnowym"! *) MatrixForm[Y] Z = {{-3, 4, 5, 2}} {{-3, 4, 5, 2}} (* Teraz Z jest z zamierzenia "wektorem wierszowym"! *) MatrixForm[Z] ( ) Możemy wykonywać różne działania (* Mnożymy macierz przez liczbę *)
23 NOF_3.nb 23 2 * A {{2, 0, 6, 8}, {4, 8, -4, 16}, {2, 0, -8, 12}, {6, -14, 18, 2}} MatrixForm[2 * A] (* Kombinacja liniowa macierzy *) 2 * A + 3 * B {{-4, 3, 30, 8}, {25, 8, -10, 22}, {2, 3, -2, 21}, {12, -11, -9, 11}} MatrixForm[2 * A + 3 * B] Mnożenie macierzowe, wiersz razy kolumna (A.B) ij = n k=1 A ik *B kj, gdzie n jest liczbą kolumn macierzy A i liczbą wierszy macierzy B (obrazek z Wikipedii) Mnożenie macierzowe A.B, tzw. mnożenie wiersz przez kolumnę. Znakiem tego mnożenia też jest kropka wprowadzana wprost z klawiatury, której wcześniej używaliśmy dla oznaczenia iloczynu skalarnego, opisując wektory przy pomocy list! Nie każde mnożenie macierzowe jest wykonalne: wymagane jest aby liczba kolumn macierzy A była równa liczbie wierszy macierzy B. Mnożenie macierzowe na ogół NIE JEST PRZEMIENNE. (* Najprostszy przykład: mnożenie kolumny przez wiersz... *)
24 24 NOF_3.nb In[10]:= k.w // MatrixForm Out[10]//MatrixForm= k1 w1 k1 w2 k1 w3 k2 w1 k2 w2 k2 w3 k3 w1 k3 w2 k3 w3 (*...jest czymś zupełnie innym niż mnożenie wiersza przez kolumnę, *) In[11]:= w.k // MatrixForm Out[11]//MatrixForm= ( k1 w1 + k2 w2 + k3 w3 ) (* chociaż oba działania k.w oraz w.k są wykonalne. *) A.B {{6, 8, -22, 21}, {40, 8, -68, 26}, {10, 3, -54, 6}, {-53, 13, 47, 16}} MatrixForm[A.B] A.X {{37, -3}, {34, -34}, {21, -48}, {59, 25}} MatrixForm[A.X] WAŻNE: Instrukcja lub F=MatrixForm[A.X] F=A.X //MatrixForm jest błędna, jeśli F ma być macierzą! W programie Mathematica macierz i postać macierzowa to dwie różne rzeczy. A.Y {{35}, {78}, {53}, {-8}} MatrixForm[A.Y]
25 NOF_3.nb 25 Z.A {{16, 2, -19, 52}} MatrixForm[Z.A] ( ) Z.A.Y {{456}} (* Mnożenie macierzy jest łączne, więc nie ma potrzeby wskazywania na kolejność działań *) (* Macierz transponowana do A: zamieniamy wiersze z kolumnami *) Transpose[A] transpozycja {{1, 2, 1, 3}, {0, 4, 0, -7}, {3, -2, -4, 9}, {4, 8, 6, 1}} MatrixForm[ Transpose[A]] postać macie transpozycja (* Na ćwiczeniach sprawdzimy, że Transpose[A.B]= Transpose[B]. Transpose[A] *) transpozycja transpozycja transpozycja A.A.A {{65, -294, 230, 28}, {138, -412, 188, 312}, {-38, -70, -289, 148}, {-40, -217, 188, -289}} MatrixPower[A, 3] potęga macierzy {{65, -294, 230, 28}, {138, -412, 188, 312}, {-38, -70, -289, 148}, {-40, -217, 188, -289}} (* Można zadziałać funkcją na całą macierz *) Sin[A] sinus {{Sin[1], 0, Sin[3], Sin[4]}, {Sin[2], Sin[4], -Sin[2], Sin[8]}, {Sin[1], 0, -Sin[4], Sin[6]}, {Sin[3], -Sin[7], Sin[9], Sin[1]}} (* Dla macierzy zespolonych mamy operację, która łączy w sobie transponowanie i sprzężenie zespolone. Jest to tzw. sprzężenie hermitowskie. Odpowiada jej komenda ConjugateTranspose. *) sprzężenie hermitowskie macierzy H = A + I * B (* to jest macierz o współczynnikach zespolonych! *) jedność urojona {{1-2 i, i, i, 4}, {2 + 7 i, 4, -2-2 i, i}, {1, i, i, i}, {3 + 2 i, -7 + i, 9-9 i, i}}
26 26 NOF_3.nb MatrixForm[H] 1-2 i i i i i i 1 i i i i -7 + i 9-9 i i G = ConjugateTranspose[H] sprzężenie hermitowskie macie {{1 + 2 i, 2-7 i, 1, 3-2 i}, {-i, 4, -i, -7 - i}, {3-8 i, i, -4-2 i, i}, {4, 8-2 i, 6-3 i, 1-3 i}} MatrixForm[G] i 2-7 i i -i 4 -i -7 - i 3-8 i i -4-2 i i i 6-3 i 1-3 i (* Na ćwiczeniach sprawdzimy na przykładach twierdzenie, że ConjugateTranspose[A.B]= ConjugateTranspose[B]. ConjugateTranspose[A] *) sprzężenie hermitowskie macierzy sprzężenie hermitowskie mac sprzężenie hermitowskie macierzy
Matematyka liczby zespolone. Wykład 1
Matematyka liczby zespolone Wykład 1 Siedlce 5.10.015 Liczby rzeczywiste Zbiór N ={0,1,,3,4,5, } nazywamy zbiorem Liczb naturalnych, a zbiór N + ={1,,3,4, } nazywamy zbiorem liczb naturalnych dodatnich.
Bardziej szczegółowoLiczby zespolone. Magdalena Nowak. 23 marca Uniwersytet Śląski
Uniwersytet Śląski 23 marca 2012 Ciało liczb zespolonych Rozważmy zbiór C = R R, czyli C = {(x, y) : x, y R}. W zbiorze C definiujemy następujące działania: dodawanie: mnożenie: (a, b) + (c, d) = (a +
Bardziej szczegółowo1. Liczby zespolone i
Zadania podstawowe Liczby zespolone Zadanie Podać część rzeczywistą i urojoną następujących liczb zespolonych: z = ( + 7i)( + i) + ( 5 i)( + 7i), z = + i, z = + i i, z 4 = i + i + i i Zadanie Dla jakich
Bardziej szczegółowoPODSTAWY AUTOMATYKI. MATLAB - komputerowe środowisko obliczeń naukowoinżynierskich - podstawowe operacje na liczbach i macierzach.
WYDZIAŁ ELEKTROTECHNIKI I AUTOMATYKI Katedra Inżynierii Systemów Sterowania PODSTAWY AUTOMATYKI MATLAB - komputerowe środowisko obliczeń naukowoinżynierskich - podstawowe operacje na liczbach i macierzach.
Bardziej szczegółowoLICZBY ZESPOLONE. 1. Wiadomości ogólne. 2. Płaszczyzna zespolona. z nazywamy liczbę. z = a + bi (1) i = 1 lub i 2 = 1
LICZBY ZESPOLONE 1. Wiadomości ogólne DEFINICJA 1. Liczba zespolona z nazywamy liczbę taką, że a, b R oraz i jest jednostka urojona, definiowaną następująco: z = a + bi (1 i = 1 lub i = 1 Powyższą postać
Bardziej szczegółowoLiczby zespolone. x + 2 = 0.
Liczby zespolone 1 Wiadomości wstępne Rozważmy równanie wielomianowe postaci x + 2 = 0. Współczynniki wielomianu stojącego po lewej stronie są liczbami całkowitymi i jedyny pierwiastek x = 2 jest liczbą
Bardziej szczegółowoZadania egzaminacyjne
Rozdział 13 Zadania egzaminacyjne Egzamin z algebry liniowej AiR termin I 03022011 Zadanie 1 Wyznacz sumę rozwiązań równania: (8z + 1 i 2 2 7 iz 4 = 0 Zadanie 2 Niech u 0 = (1, 2, 1 Rozważmy odwzorowanie
Bardziej szczegółowo1. Liczby zespolone. Jacek Jędrzejewski 2011/2012
1. Liczby zespolone Jacek Jędrzejewski 2011/2012 Spis treści 1 Liczby zespolone 2 1.1 Definicja liczby zespolonej.................... 2 1.2 Postać kanoniczna liczby zespolonej............... 1. Postać
Bardziej szczegółowoLista nr 1 - Liczby zespolone
Lista nr - Liczby zespolone Zadanie. Obliczyć: a) ( 3 i) 3 ( 6 i ) 8 c) (+ 3i) 8 (i ) 6 + 3 i + e) f*) g) ( 3 i ) 77 ( ( 3 i + ) 3i 3i h) ( + 3i) 5 ( i) 0 i) i ( 3 i ) 4 ) +... + ( 3 i ) 0 Zadanie. Przedstawić
Bardziej szczegółowoLista. Algebra z Geometrią Analityczną. Zadanie 1 Przypomnij definicję grupy, które z podanych struktur są grupami:
Lista Algebra z Geometrią Analityczną Zadanie 1 Przypomnij definicję grupy, które z podanych struktur są grupami: (N, ), (Z, +) (Z, ), (R, ), (Q \ {}, ) czym jest element neutralny i przeciwny w grupie?,
Bardziej szczegółowoRozdział 2. Liczby zespolone
Rozdział Liczby zespolone Zbiór C = R z działaniami + oraz określonymi poniżej: x 1, y 1 ) + x, y ) := x 1 + x, y 1 + y ), 1) x 1, y 1 ) x, y ) := x 1 x y 1 y, x 1 y + x y 1 ) ) jest ciałem zob rozdział
Bardziej szczegółowoKolorowa płaszczyzna zespolona
Kolorowa płaszczyzna zespolona Marta Szumańska MIMUW/IX LO w Warszawie Sielpia, 27 października 2018 p. 1 of 64 Liczby zespolone Przez i oznaczamy jednostkę urojoną. Jest to obiekt spełniający warunek
Bardziej szczegółowohttp://www-users.mat.umk.pl/~pjedrzej/matwyz.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego i opanowanie przez nich podstawowych pojęć dotyczących
Bardziej szczegółowoNiezb. ednik matematyczny. Niezb. ednik matematyczny
Niezb ednik matematyczny Niezb ednik matematyczny Liczby zespolone I Rozważmy zbiór R R (zbiór par liczb rzeczywistych) i wprowadźmy w nim nastepuj ace dzia lania: z 1 + z 2 = (x 1, y 1 ) + (x 2, y 2 )
Bardziej szczegółowoφ(x 1,..., x n ) = a i x 2 i +
Teoria na egzamin z algebry liniowej Wszystkie podane pojęcia należy umieć określić i podać pprzykłady, ewentualnie kontrprzykłady. Ponadto należy znać dowody tam gdzie to jest zaznaczone. Liczby zespolone.
Bardziej szczegółowoWykłady z matematyki Liczby zespolone
Wykłady z matematyki Liczby zespolone Rok akademicki 015/16 UTP Bydgoszcz Liczby zespolone Wstęp Formalnie rzecz biorąc liczby zespolone to punkty na płaszczyźnie z działaniami zdefiniowanymi następująco:
Bardziej szczegółowo1 Elementy logiki i teorii mnogości
1 Elementy logiki i teorii mnogości 11 Elementy logiki Notatki do wykładu Definicja Zdaniem logicznym nazywamy zdanie oznajmujące, któremu przysługuje jedna z dwu logicznych ocen prawda (1) albo fałsz
Bardziej szczegółowomacierze jednostkowe (identyczności) macierze diagonalne, które na przekątnej mają same
1 Macierz definicja i zapis Macierzą wymiaru m na n nazywamy tabelę a 11 a 1n A = a m1 a mn złożoną z liczb (rzeczywistych lub zespolonych) o m wierszach i n kolumnach (zamiennie będziemy też czasem mówili,
Bardziej szczegółowoKurs wyrównawczy - teoria funkcji holomorficznych
Kurs wyrównawczy - teoria funkcji holomorficznych wykład 1 Gniewomir Sarbicki 15 lutego 2011 Struktura ciała Zbiór par liczb rzeczywistych wyposażamy w działania: { + : (a, b) + (c, d) = (a + c, b + d)
Bardziej szczegółowoRozdział 2. Liczby zespolone
Rozdział Liczby zespolone Zbiór C = R z działaniami + oraz określonymi poniżej: x 1,y 1 +x,y := x 1 +x,y 1 +y, 1 x 1,y 1 x,y := x 1 x y 1 y,x 1 y +x y 1 jest ciałem zob przykład 16, str 7; jest to tzw
Bardziej szczegółowoALGEBRA Z GEOMETRIĄ ANALITYCZNĄ
ALGEBRA Z GEOMETRIĄ ANALITYCZNĄ Maciej Burnecki opracowanie strona główna Spis treści I Zadania Wyrażenia algebraiczne indukcja matematyczna Geometria analityczna na płaszczyźnie Liczby zespolone 4 Wielomiany
Bardziej szczegółowoALGEBRA z GEOMETRIA, ANALITYCZNA,
ALGEBRA z GEOMETRIA, ANALITYCZNA, MAT00405 PRZEKSZTAL CANIE WYRAZ EN ALGEBRAICZNYCH, WZO R DWUMIANOWY NEWTONA Uprościć podane wyrażenia 7; (b) ( 6)( + ); (c) a 5 6 8a ; (d) ( 5 )( 5 + ); (e) ( 45x 4 y
Bardziej szczegółowoAlgebra liniowa z geometria
Algebra liniowa z geometria Materiały do ćwiczeń Zespół matematyków przy WEEiA Spis treści 1 Macierze i wyznaczniki 5 11 Macierze i ich rodzaje 5 12 Operacje na macierzach 6 13 Wyznacznik macierzy 8 14
Bardziej szczegółowo1 Zbiory i działania na zbiorach.
Matematyka notatki do wykładu 1 Zbiory i działania na zbiorach Pojęcie zbioru jest to pojęcie pierwotne (nie definiuje się tego pojęcia) Pojęciami pierwotnymi są: element zbioru i przynależność elementu
Bardziej szczegółowoPrzekształcenia całkowe. Wykład 1
Przekształcenia całkowe Wykład 1 Przekształcenia całkowe Tematyka wykładów: 1. Liczby zespolone -wprowadzenie, - funkcja zespolona zmiennej rzeczywistej, - funkcja zespolona zmiennej zespolonej. 2. Przekształcenie
Bardziej szczegółowoAlgebra liniowa z geometrią
Algebra liniowa z geometrią Maciej Czarnecki 15 stycznia 2013 Spis treści 1 Geometria płaszczyzny 2 1.1 Wektory i skalary........................... 2 1.2 Macierze, wyznaczniki, układy równań liniowych.........
Bardziej szczegółowo= i Ponieważ pierwiastkami stopnia 3 z 1 są (jak łatwo wyliczyć) liczby 1, 1+i 3
ZESTAW I 1. Rozwiązać równanie. Pierwiastki zaznaczyć w płaszczyźnie zespolonej. z 3 8(1 + i) 3 0, Sposób 1. Korzystamy ze wzoru a 3 b 3 (a b)(a 2 + ab + b 2 ), co daje: (z 2 2i)(z 2 + 2(1 + i)z + (1 +
Bardziej szczegółowoAlgebra z Geometrią Analityczną. { x + 2y = 5 x y = 9. 4x + 5y 3z = 9, 2x + 4y 3z = 1. { 2x + 3y + z = 5 4x + 5y 3z = 9 7 1,
Lista Algebra z Geometrią Analityczną Układy równań. Zadanie 1 Wyjaśnij na czym polega metoda elininacji Gaussa rozwiązując układ równań: { x + 2y = 5 x y = 9 Zadanie 2 Rozwiąż układ równań metodą eliminacji
Bardziej szczegółowoALGEBRA Z GEOMETRIĄ ANALITYCZNĄ zadania z odpowiedziami
ALGEBRA Z GEOMETRIĄ ANALITYCZNĄ zadania z odpowiedziami Maciej Burnecki opracowanie strona główna Spis treści 1 Wyrażenia algebraiczne indukcja matematyczna 1 Geometria analityczna w R 3 3 Liczby zespolone
Bardziej szczegółowoW naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora.
1. Podstawy matematyki 1.1. Geometria analityczna W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora. Skalarem w fizyce nazywamy
Bardziej szczegółowoLista. Algebra z Geometrią Analityczną. Zadanie 1 Zapisz za pomocą spójników logicznych i kwantyfikatorów: x jest większe niż 6 lub mniejsze niż 4
Lista Algebra z Geometrią Analityczną Zadanie 1 Zapisz za pomocą spójników logicznych i kwantyfikatorów: x jest większe niż 6 lub mniejsze niż 4 jeżeli x jest podzielne przez 4 to jest podzielne przez
Bardziej szczegółowodr Mariusz Grządziel 15,29 kwietnia 2014 Przestrzeń R k R k = R R... R k razy Elementy R k wektory;
Wykłady 8 i 9 Pojęcia przestrzeni wektorowej i macierzy Układy równań liniowych Elementy algebry macierzy dodawanie, odejmowanie, mnożenie macierzy; macierz odwrotna dr Mariusz Grządziel 15,29 kwietnia
Bardziej szczegółowo3 1 + i 1 i i 1 2i 2. Wyznaczyć macierze spełniające własność komutacji: [A, X] = B
1. Dla macierzy a) A = b) A = c) A = d) A = 3 1 + i 1 i i i 0 i i 0 1 + i 1 i 0 0 0 0 1 0 1 0 1 + i 1 i Wyznaczyć macierze spełniające własność komutacji: A, X = B. Obliczyć pierwiaski z macierzy: A =
Bardziej szczegółowo1 Działania na macierzach
1 Działania na macierzach Dodawanie macierzy Dodawać można tylko macierze o tych samych wymiarach i robi to się następująco: [ 1 3 4 5 6 ] + [ 0 3 1 3 7 8 ] = [1 + 0 + 3 3 + 1 4 3 5 + 7 6 + 8 ] = [1 5
Bardziej szczegółowoAlgebra z geometrią analityczną zadania z odpowiedziami
Algebra z geometrią analityczną zadania z odpowiedziami Maciej Burnecki Spis treści strona główna 1 Wyrażenia algebraiczne, indukcja matematyczna 2 2 Geometria analityczna w R 2 Liczby zespolone 4 4 Wielomiany
Bardziej szczegółowoLiczby zespolone. P. F. Góra (w zastępstwie prof. K. Rościszewskiego) 27 lutego 2007
Liczby zespolone P. F. Góra (w zastępstwie prof. K. Rościszewskiego) http://th-www.if.uj.edu.pl/zfs/gora/ 27 lutego 2007 Definicja C zbiór par liczb rzeczywistych w którym określono następujace działania:
Bardziej szczegółowoAlgebra z geometrią analityczną zadania z odpowiedziami
Algebra z geometrią analityczną zadania z odpowiedziami Maciej Burnecki opracowanie Spis treści I Wyrażenia algebraiczne, indukcja matematyczna 2 II Geometria analityczna w R 2 4 III Liczby zespolone 5
Bardziej szczegółowo1 Macierze i wyznaczniki
1 Macierze i wyznaczniki 11 Definicje, twierdzenia, wzory 1 Macierzą rzeczywistą (zespoloną) wymiaru m n, gdzie m N oraz n N, nazywamy prostokątną tablicę złożoną z mn liczb rzeczywistych (zespolonych)
Bardziej szczegółowoAlgebra WYKŁAD 3 ALGEBRA 1
Algebra WYKŁAD 3 ALGEBRA 1 Liczby zespolone Postać wykładnicza liczby zespolonej Niech e oznacza stałą Eulera Definicja Równość e i cos isin nazywamy wzorem Eulera. ALGEBRA 2 Liczby zespolone Każdą liczbę
Bardziej szczegółowoWykład Ćwiczenia Laboratorium Projekt Seminarium Liczba godzin zajęć zorganizowanych w Uczelni 30 30
Zał. nr 4 do ZW WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI KARTA PRZEDMIOTU Nazwa w języku polskim ALGEBRA M1 Nazwa w języku angielskim ALGEBRA M1 Kierunek studiów (jeśli dotyczy): Matematyka Stopień studiów
Bardziej szczegółowo, to liczby γ +δi oraz γ δi opisują pierwiastki z a+bi.
Zestaw 1 Liczby zespolone 1 Zadania do przeliczenia Nie będziemy robić na ćwiczeniach S 1 Policz wartość 1 + i + (2 + i)(i 3) 1 i Zadania domowe x y(1 + i) 1 Znajdź liczby rzeczywiste x, y takie, że +
Bardziej szczegółowoSin[Pi / 4] Log[2, 1024] Prime[10]
In[1]:= (* WSTĘP DO PAKIETU MATHEMATICA *) (* autorzy: Łukasz Płociniczak,Marek Teuerle*) (* Składnia: nazwy funkcji z wielkiej litery a argumenty w kwadratowych nawiasach. Wywołujemy wartość SHIFT+ENTER
Bardziej szczegółowoDr Maciej Grzesiak, Instytut Matematyki
liczbowe Dr Maciej Grzesiak, Instytut Matematyki liczbowe Dr Maciej Grzesiak, pok.724 E e-mail: maciej.grzesiak@put.poznan.pl http://www.maciej.grzesiak.pracownik.put.poznan.pl podręcznik: i algebra liniowa
Bardziej szczegółowoAlgebra liniowa i geometria analityczna. Autorzy: Agnieszka Kowalik Michał Góra
Algebra liniowa i geometria analityczna Autorzy: Agnieszka Kowalik Michał Góra 9 Spis treści Liczby zespolone Postać algebraiczna liczby zespolonej Moduł i argument liczby zespolonej Postać trygonometryczna
Bardziej szczegółowoALGEBRA LINIOWA Z ELEMENTAMI GEOMETRII ANALITYCZNEJ. 1. Ciała
ALGEBRA LINIOWA Z ELEMENTAMI GEOMETRII ANALITYCZNEJ WSHE, O/K-CE 1. Ciała Definicja 1. Układ { ; 0, 1; +, } złożony ze zbioru, dwóch wyróżnionych elementów 0, 1 oraz dwóch działań +:, : nazywamy ciałem
Bardziej szczegółowoMatematyczne Metody Fizyki I Dr hab. inż. Mariusz Przybycień
Matematyczne Metody Fizyki I Dr hab. inż. Mariusz Przybycień Matematyka dla przyrodników i inżynierów, D.A. McQuarrie, PWN, Warszawa 005. Wybrane rozdziały matematycznych metod fizyki, A. Lenda, B. Spisak,
Bardziej szczegółowo1 Logika. 1. Udowodnij prawa logiczne: 3. (p q) (p q) 2. (p q) ( q p) 2. Sprawdź, czy wyrażenie ((p q) r) (p (q r)) jest tautologią.
Logika. Udowodnij prawa logiczne:. (p q) ( p q). (p q) ( q p) 3. (p q) (p q). Sprawdź czy wyrażenie ((p q) r) (p (q r)) jest tautologią. 3. Zad 3. Sprawdź czy zdanie: Jeżeli liczba a dzieli się przez i
Bardziej szczegółowoSIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa
SIMR 06/07, Analiza, wykład, 07-0- Przestrzeń wektorowa Przestrzeń wektorowa (liniowa) - przestrzeń (zbiór) w której określone są działania (funkcje) dodawania elementów i mnożenia elementów przez liczbę
Bardziej szczegółowoZajmijmy się najpierw pierwszym równaniem. Zapiszmy je w postaci trygonometrycznej, podstawiając z = r(cos ϕ + i sin ϕ).
Zad (0p) Zaznacz na płaszczyźnie zespolonej wszystkie z C, które spełniają równanie ( iz 3 z z ) Re [(z + 3) ( z 3) = 0 Szukane z C spełniają: iz 3 = z z Re [(z + 3) ( z 3) = 0 Zajmijmy się najpierw pierwszym
Bardziej szczegółowoMatematyczne Metody Fizyki I
Matematyczne Metody Fizyki I Dr hab. inż.. Mariusz Przybycień Matematyka dla przyrodników i inżynierów, D.A. McQuarrie, PWN, Warszawa 005. Wybrane rozdziały matematycznych metod fizyki, A. Lenda, B. Spisak,
Bardziej szczegółowoMatematyka w Instytucie Akustyki. Maciej Radziejewski
Matematyka w Instytucie Akustyki Maciej Radziejewski Prowadzący: Dr Maciej Radziejewski Zakład Algebry i Teorii Liczb, Wydział Matematyki i Informatyki UAM p. B2-10 (ew. B2-46). WWW: http://matematykaaku.weebly.com
Bardziej szczegółowoUkłady równań liniowych
Układy równań liniowych Niech K będzie ciałem. Niech n, m N. Równanie liniowe nad ciałem K z niewiadomymi (lub zmiennymi) x 1, x 2,..., x n K definiujemy jako formę zdaniową zmiennej (x 1,..., x n ) K
Bardziej szczegółowoAlgebra z geometrią analityczną zadania z odpowiedziami
Algebra z geometrią analityczną zadania z odpowiedziami Maciej Burnecki Spis treści 0 Wyrażenia algebraiczne, indukcja matematyczna 2 2 2 1 Geometria analityczna w R 2 3 3 3 2 Liczby zespolone 4 4 4 3
Bardziej szczegółowoGAL 80 zadań z liczb zespolonych
GAL 80 zadań z liczb zespolonych Postać algebraiczna liczby zespolonej 1 Sprowadź wyrażenia do postaci algebraicznej: (a) ( + i)(3 i) + ( + 31)(3 + 41), (b) (4 + 3i)(5 i) ( 6i), (5 + i)(7 6i) (c), 3 +
Bardziej szczegółowoFunkcje analityczne. Wykład 2. Płaszczyzna zespolona. Paweł Mleczko. Funkcje analityczne (rok akademicki 2017/2018)
Funkcje analityczne Wykład 2. Płaszczyzna zespolona Paweł Mleczko Funkcje analityczne (rok akademicki 2017/2018) Plan wykładu W czasie wykładu omawiać będziemy różne reprezentacje płaszczyzny zespolonej
Bardziej szczegółowoAby przygotować się do kolokwiów oraz do egzaminów należy ponownie przeanalizować zadania
Chemia Budowlana - Wydział Chemiczny - 1 Aby przygotować się do kolokwiów oraz do egzaminów należy ponownie przeanalizować zadania rozwiązywane na wykładzie, rozwiązywane na ćwiczeniach, oraz samodzielnie
Bardziej szczegółowoMacierze. Rozdział Działania na macierzach
Rozdział 5 Macierze Funkcję, która każdej parze liczb naturalnych (i, j) (i 1,..., n; j 1,..., m) przyporządkowuje dokładnie jedną liczbę a ij F, gdzie F R lub F C, nazywamy macierzą (rzeczywistą, gdy
Bardziej szczegółowocx cx 1,cx 2,cx 3,...,cx n. Przykład 4, 5
Matematyka ZLic - 07 Wektory i macierze Wektorem rzeczywistym n-wymiarowym x x 1, x 2,,x n nazwiemy ciąg n liczb rzeczywistych (tzn odwzorowanie 1, 2,,n R) Zbiór wszystkich rzeczywistych n-wymiarowych
Bardziej szczegółowoSpis treści Wstęp Liczby zespolone Funkcje elementarne zmiennej zespolonej Wielomiany Macierze i wyznaczniki
Spis treści Wstęp ii 1 Liczby zespolone 1 1.1 Definicja i działania, liczby sprzężone......................... 1 1.2 Moduł, argument, postać trygonometryczna..................... 2 1.3 Działania na liczbach
Bardziej szczegółowoFUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.
FUNKCJE LICZBOWE Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y. Innymi słowy f X Y = {(x, y) : x X oraz y Y }, o ile (x, y) f oraz (x, z) f pociąga
Bardziej szczegółowoDB Algebra liniowa semestr zimowy 2018
DB Algebra liniowa semestr zimowy 2018 SPIS TREŚCI Teoria oraz większość zadań w niniejszym skrypcie zostały opracowane na podstawie książek: 1 G Banaszak, W Gajda, Elementy algebry liniowej cz I, Wydawnictwo
Bardziej szczegółowodr inż. Ryszard Rębowski 1 WPROWADZENIE
dr inż. Ryszard Rębowski 1 WPROWADZENIE Zarządzanie i Inżynieria Produkcji studia stacjonarne Konspekt do wykładu z Matematyki 1 1 Postać trygonometryczna liczby zespolonej zastosowania i przykłady 1 Wprowadzenie
Bardziej szczegółowoWykład Ćwiczenia Laboratorium Projekt Seminarium Liczba godzin zajęć zorganizowanych w Uczelni ,5 1
Zał. nr 4 do ZW WYDZIAŁ ***** KARTA PRZEDMIOTU Nazwa w języku polskim ALGEBRA Z GEOMETRIĄ ANALITYCZNĄ B Nazwa w języku angielskim Algebra and Analytic Geometry B Kierunek studiów (jeśli dotyczy): Specjalność
Bardziej szczegółowo1 Logika (3h) 1.1 Funkcje logiczne. 1.2 Kwantyfikatory. 1. Udowodnij prawa logiczne: 5. (p q) (p q) 6. ((p q) r) (p (q r)) 3.
Logika (3h). Udowodnij prawa logiczne:. (p q) ( p q). (p q) ( p q) 3. (p q) ( q p) 4. (p q) ( p q) 5. (p q) (p q) 6. ((p q) r) (p (q r)) 7. (p q) r (p r) (q r) 8. (p q) (q r) (p r). Sprawdź, czy wyrażenia:.
Bardziej szczegółowoMATEMATYKA I SEMESTR ALK (PwZ) 1. Sumy i sumy podwójne : Σ i ΣΣ
MATEMATYKA I SEMESTR ALK (PwZ). Sumy i sumy podwójne : Σ i ΣΣ.. OKREŚLENIE Ciąg liczbowy = Dowolna funkcja przypisująca liczby rzeczywiste pierwszym n (ciąg skończony), albo wszystkim (ciąg nieskończony)
Bardziej szczegółowoJarosław Wróblewski Analiza Matematyczna 2, lato 2016/17
41. Niech z = 5 + 4i. Dla podanych liczb m, n podać taką liczbę całkowitą k, aby 5 zachodziła równość z m z n =z k. Uwaga na sprzężenie w drugim czynniku po lewej stronie. a) m = 1, n = 1, k = 9 ; b) m
Bardziej szczegółowoGeometria Lista 0 Zadanie 1
Geometria Lista 0 Zadanie 1. Wyznaczyć wzór na pole równoległoboku rozpiętego na wektorach u, v: (a) nie odwołując się do współrzędnych tych wektorów; (b) odwołując się do współrzędnych względem odpowiednio
Bardziej szczegółowoRozdział 5. Macierze. a 11 a a 1m a 21 a a 2m... a n1 a n2... a nm
Rozdział 5 Macierze Funkcję, która każdej parze liczb naturalnych (i,j) (i = 1,,n;j = 1,,m) przyporządkowuje dokładnie jedną liczbę a ij F, gdzie F = R lub F = C, nazywamy macierzą (rzeczywistą, gdy F
Bardziej szczegółowoĆwiczenie 3: Wprowadzenie do programu Matlab
Uniwersytet Zielonogórski Instytut Sterowania i Systemów Informatycznych Laboratorium modelowania i symulacji Ćwiczenie 3: Wprowadzenie do programu Matlab 1. Wyznaczyć wartość sumy 1 1 2 + 1 3 1 4 + 1
Bardziej szczegółowoWEKTORY I MACIERZE. Strona 1 z 11. Lekcja 7.
Strona z WEKTORY I MACIERZE Wektory i macierze ogólnie nazywamy tablicami. Wprowadzamy je:. W sposób jawny: - z menu Insert Matrix, - skrót klawiszowy: {ctrl}+m, - odpowiedni przycisk z menu paska narzędziowego
Bardziej szczegółowoAnaliza matematyczna i algebra liniowa
Materiały pomocnicze dla studentów do wykładów Opracował (-li): 1 Prof dr hab Edward Smaga dr Anna Gryglaszewska 3 mgr Marta Kornafel 4 mgr Fryderyk Falniowski 5 mgr Paweł Prysak Materiały przygotowane
Bardziej szczegółowoZajęcia nr 1 (1h) Dwumian Newtona. Indukcja. Zajęcia nr 2 i 3 (4h) Trygonometria
Technologia Chemiczna 008/09 Zajęcia wyrównawcze. Pokazać, że: ( )( ) n k k l = ( n l )( n l k l Zajęcia nr (h) Dwumian Newtona. Indukcja. ). Rozwiązać ( ) ( równanie: ) n n a) = 0 b) 3 ( ) n 3. Znaleźć
Bardziej szczegółowoPraca domowa - seria 2
Praca domowa - seria 0 listopada 01 Zadanie 1. Zaznacz na płaszczyźnie zespolonej zbiór liczb spełniających nierówność: A = {z C : i z < Im(z)}. Rozwiązanie 1 Niech z = a + ib, gdzie a, b R. Wtedy z =
Bardziej szczegółowoSylabus do programu kształcenia obowiązującego od roku akademickiego 2012/13
Sylabus do programu kształcenia obowiązującego od roku akademickiego 2012/13 (1) Nazwa Algebra liniowa z geometrią (2) Nazwa jednostki prowadzącej Instytut Matematyki przedmiot (3) Kod () Studia Kierunek
Bardziej szczegółowoElementy geometrii analitycznej w R 3
Rozdział 12 Elementy geometrii analitycznej w R 3 Elementy trójwymiarowej przestrzeni rzeczywistej R 3 = {(x,y,z) : x,y,z R} możemy interpretować co najmniej na trzy sposoby, tzn. jako: zbiór punktów (x,
Bardziej szczegółowospis treści 1 Zbiory i zdania... 5
wstęp 1 i wiadomości wstępne 5 1 Zbiory i zdania............................ 5 Pojęcia pierwotne i podstawowe zasady 5. Zbiory i zdania 6. Operacje logiczne 7. Definicje i twierdzenia 9. Algebra zbiorów
Bardziej szczegółowoO MACIERZACH I UKŁADACH RÓWNAŃ
O MACIERZACH I UKŁADACH RÓWNAŃ Problem Jak rozwiązać podany układ równań? 2x + 5y 8z = 8 4x + 3y z = 2x + 3y 5z = 7 x + 8y 7z = Definicja Równanie postaci a x + a 2 x 2 + + a n x n = b gdzie a, a 2, a
Bardziej szczegółowoFunkcje. Część pierwsza. Zbigniew Koza. Wydział Fizyki i Astronomii
Funkcje Część pierwsza Zbigniew Koza Wydział Fizyki i Astronomii Wrocław, 2015 Co to są funkcje? y(x) x Co to są funkcje? y(x) x Co to są funkcje? Funkcja dla każdego argumentu ma określoną dokładnie jedną
Bardziej szczegółowoFunkcje Andrzej Musielak 1. Funkcje
Funkcje Andrzej Musielak 1 Funkcje Funkcja liniowa Funkcja liniowa jest postaci f(x) = a x + b, gdzie a, b R Wartość a to tangens nachylenia wykresu do osi Ox, natomiast b to wartość funkcji w punkcie
Bardziej szczegółowoARKUSZ KALKULACYJNY MICROSOFT EXCEL cz.2 Formuły i funkcje macierzowe, obliczenia na liczbach zespolonych, wykonywanie i formatowanie wykresów.
Wydział Elektryczny Katedra Elektrotechniki Teoretycznej i Metrologii Instrukcja do pracowni z przedmiotu Podstawy Informatyki Kod przedmiotu: ENS1C 100 003 oraz ENZ1C 100 003 Ćwiczenie pt. ARKUSZ KALKULACYJNY
Bardziej szczegółowoA A A A A A A A A n n
DODTEK NR GEBR MCIERZY W dodatku tym podamy najważniejsze definicje rachunku macierzowego i omówimy niektóre funkcje i transformacje macierzy najbardziej przydatne w zastosowaniach numerycznych a w szczególności
Bardziej szczegółowoPodstawy nauk przyrodniczych Matematyka Wstęp
Podstawy nauk przyrodniczych Matematyka Wstęp Katarzyna Kluzek i Adrian Silesian Zakład Genetyki Molekularnej Człowieka tel. 61 829 58 33 adrian.silesian@amu.edu.pl katarzyna.kluzek@amu.edu.pl Pokój 1.117
Bardziej szczegółowozajęcia 2 Definiowanie wektorów:
zajęcia 2 Plan zajęć: definiowanie wektorów instrukcja warunkowa if wykresy Definiowanie wektorów: Co do definicji wektora: Koń jaki jest, każdy widzi Definiowanie wektora w Octave v1=[3,2,4] lub: v1=[3
Bardziej szczegółowoa 11 a a 1n a 21 a a 2n... a m1 a m2... a mn x 1 x 2... x m ...
Wykład 15 Układy równań liniowych Niech K będzie ciałem i niech α 1, α 2,, α n, β K. Równanie: α 1 x 1 + α 2 x 2 + + α n x n = β z niewiadomymi x 1, x 2,, x n nazywamy równaniem liniowym. Układ: a 21 x
Bardziej szczegółowoWYBRANE DZIAŁY ANALIZY MATEMATYCZNEJ. Wykład II
Wykład II I. Algebra wektorów 2.1 Iloczyn wektorowy pary wektorów. 2.1.1 Orientacja przestrzeni Załóżmy, że trójka wektorów a, b i c jest niekomplanarna. Wynika z tego, że żaden z tych wektorów nie jest
Bardziej szczegółowoA,B M! v V ; A + v = B, (1.3) AB = v. (1.4)
Rozdział 1 Prosta i płaszczyzna 1.1 Przestrzeń afiniczna Przestrzeń afiniczna to matematyczny model przestrzeni jednorodnej, bez wyróżnionego punktu. Można w niej przesuwać punkty równolegle do zadanego
Bardziej szczegółowo1 Przestrzeń liniowa. α 1 x α k x k = 0
Z43: Algebra liniowa Zagadnienie: przekształcenie liniowe, macierze, wyznaczniki Zadanie: przekształcenie liniowe, jądro i obraz, interpretacja geometryczna. Przestrzeń liniowa Już w starożytności człowiek
Bardziej szczegółowoPrzestrzenie wektorowe
Rozdział 4 Przestrzenie wektorowe Rozważania dotyczące przestrzeni wektorowych rozpoczniemy od kilku prostych przykładów. Przykład 4.1. W przestrzeni R 3 = {(x, y, z) : x, y, z R} wprowadzamy dwa działania:
Bardziej szczegółowoPODSTAWY RACHUNKU WEKTOROWEGO
Transport, studia niestacjonarne I stopnia, semestr I Instytut L-5, Wydział Inżynierii Lądowej, Politechnika Krakowska Adam Wosatko Ewa Pabisek Skalar Definicja Skalar wielkość fizyczna (lub geometryczna)
Bardziej szczegółowoKURS LICZB ZESPOLONYCH
KURS LICZB ZESPOLONYCH Lekcja 2 Równania zespolone. Pierwiastki drugiego stopnia liczone w postaci kartezjańskiej. ZADANIE DOMOWE www.etrapez.pl Strona 1 Część 1: TEST Zaznacz poprawną odpowiedź (tylko
Bardziej szczegółowo; B = Wykonaj poniższe obliczenia: Mnożenia, transpozycje etc wykonuję programem i przepisuję wyniki. Mam nadzieję, że umiesz mnożyć macierze...
Tekst na niebiesko jest komentarzem lub treścią zadania. Zadanie. Dane są macierze: A D 0 ; E 0 0 0 ; B 0 5 ; C Wykonaj poniższe obliczenia: 0 4 5 Mnożenia, transpozycje etc wykonuję programem i przepisuję
Bardziej szczegółowoWykład 14. Elementy algebry macierzy
Wykład 14 Elementy algebry macierzy dr Mariusz Grządziel 26 stycznia 2009 Układ równań z dwoma niewiadomymi Rozważmy układ równań z dwoma niewiadomymi: a 11 x + a 12 y = h 1 a 21 x + a 22 y = h 2 a 11,
Bardziej szczegółowoUKŁADY RÓWNAŃ LINIOWYCH
Wykłady z matematyki inżynierskiej JJ, 08 DEFINICJA Układ m równań liniowych z n niewiadomymi to: ( ) a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2 a m1 x 1 + a m2 x 2 +
Bardziej szczegółowoMATEMATYKA I SEMESTR ALK (PwZ) 1. Sumy i sumy podwójne : Σ i ΣΣ
MATEMATYKA I SEMESTR ALK (PwZ). Sumy i sumy podwójne : Σ i ΣΣ.. OKREŚLENIE Ciąg liczbowy = Dowolna funkcja przypisująca liczby rzeczywiste pierwszym n (ciąg skończony), albo wszystkim (ciąg nieskończony)
Bardziej szczegółowoALGEBRA LINIOWA. Wykład 2. Analityka gospodarcza, sem. 1. Wydział Zarządzania i Ekonomii Politechnika Gdańska
ALGEBRA LINIOWA Wykład 2 Analityka gospodarcza, sem 1 Wydział Zarządzania i Ekonomii Politechnika Gdańska dr inż Natalia Jarzębkowska, CNMiKnO semzimowy 2018/2019 2/17 Macierze Niech M = {1, 2,, m} i N
Bardziej szczegółowo1 Podstawowe oznaczenia
Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.
Bardziej szczegółowoZastosowania wyznaczników
Zastosowania wyznaczników Mirosław Sobolewski Wydział Matematyki, Informatyki i Mechaniki UW 7.wykład z algebry liniowej Warszawa, listopad 2012 Mirosław Sobolewski (UW) Warszawa, listopad 2012 1 / 17
Bardziej szczegółowoPodstawy Automatyki ćwiczenia Cz.1. Środowisko Matlab
Podstawy Automatyki ćwiczenia Cz.1 Środowisko Matlab Podstawową jednostką obliczeniową w programie Matlab jest macierz. Wektory i skalary mogą być tutaj rozpatrywane jako specjalne typy macierzy. Elementy
Bardziej szczegółowo13 Układy równań liniowych
13 Układy równań liniowych Definicja 13.1 Niech m, n N. Układem równań liniowych nad ciałem F m równaniach i n niewiadomych x 1, x 2,..., x n nazywamy koniunkcję równań postaci a 11 x 1 + a 12 x 2 +...
Bardziej szczegółowoGNU Octave (w skrócie Octave) to rozbudowany program do analizy numerycznej.
1 GNU Octave GNU Octave (w skrócie Octave) to rozbudowany program do analizy numerycznej. Octave zapewnia: sporą bibliotęke użytecznych funkcji i algorytmów; możliwośc tworzenia przeróżnych wykresów; możliwość
Bardziej szczegółowo