Anki Deck Changes

Commit: 253a294a - housekeeping

Author: lhorva <lhorva@student.ethz.ch>

Date: 2026-01-02T02:00:25+01:00

Changes: 13 note(s) changed (1 added, 12 modified, 0 deleted)

ℹ️ Cosmetic Changes Hidden: 1 note(s) had formatting-only changes and are not shown below

Note 1: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: M,?u9cw(S%
modified

Before

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\log(i)\)}}  \(\leq\) \(O(n \log(n))\) (O-notation) 

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\log(i)\)}}  \(\leq\) \(O(n \log(n))\) (O-notation) 

After

Front

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\log(i)\)}}  \(\leq\) \(O(n \log(n))\) 

Back

ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums
{{c1:: \(\sum_{i = 1}^{n} i\log(i)\)}}  \(\leq\) \(O(n \log(n))\) 
Field-by-field Comparison
Field Before After
Text {{c1:: \(\sum_{i = 1}^{n} i\log(i)\)}}&nbsp; \(\leq\)&nbsp;{{c2::\(O(n \log(n))\)&nbsp;(O-notation)}}&nbsp; {{c1:: \(\sum_{i = 1}^{n} i\log(i)\)}}&nbsp; \(\leq\)&nbsp;{{c2::\(O(n \log(n))\)::&nbsp;(O-notation)}}&nbsp;
Tags: ETH::1._Semester::A&D::02._Asymptotic_Notation::3._O-Notation::Sums

Note 2: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: M11/nZaHIu
modified

Before

Front

ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary
search insert delete
unsorted Array \(O(n)\) \(O(1)\) \(O(n)\)
sorted Array \(O(\log n)\) \(O(n)\) \(O(n)\)
DLL \(O(n)\) (no bin. search possible) \(O(1)\) \(O(n)\)

Back

ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary
search insert delete
unsorted Array \(O(n)\) \(O(1)\) \(O(n)\)
sorted Array \(O(\log n)\) \(O(n)\) \(O(n)\)
DLL \(O(n)\) (no bin. search possible) \(O(1)\) \(O(n)\)

After

Front

ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary
ADT-Dictionary:
search insert delete
unsorted Array \(O(n)\) \(O(1)\) \(O(n)\)
sorted Array \(O(\log n)\) \(O(n)\) \(O(n)\)
DLL \(O(n)\) (no bin. search possible) \(O(1)\) \(O(n)\)

Back

ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary
ADT-Dictionary:
search insert delete
unsorted Array \(O(n)\) \(O(1)\) \(O(n)\)
sorted Array \(O(\log n)\) \(O(n)\) \(O(n)\)
DLL \(O(n)\) (no bin. search possible) \(O(1)\) \(O(n)\)
Field-by-field Comparison
Field Before After
Text <b></b><b></b><b></b><b></b><table> <tbody><tr> <td></td> <td><b>search</b></td> <td><b>insert</b></td> <td><b>delete</b></td> </tr> <tr> <td>unsorted Array</td> <td>{{c1::\(O(n)\)}}</td> <td>{{c2::\(O(1)\)}}</td> <td>{{c3::\(O(n)\)}}</td> </tr> <tr> <td>sorted Array</td> <td>{{c4::\(O(\log n)\)}}</td> <td>{{c5::\(O(n)\)}}</td> <td>{{c6::\(O(n)\)}}</td> </tr> <tr> <td>DLL</td> <td>{{c7::\(O(n)\) (no bin. search possible)}}</td> <td>{{c8::\(O(1)\)}}</td> <td>{{c9::\(O(n)\)}}</td> </tr> </tbody></table> <b></b><b></b><b></b><b></b> ADT-Dictionary: <table> <tbody><tr> <td></td> <td><b>search</b></td> <td><b>insert</b></td> <td><b>delete</b></td> </tr> <tr> <td>unsorted Array</td> <td>{{c1::\(O(n)\)}}</td> <td>{{c2::\(O(1)\)}}</td> <td>{{c3::\(O(n)\)}}</td> </tr> <tr> <td>sorted Array</td> <td>{{c4::\(O(\log n)\)}}</td> <td>{{c5::\(O(n)\)}}</td> <td>{{c6::\(O(n)\)}}</td> </tr> <tr> <td>DLL</td> <td>{{c7::\(O(n)\) (no bin. search possible)}}</td> <td>{{c8::\(O(1)\)}}</td> <td>{{c9::\(O(n)\)}}</td> </tr> </tbody></table>
Tags: ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary

