Dodawanie

Dodawanie – wspólna nazwa różnych działań matematycznych, zdefiniowanych na różnych zbiorach i klasach, m.in. tych liczbowych, ale też dla wektorów, niektórych funkcji i części innych zbiorów.

Dodawane obiekty to składniki, a wynik dodawania to suma[1]. Działanie to zwykle oznacza się plusem: + . {\displaystyle +.} Dodawanie zalicza się do działań arytmetycznych i jest najprostszym z nich, definiującym pozostałe.

Dodawanie liczb

Dodawanie pisemne liczb naturalnych

W niektórych przypadkach dodawanie w pamięci jest trudne. Można tę operację uprościć, wykorzystując metodę dodawania pisemnego, która pozwala obliczyć sumę, wykonując w pamięci wyłącznie dodawanie liczb jednocyfrowych.

Poniżej podany jest przykład obliczenia sumy dwóch, trzycyfrowych liczb: 653 {\displaystyle 653} i 274. {\displaystyle 274.} Drugą liczbę zapisujemy pod pierwszą, tak by cyfry zostały zapisane w kolumnach. Zapisując liczby, należy je wyrównać do prawej, czyli zapisać jedności nad jednościami, dziesiątki nad dziesiątkami itd. Pod drugą liczbą narysuje się linię:

6 5 3 + 2 7 4   {\displaystyle {\begin{matrix}&6&5&3\\+&2&7&4\\\hline ~\end{matrix}}}

Dodawanie rozpoczynamy od prawej kolumny zawierającej cyfry jedności obu liczb. Cyfrą jedności 653 {\displaystyle 653} jest 3 ; {\displaystyle 3;} cyfrą jedności 274 {\displaystyle 274} jest 4 ; {\displaystyle 4;}
Dodajemy te dwie liczby jednocyfrowe, a ostatnią w wyniku zapisujemy pod kreską. 3 + 4 = 7 , {\displaystyle 3+4=7,} więc na pozycji jedności pod kreską piszemy 7 : {\displaystyle 7{:}}

6 5 3 + 2 7 4 7 {\displaystyle {\begin{matrix}&6&5&3\\+&2&7&4\\\hline &&&7\end{matrix}}}

Przechodzimy z dodawaniem do następnej kolumny, gdzie dodajemy do siebie liczby jednocyfrowe odpowiadające cyfrom dziesiątek. Cyfrą dziesiątek 653 {\displaystyle 653} jest 5 ; {\displaystyle 5;} cyfrą dziesiątek 274 {\displaystyle 274} jest 7 ; {\displaystyle 7;}
5 + 7 = 12 ; {\displaystyle 5+7=12;} piszemy 2 {\displaystyle 2} pod kreską na kolejnym od prawej miejscu, a 1 {\displaystyle 1} przenosimy do kolumny setek:

1 6 5 3 + 2 7 4 2 7 {\displaystyle {\begin{matrix}&1\\&6&5&3\\+&2&7&4\\\hline &&2&7\end{matrix}}}

Pozostała kolumna setek: dodajemy 1 + 6 + 2 {\displaystyle 1+6+2} z trzeciej kolumny otrzymując 9 , {\displaystyle 9,} piszemy 9 {\displaystyle 9} w kolumnie setek pod kreską:

1 6 5 3 + 2 7 4 9 2 7 {\displaystyle {\begin{matrix}&1\\&6&5&3\\+&2&7&4\\\hline &9&2&7\end{matrix}}}

otrzymując wynik 653 + 274 = 927. {\displaystyle 653+274=927.}

Dodając pisemnie wiele liczb („podliczanie słupków”), wygodnie jest dodać osobno jednostki, dziesiątki, setki itd., napisać wyniki (odpowiednio przesunięte) jeden pod drugim i ponownie zsumować. Pozwala to, w przypadku pomyłki, powtarzać tylko część obliczeń:

1 2 3 + 1 9 5 + 1 8 + 3 4 7 + 1 1 6 + 2 1 + 8 2 3 3 3 + 2 1 + 1 4 1 6 4 3 {\displaystyle {\begin{matrix}&&1&2&3\\+&&1&9&5\\+&&&1&8\\+&&3&4&7\\+&&1&1&6\\+&&&2&1\\+&&8&2&3\\\hline &&&3&3\\+&&2&1\\+&1&4\\\hline &1&6&4&3\end{matrix}}}

Uwaga: Liczby można dodawać pisemnie tylko w systemach pozycyjnych.

Dodawanie liczb całkowitych

Możliwe są trzy przypadki, w zależności od znaku dodawanych liczb:

  • Jeśli obydwie są dodatnie, dodajemy je tak jak liczby naturalne powyżej.
  • Jeśli obydwie są ujemne ( a {\displaystyle (-a} i b ) , {\displaystyle -b),} to należy dodać ich wartości bezwzględne i zmienić znak: ( a ) + ( b ) = ( a + b ) . {\displaystyle (-a)+(-b)=-(a+b).}
  • Jeśli jedna liczba jest dodatnia ( a ) {\displaystyle (a)} a druga ujemna ( b ) {\displaystyle (-b)} to dodawanie sprowadza się do odejmowania ich wartości bezwzględnych: a + ( b ) = a b . {\displaystyle a+(-b)=a-b.} Aby obliczyć a b , {\displaystyle a-b,} gdy a < b , {\displaystyle a<b,} oblicza się b a {\displaystyle b-a} i bierze otrzymany wynik ze znakiem „minus”, czyli: a b = ( b a ) . {\displaystyle a-b=-(b-a).}
  • Jeśli jedna z liczb jest zerem, suma jest równa drugiemu składnikowi.

Dodawanie ułamków

Dodawanie ułamków polega na dodaniu dwóch lub więcej wymiernych liczb niecałkowitych.

Przed dodaniem ułamków zwykłych musimy określić czy ich mianowniki są jednakowe

a b + c b , {\displaystyle {\frac {a}{b}}+{\frac {c}{b}},} gdzie b 0. {\displaystyle b\neq 0.}

Jeżeli mianowniki są jednakowe, wówczas dodajemy liczniki ułamków, a mianownik pozostawiamy bez zmian

a b + c b = a + c b . {\displaystyle {\frac {a}{b}}+{\frac {c}{b}}={\frac {a+c}{b}}.}

Np. 1 5 + 3 5 = 1 + 3 5 = 4 5 {\displaystyle {\frac {1}{5}}+{\frac {3}{5}}={\frac {1+3}{5}}={\frac {4}{5}}}

Aby dodać ułamki liczb wymiernych o różnych mianownikach a b + c d , {\displaystyle {\frac {a}{b}}+{\frac {c}{d}},} należy je sprowadzić do wspólnego mianownika, znajdując najmniejszą wspólną wielokrotność mianowników. Oznacza to również pomnożenie licznika ułamka przez tę wielokrotność.

Np. 1 4 + 2 6 = 1 3 4 3 + 2 2 6 2 = 3 12 + 4 12 = 7 12 {\displaystyle {\frac {1}{4}}+{\frac {2}{6}}={\frac {1\cdot \color {red}3\color {black}}{4\cdot \color {red}3\color {black}}}+{\frac {2\cdot \color {red}2\color {black}}{6\cdot \color {red}2\color {black}}}={\frac {3}{12}}+{\frac {4}{12}}={\frac {7}{12}}}

Można też wykorzystać fakt, że sprowadzenie do wspólnego mianownika można wykonać, mnożąc licznik i mianownik pierwszego ułamka przez mianownik drugiego ułamka, a licznik i mianownik drugiego ułamka przez mianownik pierwszego. Dodawanie ułamków sprowadza się wtedy do wzoru:

a b + c d = a d b d + c b d b = a d + c b b d . {\displaystyle {\frac {a}{b}}+{\frac {c}{d}}={\frac {ad}{bd}}+{\frac {cb}{db}}={\frac {ad+cb}{bd}}.}

Np. 1 4 + 2 6 = 1 6 + 2 4 4 6 = 6 + 8 24 = 14 / 2 24 / 2 = 7 12 {\displaystyle {\frac {1}{\color {blue}4}}+{\frac {\color {green}2}{\color {red}6}}={\frac {1\cdot \color {red}6\color {black}+\color {green}2\color {black}\cdot \color {blue}4}{\color {blue}4\color {black}\cdot \color {red}6\color {black}}}={\frac {6+8}{24}}={\frac {14^{\color {Gray}{/2}}}{24^{\color {Gray}{/2}}}}={\frac {7}{12}}}