Note 3: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: Pf|C9|^n[w
modified

Before

Front

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List
In a singly and doubly linked list, the operation:
  • Insert is \(\Theta(1)\) as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's \(\Theta(l)\).
  • Get is \(\Theta(i)\) very slow as we need to traverse the entire list up to i
  • insertAfter is  \(O(1)\) if we get the memory address of the element to insert after.
  • delete is:
          SLL: {{c4::\(\Theta(l)\) as we need to find the previous element and change it's pointer}.}
          DLL:  \(O(1)\) we know the address of the previous element and then just edit it's pointer.

Back

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List
In a singly and doubly linked list, the operation:
  • Insert is \(\Theta(1)\) as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's \(\Theta(l)\).
  • Get is \(\Theta(i)\) very slow as we need to traverse the entire list up to i
  • insertAfter is  \(O(1)\) if we get the memory address of the element to insert after.
  • delete is:
          SLL: {{c4::\(\Theta(l)\) as we need to find the previous element and change it's pointer}.}
          DLL:  \(O(1)\) we know the address of the previous element and then just edit it's pointer.

After

Front

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List
In a singly and doubly linked list, the operation:
  • Insert is \(\Theta(1)\) as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's \(\Theta(l)\).
  • Get is \(\Theta(i)\) very slow as we need to traverse the entire list up to i
  • insertAfter is  \(O(1)\) if we get the memory address of the element to insert after.
  • delete is:
          SLL: \(\Theta(l)\) as we need to find the previous element and change it's pointer.
          DLL:  \(O(1)\) we know the address of the previous element and then just edit it's pointer.

Back

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List
In a singly and doubly linked list, the operation:
  • Insert is \(\Theta(1)\) as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's \(\Theta(l)\).
  • Get is \(\Theta(i)\) very slow as we need to traverse the entire list up to i
  • insertAfter is  \(O(1)\) if we get the memory address of the element to insert after.
  • delete is:
          SLL: \(\Theta(l)\) as we need to find the previous element and change it's pointer.
          DLL:  \(O(1)\) we know the address of the previous element and then just edit it's pointer.
Field-by-field Comparison
Field Before After
Text In a&nbsp;<b>singly</b>&nbsp;and&nbsp;<b>doubly linked list</b>, the operation:<br><ul><li><b>Insert</b>&nbsp;is {{c1::\(\Theta(1)\)&nbsp;as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's&nbsp;\(\Theta(l)\). }}<br></li><li><b>Get</b>&nbsp;is {{c2::\(\Theta(i)\)&nbsp;very slow as we need to traverse the entire list up to&nbsp;<b>i</b>}}<br></li><li><b>insertAfter</b>&nbsp;is {{c3::&nbsp;\(O(1)\)&nbsp;if we get the memory address of the element to insert after.}}<br></li><li><b>delete</b>&nbsp;is:<br>&nbsp; &nbsp; &nbsp; SLL: {{c4::\(\Theta(l)\)&nbsp;as we need to find the previous element and change it's pointer}.}<br>&nbsp; &nbsp; &nbsp; DLL: {{c5::&nbsp;\(O(1)\)&nbsp;we know the address of the previous element and then just edit it's pointer.}}</li></ul> In a&nbsp;<b>singly</b>&nbsp;and&nbsp;<b>doubly linked list</b>, the operation:<br><ul><li><b>Insert</b>&nbsp;is {{c1::\(\Theta(1)\)&nbsp;as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's&nbsp;\(\Theta(l)\). }}<br></li><li><b>Get</b>&nbsp;is {{c2::\(\Theta(i)\)&nbsp;very slow as we need to traverse the entire list up to&nbsp;<b>i</b>}}<br></li><li><b>insertAfter</b>&nbsp;is {{c3::&nbsp;\(O(1)\)&nbsp;if we get the memory address of the element to insert after.}}<br></li><li><b>delete</b>&nbsp;is:<br>&nbsp; &nbsp; &nbsp; SLL: {{c4::\(\Theta(l)\)&nbsp;as we need to find the previous element and change it's pointer.}}<br>&nbsp; &nbsp; &nbsp; DLL: {{c5::&nbsp;\(O(1)\)&nbsp;we know the address of the previous element and then just edit it's pointer.}}</li></ul>
Tags: ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List

Note 4: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: nK{)v6I%zc
modified

Before

Front

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::4._Stack
The ADT stack can be efficiently implemented using a  singly linked list:
  • push:  \(\Theta(1)\)
  • pop:  \(\Theta(1)\) as this removes the first element. This means we just copy the pointer next from the first element to be the first pointer of the list.

Back

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::4._Stack
The ADT stack can be efficiently implemented using a  singly linked list:
  • push:  \(\Theta(1)\)
  • pop:  \(\Theta(1)\) as this removes the first element. This means we just copy the pointer next from the first element to be the first pointer of the list.

After

Front

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::4._Stack
The ADT stack can be efficiently implemented using a singly linked list:
  • push:  \(\Theta(1)\)
  • pop:  \(\Theta(1)\) as this removes the first element. This means we just copy the pointer next from the first element to be the first pointer of the list.

Back

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::4._Stack
The ADT stack can be efficiently implemented using a singly linked list:
  • push:  \(\Theta(1)\)
  • pop:  \(\Theta(1)\) as this removes the first element. This means we just copy the pointer next from the first element to be the first pointer of the list.
Field-by-field Comparison
Field Before After
Text The ADT&nbsp;<b>stack</b>&nbsp;can be efficiently implemented using a {{c1::&nbsp;<b>singly linked list</b>}}:<br><ul><li><b>push</b>: {{c2::&nbsp;\(\Theta(1)\)}}<br></li><li><b>pop</b>: {{c3::&nbsp;\(\Theta(1)\)&nbsp;as this removes the first element. This means we just copy the pointer next from the first element to be the first pointer of the list.}}<br></li></ul> The ADT&nbsp;<b>stack</b>&nbsp;can be efficiently implemented using a {{c1::<b>singly linked list</b>}}:<br><ul><li><b>push</b>: {{c2::&nbsp;\(\Theta(1)\)}}<br></li><li><b>pop</b>: {{c3::&nbsp;\(\Theta(1)\)&nbsp;as this removes the first element. This means we just copy the pointer next from the first element to be the first pointer of the list.}}<br></li></ul>
Tags: ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::4._Stack

Note 5: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: C18gm]huq&
modified

Before

Front

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

In a Group:
{{c1:: \(\widehat{a * b}\) }} = {{c2:: \(\widehat{b} * \widehat{a}\)}} This is a property from a Lemma.

Back

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

In a Group:
{{c1:: \(\widehat{a * b}\) }} = {{c2:: \(\widehat{b} * \widehat{a}\)}} This is a property from a Lemma.

After

Front

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups
In a Group:

{{c1:: \(\widehat{a * b}\) }} = {{c2:: \(\widehat{b} * \widehat{a}\)}} 

Back

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups
In a Group:

{{c1:: \(\widehat{a * b}\) }} = {{c2:: \(\widehat{b} * \widehat{a}\)}} 
Field-by-field Comparison
Field Before After
Text <p>In a Group:<br> {{c1:: \(\widehat{a * b}\) }} = {{c2:: \(\widehat{b} * \widehat{a}\)}} This is a property from a Lemma.</p> In a Group: <br><br>{{c1:: \(\widehat{a * b}\) }} = {{c2:: \(\widehat{b} * \widehat{a}\)}}&nbsp;
Tags: ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

Note 6: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: GE_=q.pKz`
modified

Before

Front

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

Group axiom G1 states that the operation \(*\) is associative: \(a * (b * c) = (a * b) * c\) for all \(a, b, c\) in \(G\).

Back

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

Group axiom G1 states that the operation \(*\) is associative: \(a * (b * c) = (a * b) * c\) for all \(a, b, c\) in \(G\).

After

Front

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

Group axiom G1 states that the operation \(*\) is associative: .

Back

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

Group axiom G1 states that the operation \(*\) is associative: .

Field-by-field Comparison
Field Before After
Text <p>Group axiom <strong>G1</strong> states that the operation \(*\) is {{c1::associative}}: {{c2::\(a * (b * c) = (a * b) * c\)}} for all \(a, b, c\) in \(G\).</p> <p>Group axiom <strong>G1</strong> states that the operation \(*\) is {{c1::associative: {{c2::\(a * (b * c) = (a * b) * c\)}} for all \(a, b, c\) in \(G\)}}.</p>
Tags: ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

Note 7: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: l];xKGd{%I
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::6._Functions
A function \( f: A \rightarrow B\) is surjective (or onto) if \( \forall b \ \exists a \ , b = f(a)\), i.e. every value is taken

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::6._Functions
A function \( f: A \rightarrow B\) is surjective (or onto) if \( \forall b \ \exists a \ , b = f(a)\), i.e. every value is taken

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::6._Functions
A function \( f: A \rightarrow B\) is surjective (or onto) if \( \forall b \ \exists a \ , b = f(a)\), i.e. every value is taken.

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::6._Functions
A function \( f: A \rightarrow B\) is surjective (or onto) if \( \forall b \ \exists a \ , b = f(a)\), i.e. every value is taken.
Field-by-field Comparison
Field Before After
Text A function&nbsp;\( f: A \rightarrow B\) is {{c1::surjective (or onto)}} if&nbsp;{{c2::\( \forall b \ \exists a \ , b = f(a)\), i.e. every value is taken}} A function&nbsp;\( f: A \rightarrow B\) is {{c1::surjective (or onto)}} if&nbsp;{{c2::\( \forall b \ \exists a \ , b = f(a)\), i.e. every value is taken}}.
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::6._Functions

Note 8: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: xH`d$W-97_
modified

Before

Front

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

In a Group:
\(\widehat{(\widehat{a})} =\) \(a\) (inverse of inverse is the original element). This is a property from Lemma 5.3.

Back

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

In a Group:
\(\widehat{(\widehat{a})} =\) \(a\) (inverse of inverse is the original element). This is a property from Lemma 5.3.

After

Front

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups
In a group:

\(\widehat{(\widehat{a})} =\) \(a\)

Back

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups
In a group:

\(\widehat{(\widehat{a})} =\) \(a\)

Inverse of inverse is the original element.

This is a property from Lemma 5.3.
Field-by-field Comparison
Field Before After
Text <p>In a Group:<br> \(\widehat{(\widehat{a})} =\){{c1:: \(a\) }} {{c1:: (inverse of inverse is the original element)}}. This is a property from Lemma 5.3.</p> In a group: <br><br>\(\widehat{(\widehat{a})} =\){{c1:: \(a\) }}
Extra Inverse of inverse is the original element.<br><br>This is a property from Lemma 5.3.
Tags: ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::3._Inverses_and_Groups

Note 9: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: yAP=DE#~t<
added

Previous

Note did not exist

New Note

Front

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups
An abelian group has the following properties:
  1. Closure
  2. Associativity
  3. Identity
  4. Inverse
  5. Commutative

Back

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups
An abelian group has the following properties:
  1. Closure
  2. Associativity
  3. Identity
  4. Inverse
  5. Commutative
Field-by-field Comparison
Field Before After
Text An <b>abelian group</b>&nbsp;has the following properties:<br><ol><li>{{c1::Closure}}</li><li>{{c2::Associativity}}</li><li>{{c3::Identity}}</li><li>{{c4::Inverse}}</li><li>{{c5::Commutative}}</li></ol>
Tags: ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups

Note 10: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Cloze
GUID: Dd-0>Kd049
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication
The columns of \(A\) are independent if and only if \(x = 0\) is the  only vector for which \(Ax = 0\) (Linear combination view).

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication
The columns of \(A\) are independent if and only if \(x = 0\) is the  only vector for which \(Ax = 0\) (Linear combination view).

After

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication
The columns of \(A\) are independent if and only if \(x = 0\) is the  only vector for which \(Ax = 0\).

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication
The columns of \(A\) are independent if and only if \(x = 0\) is the  only vector for which \(Ax = 0\).
Field-by-field Comparison
Field Before After
Text The columns of&nbsp;\(A\)&nbsp;are independent if and only if {{c1::\(x = 0\)&nbsp;is the&nbsp; only vector for which&nbsp;\(Ax = 0\)}} (Linear combination view). The columns of&nbsp;\(A\)&nbsp;are independent if and only if {{c1::\(x = 0\)&nbsp;is the&nbsp; only vector for which&nbsp;\(Ax = 0\)::(Linear combination view)}}.
Tags: ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication

Note 11: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Cloze
GUID: col^b$YzMt
modified

Before

Front

ETH::1._Semester::LinAlg::1._Vectors::2._Scalar_products,_lengths_and_angles::2._Euclidean_norm
\(v^\top v = \) \(||v||^2\) (in terms of norm)

Back

ETH::1._Semester::LinAlg::1._Vectors::2._Scalar_products,_lengths_and_angles::2._Euclidean_norm
\(v^\top v = \) \(||v||^2\) (in terms of norm)

as \(||v|| = \sqrt{v^\top v}\).

After

Front

ETH::1._Semester::LinAlg::1._Vectors::2._Scalar_products,_lengths_and_angles::2._Euclidean_norm
\(v^\top v = \) \(||v||^2\) 

Back

ETH::1._Semester::LinAlg::1._Vectors::2._Scalar_products,_lengths_and_angles::2._Euclidean_norm
\(v^\top v = \) \(||v||^2\) 

as \(||v|| = \sqrt{v^\top v}\).
Field-by-field Comparison
Field Before After
Text \(v^\top v = \){{c1::&nbsp;\(||v||^2\)}} (in terms of norm) \(v^\top v = \){{c1::&nbsp;\(||v||^2\)::(in terms of norm)}}&nbsp;
Tags: ETH::1._Semester::LinAlg::1._Vectors::2._Scalar_products,_lengths_and_angles::2._Euclidean_norm

Note 12: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Cloze
GUID: gU%jisb2z3
modified

Before

Front

ETH::1._Semester::LinAlg::1._Vectors::1._Vectors_and_linear_combinations::2._Scalar_multiplication
Scalar product properties: \(u, v, w \in \mathbb{R}^m\) be vectors and \(\lambda \in \mathbb{R}\) a scalar.
  1. \(v \cdot w = w \cdot v\) (symmetry / commutatitivity
  2.  \((\lambda v) \cdot w = \lambda (v \cdot w)\) (scalars move freely)
  3.  \(u \cdot (v + w) = u \cdot v + u \cdot w\) and \((u + v) \cdot w = u\cdot w + v \cdot w\) (distributivity)
  4.  \(v \cdot v \geq 0\) with equality if and only if \(v = 0\) (positive definiteness

Back

ETH::1._Semester::LinAlg::1._Vectors::1._Vectors_and_linear_combinations::2._Scalar_multiplication
Scalar product properties: \(u, v, w \in \mathbb{R}^m\) be vectors and \(\lambda \in \mathbb{R}\) a scalar.
  1. \(v \cdot w = w \cdot v\) (symmetry / commutatitivity
  2.  \((\lambda v) \cdot w = \lambda (v \cdot w)\) (scalars move freely)
  3.  \(u \cdot (v + w) = u \cdot v + u \cdot w\) and \((u + v) \cdot w = u\cdot w + v \cdot w\) (distributivity)
  4.  \(v \cdot v \geq 0\) with equality if and only if \(v = 0\) (positive definiteness

After

Front

ETH::1._Semester::LinAlg::1._Vectors::1._Vectors_and_linear_combinations::2._Scalar_multiplication
Scalar product properties

Let \(u, v, w \in \mathbb{R}^m\) be vectors and \(\lambda \in \mathbb{R}\) a scalar:
  1. \(v \cdot w = w \cdot v\) (symmetry / commutativity)
  2.  \((\lambda v) \cdot w = \lambda (v \cdot w)\) (scalars move freely)
  3.  \(u \cdot (v + w) = u \cdot v + u \cdot w\) and \((u + v) \cdot w = u\cdot w + v \cdot w\) (distributivity)
  4.  \(v \cdot v \geq 0\) with equality if and only if \(v = 0\) (positive definedness)

Back

ETH::1._Semester::LinAlg::1._Vectors::1._Vectors_and_linear_combinations::2._Scalar_multiplication
Scalar product properties

Let \(u, v, w \in \mathbb{R}^m\) be vectors and \(\lambda \in \mathbb{R}\) a scalar:
  1. \(v \cdot w = w \cdot v\) (symmetry / commutativity)
  2.  \((\lambda v) \cdot w = \lambda (v \cdot w)\) (scalars move freely)
  3.  \(u \cdot (v + w) = u \cdot v + u \cdot w\) and \((u + v) \cdot w = u\cdot w + v \cdot w\) (distributivity)
  4.  \(v \cdot v \geq 0\) with equality if and only if \(v = 0\) (positive definedness)
Field-by-field Comparison
Field Before After
Text Scalar product properties:&nbsp;\(u, v, w \in \mathbb{R}^m\)&nbsp;be vectors and&nbsp;\(\lambda \in \mathbb{R}\)&nbsp;a scalar.<br><ol><li>{{c1::\(v \cdot w = w \cdot v\)&nbsp;(symmetry / commutatitivity}}</li><li>{{c2::&nbsp;\((\lambda v) \cdot w = \lambda (v \cdot w)\)&nbsp;(scalars move freely)}}</li><li>{{c3::&nbsp;\(u \cdot (v + w) = u \cdot v + u \cdot w\)&nbsp;and&nbsp;\((u + v) \cdot w = u\cdot w + v \cdot w\)&nbsp;(distributivity)}}</li><li>{{c4::&nbsp;\(v \cdot v \geq 0\)&nbsp;with equality if and only if&nbsp;\(v = 0\)&nbsp;(positive definiteness}}</li></ol> Scalar product properties<br><br>Let&nbsp;\(u, v, w \in \mathbb{R}^m\)&nbsp;be vectors and&nbsp;\(\lambda \in \mathbb{R}\)&nbsp;a scalar:<br><ol><li>{{c1::\(v \cdot w = w \cdot v\)&nbsp;(symmetry / commutativity)}}</li><li>{{c2::&nbsp;\((\lambda v) \cdot w = \lambda (v \cdot w)\)&nbsp;(scalars move freely)}}</li><li>{{c3::&nbsp;\(u \cdot (v + w) = u \cdot v + u \cdot w\)&nbsp;and&nbsp;\((u + v) \cdot w = u\cdot w + v \cdot w\)&nbsp;(distributivity)}}</li><li>{{c4::&nbsp;\(v \cdot v \geq 0\)&nbsp;with equality if and only if&nbsp;\(v = 0\)&nbsp;(positive definedness)}}</li></ol>
Tags: ETH::1._Semester::LinAlg::1._Vectors::1._Vectors_and_linear_combinations::2._Scalar_multiplication
↑ Top