W przypadku dodawania pisemnego ułamków dziesiętnych należy przesunąć dodawane liczby tak, aby przecinek dziesiętny był w tym samym miejscu:

1 2 , 5 + 5 , 8 1 1 8 , 3 1 {\displaystyle {\begin{matrix}&1&2,&5\\+&&5,&8&1\\\hline &1&8,&3&1\end{matrix}}}

Definicja formalna

Liczby naturalne na ogół definiuje się na jeden z dwóch sposobów: przez użycie liczb kardynalnych lub przez aksjomatykę Peana (zob. aksjomaty i konstrukcje liczb). W pierwszym przypadku dodawanie liczb naturalnych to nic innego jak dodawanie liczb kardynalnych, a w drugim dodawanie definiuje się indukcyjnie:

  • a + 1 = a , {\displaystyle a+1=a',}
  • a + b = ( a + b ) , {\displaystyle a+b'=(a+b)',}

gdzie a {\displaystyle a'} jest następnikiem liczby a . {\displaystyle a.}

Działanie dodawania można krok po kroku definiować dla każdego rodzaju liczb:

  • dodawanie dwóch liczb całkowitych a b {\displaystyle a-b} i c d , {\displaystyle c-d,} gdzie a , b , c , d N , {\displaystyle a,b,c,d\in \mathbb {N} ,} określone jest wzorem
( a b ) + ( c d ) = ( a + c ) ( b + d ) ; {\displaystyle (a-b)+(c-d)=(a+c)-(b+d);}
a b + c d = a d + b c b d {\displaystyle {\frac {a}{b}}+{\frac {c}{d}}={\frac {ad+bc}{bd}}} (w ogólności wzór ten jest definicją dodawania w dowolnym ciele ułamków);
  • dodawanie dwóch liczb rzeczywistych jest określone następująco: jeżeli a n {\displaystyle a_{n}} jest ciągiem Cauchy’ego liczb wymiernych zbieżnym do A , {\displaystyle A,} a b n {\displaystyle b_{n}} jest zbieżnym do B , {\displaystyle B,} to ciąg c n = a n + b n {\displaystyle c_{n}=a_{n}+b_{n}} jest ciągiem liczb wymiernych zbieżnym do C = A + B ; {\displaystyle C=A+B;}
  • dodawanie dwóch liczb rzeczywistych a {\displaystyle a} i b {\displaystyle b} określa się następująco:
W zbiorze ciągów Cauchy’ego liczb wymiernych wprowadza się relację równoważności: ( c n ) ( d n ) {\displaystyle (c_{n})\sim (d_{n})} gdy ciąg | c n d n | {\displaystyle |c_{n}-d_{n}|} jest zbieżny do zera. Niech a n , b n {\displaystyle a_{n},b_{n}} będą ciągami Cauchy’ego liczb wymiernych, wówczas ciąg c n = a n + b n {\displaystyle c_{n}=a_{n}+b_{n}} także jest ciągiem Cauchy’ego liczb wymiernych. Dowodzi się, że niezależnie od wyboru ciągów ( a n ) ( a n ) ,   ( b n ) ( b n ) {\displaystyle (a_{n}')\sim (a_{n}),\ (b_{n}')\sim (b_{n})} zachodzi ( a n + b n ) ( a n + b n ) . {\displaystyle (a_{n}'+b_{n}')\sim (a_{n}+b_{n}).} Klasa abstrakcji reprezentanta ( a n + b n ) {\displaystyle (a_{n}+b_{n})} jest sumą liczb utożsamianych z klasami reprezentantów ( a n ) , ( b n ) . {\displaystyle (a_{n}),(b_{n}).}
( a + b i ) + ( c + d i ) = ( a + c ) + ( b + d ) i ; {\displaystyle (a+bi)+(c+di)=(a+c)+(b+d)i;}
( a + b i + c j + d k ) + ( p + q i + r j + s k ) = ( a + p ) + ( b + q ) i + ( c + r ) j + ( d + s ) k . {\displaystyle (a+bi+cj+dk)+(p+qi+rj+sk)=(a+p)+(b+q)i+(c+r)j+(d+s)k.}

Własności sumy wynikające z własności składników

Składnik Składnik Suma
parzysty parzysty parzysta
nieparzysty nieparzysty parzysta
parzysty nieparzysty nieparzysta
naturalny naturalny naturalna
całkowity całkowity całkowita
całkowity niecałkowity niecałkowita
wymierny wymierny wymierna
wymierny niewymierny niewymierna
dodatni dodatni dodatnia
ujemny ujemny ujemna
algebraiczny algebraiczny algebraiczna
algebraiczny przestępny przestępna
rzeczywisty rzeczywisty rzeczywista
zespolony zespolony zespolona

Zapis oraz liczba składników

 Osobny artykuł: Sumowanie.

Dodawanie zwyczajowo oznacza się symbolem + , {\displaystyle +,} na przykład: 2 + 2 = 4. {\displaystyle 2+2=4.}

Zwykle jest ono rozpatrywane jako działanie dwuargumentowe, można jednak dodawać też mniej niż dwie liczby:

  • sumą zawierającą jeden składnik x {\displaystyle x} jest x , {\displaystyle x,}
  • sumą zawierającą zero składników jest liczba zero, ponieważ liczba zero jest elementem neutralnym dodawania.

Sumę a + b + c {\displaystyle a+b+c} można rozumieć jako ( a + b ) + c {\displaystyle (a+b)+c} lub a + ( b + c ) . {\displaystyle a+(b+c).} Obydwa te wyrażenia są równoważne, gdyż dodawanie jest łączne.

Jeżeli sumujemy wiele składników, wygodnie jest stosować uproszczone zapisy, takie jak wielokropki: 1 + 2 + + n . {\displaystyle 1+2+\ldots +n.}

Nieskończone sumy liczb bądź funkcji są nazywane szeregami, np. 1 + 1 2 + 1 4 + 1 8 + {\displaystyle 1+{\tfrac {1}{2}}+{\tfrac {1}{4}}+{\tfrac {1}{8}}+\ldots } jest szczególnym przypadkiem szeregu geometrycznego. Są one ważnym przedmiotem badań analizy matematycznej. Niektóre typowe prawa dodawania nie są tu spełnione, np. zmiana kolejności składników szeregu nieskończonego może zmienić jego sumę.

Gdy rozważa się skomplikowane sumy, stosuje się także zapis z grecką dużą literą sigma:

i = 1 n a i = a 1 + a 2 + a 3 + + a n {\displaystyle \sum \limits _{i=1}^{n}a_{i}=a_{1}+a_{2}+a_{3}+\ldots +a_{n}}

czytany „suma składników postaci a i {\displaystyle a_{i}} rozciągnięta na wszystkie wskaźniki i {\displaystyle i} od 1 {\displaystyle 1} do n {\displaystyle n} ”.

Analogicznie można zapisywać szeregi:

i = 1 1 2 i = 1 2 + 1 4 + 1 8 + = 1. {\displaystyle \sum \limits _{i=1}^{\infty }{\frac {1}{2^{i}}}={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+\ldots =1.}

Suma nie musi rozpoczynać się od 1, może rozpoczynać się od dowolnej całkowitej liczby (a także od {\displaystyle -\infty } przy zapisywaniu szeregów „od końca”).

Notację sigma można uogólnić, gdy dany jest dowolny warunek logiczny dotyczący wskaźnika, np.:

  • 0 x < n f ( x ) {\displaystyle \sum \limits _{0\leqslant x<n}f(x)} jest sumą składników postaci f ( x ) {\displaystyle f(x)} dla każdego całkowitego x {\displaystyle x} w pewnym przedziale,
  • x S f ( x ) {\displaystyle \sum \limits _{x\in S}f(x)} jest sumą składników postaci f ( x ) {\displaystyle f(x)} dla każdego x S {\displaystyle x\in S} (niekoniecznie całkowitego),
  • d | n μ ( d ) {\displaystyle \sum \limits _{d|n}\;\mu (d)} jest sumą wszystkich μ ( d ) {\displaystyle \mu (d)} dla każdego całkowitego d {\displaystyle d} dzielącego n {\displaystyle n}
  • R ( x ) f ( x ) {\displaystyle \sum \limits _{R(x)}f(x)} gdzie R ( x ) {\displaystyle R(x)} jest dowolną relacją zależną od x . {\displaystyle x.}

Możliwe jest także używanie sigmy do zapisywania sum podwójnych.

Analogiczne zapisy można stosować przy mnożeniu. Zamiast dużej litery sigma, stosowana jest wtedy duża litera pi: . {\displaystyle \prod .}

Przybliżanie całkami oznaczonymi

Dla dowolnej rosnącej funkcji f {\displaystyle f} zachodzi następująca zależność między całkami a sumami:

a 1 b f ( s ) d s i = a b f ( i ) a b + 1 f ( s ) d s . {\displaystyle {}\,\int \limits _{a-1}^{b}f(s)\,ds\leqslant \sum _{i=a}^{b}f(i)\leqslant \int \limits _{a}^{b+1}f(s)\,ds.}

Wzory sumacyjne

Zobacz w Wikiźródłach tekst
Sumy
  • i = 1 n x = n x {\displaystyle \sum _{i=1}^{n}x=nx}
  • i = m n i = ( n m + 1 ) ( n + m ) 2 {\displaystyle \sum _{i=m}^{n}i={\frac {(n-m+1)(n+m)}{2}}}
  • i = 0 n i = n ( n + 1 ) 2 {\displaystyle \sum _{i=0}^{n}i={\frac {n(n+1)}{2}}} (suma ciągu arytmetycznego)
  • i = 0 n i 2 = n ( n + 1 ) ( 2 n + 1 ) 6 {\displaystyle \sum _{i=0}^{n}i^{2}={\frac {n(n+1)(2n+1)}{6}}}
  • i = 0 n i 3 = ( n ( n + 1 ) 2 ) 2 = ( i = 0 n i ) 2 {\displaystyle \sum _{i=0}^{n}i^{3}=\left({\frac {n(n+1)}{2}}\right)^{2}=\left(\sum _{i=0}^{n}i\right)^{2}}
  • i = 0 n i p = ( n + 1 ) p + 1 p + 1 + k = 1 p B k p k + 1 ( p k ) ( n + 1 ) p k + 1 {\displaystyle \sum _{i=0}^{n}i^{p}={\frac {(n+1)^{p+1}}{p+1}}+\sum _{k=1}^{p}{\frac {B_{k}}{p-k+1}}{p \choose k}(n+1)^{p-k+1}}
gdzie B k {\displaystyle B_{k}} jest k-tą liczbą Bernoulliego.
  • i = m n x i = x n + 1 x m x 1 {\displaystyle \sum _{i=m}^{n}x^{i}={\frac {x^{n+1}-x^{m}}{x-1}}} (patrz szereg geometryczny)
  • i = 0 n x i = 1 x n + 1 1 x {\displaystyle \sum _{i=0}^{n}x^{i}={\frac {1-x^{n+1}}{1-x}}} (szczególny przypadek poprzedniego wzoru dla m = 0)
  • i = 0 n i x i 1 = 1 ( n + 1 ) x n + n x n + 1 ( x 1 ) 2 {\displaystyle \sum _{i=0}^{n}ix^{i-1}={\frac {1-(n+1)x^{n}+nx^{n+1}}{(x-1)^{2}}}}
  • i = 1 n ( 1 ) i = 1 2 ( ( 1 ) n 1 ) {\displaystyle \sum _{i=1}^{n}(-1)^{i}={\frac {1}{2}}{\bigg (}(-1)^{n}-1{\bigg )}}
  • i = 0 n ( n i ) = 2 n {\displaystyle \sum _{i=0}^{n}{n \choose i}=2^{n}} (patrz dwumian Newtona)
  • i = 0 n 1 ( i k ) = ( n k + 1 ) {\displaystyle \sum _{i=0}^{n-1}{i \choose k}={n \choose k+1}}
  • ( i a i ) ( j b j ) = i j a i b j {\displaystyle \left(\sum _{i}a_{i}\right)\left(\sum _{j}b_{j}\right)=\sum _{i}\sum _{j}a_{i}b_{j}} (prawo rozdzielności dla iloczynu sum, prawdziwe dla sum skończonych i szeregów bezwzględnie zbieżnych)
  • ( i a i ) 2 = i j a i a j = 2 i j < i a i a j + i a i 2 {\displaystyle \left(\sum _{i}a_{i}\right)^{2}=\sum _{i}\sum _{j}a_{i}a_{j}=2\sum _{i}\sum _{j<i}a_{i}a_{j}+\sum _{i}a_{i}^{2}}
  • R ( i ) a i = R ( j ) a j = R ( p ( j ) ) a p ( j ) {\displaystyle \sum \limits _{R(i)}a_{i}=\sum \limits _{R(j)}a_{j}=\sum \limits _{R(p(j))}a_{p(j)}} (zamiana zmiennych)
  • R ( i ) S ( j ) a i j = S ( j ) R ( i ) a i j {\displaystyle \sum \limits _{R(i)}\sum \limits _{S(j)}a_{ij}=\sum \limits _{S(j)}\sum \limits _{R(i)}a_{ij}} (zamiana kolejności sumowania)
  • R ( j ) a j + S ( j ) a j = R ( j ) lub S ( j ) a j + R ( j ) i S ( j ) a j {\displaystyle \sum \limits _{R(j)}a_{j}+\sum \limits _{S(j)}a_{j}=\sum \limits _{R(j)\;{\text{lub}}\;S(j)}a_{j}+\sum \limits _{R(j)\;{\text{i}}\;S(j)}a_{j}} (manipulacja dziedziną)

Suma funkcji

Sumę funkcji f , g : X Y , {\displaystyle f,g\colon X\to Y,} gdzie Y {\displaystyle Y} jest pewnym zbiorem ze zdefiniowanym działaniem dodawania (np. grupą czy, w szczególności, przestrzenią liniową) definiuje się jako

( f + g ) ( x ) = f ( x ) + g ( x ) {\displaystyle (f+g)(x)=f(x)+g(x)} dla wszystkich x X . {\displaystyle x\in X.}

Przykłady użycia:

  • Traktując macierze jako funkcje, można określić działanie dodawania macierzy. Aby dodać dwie macierze o tych samych wymiarach, wystarczy dodać ich odpowiednie elementy.
  • Traktując ciągi jako funkcje, można określić dodawanie ciągów.
  • Traktując wielomiany (właściwie funkcje wielomianowe) jako funkcje rzeczywiste R R , {\displaystyle \mathbb {R} \to \mathbb {R} ,} otrzymujemy analogiczną definicję dodawania, używaną w analizie matematycznej.
  • Traktując wielomiany jako ciągi współczynników (np. zapisując 3 x 2 + x + 5 {\displaystyle 3x^{2}+x+5} jako ( 5 , 1 , 3 , 0 , 0 , ) {\displaystyle (5,1,3,0,0,\dots )} ), otrzymuje się definicję sumy wielomianów używaną w algebrze abstrakcyjnej; aby dodać dwa wielomiany, należy dodać ich współczynniki. Definicję tę rozszerza się w oczywisty sposób na pierścień szeregów formalnych.

Dodawanie modulo

Działanie dodawania można określić w pierścieniu Zn.

Dodawanie modulo polega na obliczaniu reszty z dzielenia sumy liczb. Przykład: w zbiorze Z 5 {\displaystyle Z_{5}} zachodzi:

0 + 1 1 ( mod 5 ) {\displaystyle 0+1\equiv 1{\pmod {5}}}
2 + 3 0 ( mod 5 ) {\displaystyle 2+3\equiv 0{\pmod {5}}}
4 + 4 3 ( mod 5 ) {\displaystyle 4+4\equiv 3{\pmod {5}}}

Dodawanie modulo można też określić dla liczb rzeczywistych, np. w geometrii suma dwóch kątów skierowanych ma miarę równą sumie ich miar modulo 2 π . {\displaystyle 2\pi .}

Dodawanie odcinków

Dodawanie odcinków o długościach a {\displaystyle a} i b {\displaystyle b} polega na wykreśleniu odcinka o długości a + b . {\displaystyle a+b.}

Dodawanie wektorów

 Osobny artykuł: Suma wektorów.

Dodawanie wektorów polega na dodawaniu ich współrzędnych. Wektory można dodawać algebraicznie lub geometrycznie (używając reguły trójkąta lub reguły równoległoboku).

Gdy a {\displaystyle a} jest punktem oraz b {\displaystyle b} jest wektorem to sumę a + b {\displaystyle a+b} należy rozumieć jako translację punktu a {\displaystyle a} o wektor b . {\displaystyle b.} Wówczas składniki sumy nie są sobie równoważne ( b {\displaystyle b} jest wektorem i odpowiada przemieszczeniu, a a {\displaystyle a} jest punktem) i a {\displaystyle a} nazywa się dodajną, a b {\displaystyle b} dodajnikiem. Nomenklatura ta jest jednak rzadko spotykana.

Dodawanie liczb kardynalnych

 Osobny artykuł: Arytmetyka liczb kardynalnych.

Działanie dodawania można zdefiniować dla dowolnych liczb kardynalnych, używając sumy (rozłącznych) zbiorów o mocy, której odpowiadają sumowane liczby.

Dodawanie jako działanie w strukturze algebraicznej

Zwykle określenie to jest używane do określenia dodawania liczb lub funkcji dających w wyniku liczby, takich jak wielomiany.

Istnieje wiele innych struktur algebraicznych, w których określa się dodawanie. Jest to działanie dwuargumentowe, które spełnia aksjomaty przyjętej struktury. Gdy rozważa się struktury algebraiczne (pierścienie, ciała, przestrzenie liniowe) to jest ono dowolnym, abstrakcyjnym działaniem spełniającym pewne założenia, takie jak łączność czy istnienie elementu neutralnego. Czasem dla odróżnienia od zwykłego dodawania liczb stosuje się wtedy inny, podobny znak, np. . {\displaystyle \oplus .}

We wspomnianych wyżej strukturach algebraicznych dodawanie jest działaniem przemiennym, łącznym, a także rozdzielnym względem mnożenia (oczywiście w przypadku przestrzeni liniowej jest to rozdzielność względem mnożenia wektora przez skalar).

Równości i kongruencje można dodawać stronami:

  • jeżeli a = b {\displaystyle a=b} i c = d , {\displaystyle c=d,} to a + c = b + d , {\displaystyle a+c=b+d,}
  • jeżeli a b ( mod n ) {\displaystyle a\equiv b{\pmod {n}}} i c d ( mod n ) , {\displaystyle c\equiv d{\pmod {n}},} to a + c b + d ( mod n ) . {\displaystyle a+c\equiv b+d{\pmod {n}}.}

Element neutralny i przeciwny

Element neutralny względem dodawania oznacza się symbolem 0 {\displaystyle 0} zwanym: zero.

Jeżeli a {\displaystyle a} jest elementem zbioru ze zdefiniowanym działaniem dodawania, to element b {\displaystyle b} taki, że a + b = 0 , {\displaystyle a+b=0,} nazywa się elementem przeciwnym i oznacza symbolem a . {\displaystyle -a.} Własność zbioru polegającą na tym, że dla każdego elementu istnieje element przeciwny, nazywamy istnieniem odejmowania. We wspomnianych strukturach algebraicznych element przeciwny jest wyznaczony jednoznacznie.

Powiązane działania

Uwaga: działanie sumy prostej (np. dla przestrzeni) jest wbrew nazwie bardziej związane z iloczynem kartezjańskim niż z sumą.

Zobacz też

Zobacz hasło dodawanie w Wikisłowniku

Przypisy

  1. dodawanie, [w:] Encyklopedia PWN [dostęp 2023-08-27] .

Bibliografia

  • p
  • d
  • e
podstawowe
typy liczb
działania
dwuargumentowe
jednoargumentowe
ułamki
symbole
liczb
działań
relacji
inne
reguły zapisu
prawa działań
narzędzia
liczydła
kalkulatory
inne
powiązane pojęcia
rozszerzenia
  • LCCN: sh85000817
  • GND: 4296282-1
  • BnF: 11976283t
  • BNCF: 30949
  • NKC: ph898518
  • J9U: 987007292953205171