DR. IGOR DATA SCIENCE AI, Data & Creativity · From Data to Impact
הרצאה 1 · נושא 4/10
אלגברה ליניארית למדעי הנתונים

קומבינציה ליניארית צירוף ליניארי

בונים וקטור חדש באמצעות סכום של וקטורים מוכפלים בסקלרים. מכאן מגיעים לממוצע, לצירוף אפיני ולצירוף קמור.

מתחילים לתרגול
2·x₁
+
(-1)·x₂
=
new vector
a₁x₁ + a₂x₂ + … + aₘxₘ
01

הגדרה של קומבינציה ליניארית

המונח המקורי מן השקופיות נשמר; לצדו מופיע גם המונח המקובל ״צירוף ליניארי״.

הגדרה

בהינתן וקטורים \(x_1,x_2,\ldots,x_m\) וסקלרים \(a_1,a_2,\ldots,a_m\), נגדיר:

\[ a_1x_1+a_2x_2+\cdots+a_mx_m = \sum_{i=1}^{m} a_i x_i \]

הסקלרים \(a_1,\ldots,a_m\) נקראים מקדמים של הקומבינציה הליניארית.

דוגמה
\[ x_1= \begin{bmatrix}1\\2\end{bmatrix}, \quad x_2= \begin{bmatrix}3\\-1\end{bmatrix}, \quad 2x_1-x_2= \begin{bmatrix}-1\\5\end{bmatrix} \]

הווקטור החדש מתקבל מחיבור הווקטורים לאחר הכפלתם במקדמים.

NumPyצירוף של שני וקטורים
import numpy as np

x1 = np.array([1, 2])
x2 = np.array([3, -1])

a1 = 2
a2 = -1

result = a1 * x1 + a2 * x2

print(result)
# [-1  5]
02

המחשה אינטראקטיבית

משנים את המקדמים ורואים כיצד הווקטור החדש זז במישור.

\(a x+b y\)

x=(3,2) y=(-2,3) 1x+1y=(1,5)
03

כל וקטור כקומבינציה של וקטורי היחידה

זהו המשפט והדוגמה המקוריים משקופית 46.

\[ b=b_1e_1+b_2e_2+\cdots+b_ne_n \]

כל מקדם הוא פשוט אחד מאיברי הווקטור \(b\).

\[ \begin{bmatrix} 1\\-2\\4 \end{bmatrix} = 1 \begin{bmatrix} 1\\0\\0 \end{bmatrix} - 2 \begin{bmatrix} 0\\1\\0 \end{bmatrix} + 4 \begin{bmatrix} 0\\0\\1 \end{bmatrix} \]
b = [1,-2,4]
1·e₁
-2·e₂
4·e₃
NumPyבניית וקטור מן הבסיס הסטנדרטי
e1 = np.array([1, 0, 0])
e2 = np.array([0, 1, 0])
e3 = np.array([0, 0, 1])

b = 1 * e1 - 2 * e2 + 4 * e3

print(b)
# [ 1 -2  4]
04

קומבינציות ליניאריות מיוחדות

סכום, ממוצע, קומבינציה אפינית וקומבינציה קמורה.

סכום וקטורים

כאשר כל המקדמים שווים ל-\(1\):

\[ x_1+x_2+\cdots+x_m = \sum_{i=1}^{m}x_i \]
\(a_i=1\)

וקטור ממוצע

הממוצע של \(m\) וקטורים מתקבל באמצעות מקדמים \(1/m\):

\[ \bar{x} = \frac{1}{m}\sum_{i=1}^{m}x_i \]
\(a_i=\frac1m\)

קומבינציה אפינית

אם סכום כל המקדמים שווה ל-\(1\), נקבל קומבינציה אפינית.

\[ \sum_{i=1}^{m} a_i=1 \]

המקדמים יכולים להיות גם שליליים.

קומבינציה קמורה

אם המקדמים אי־שליליים וגם מסתכמים ל-\(1\), נקבל קומבינציה קמורה.

\[ a_i\ge 0, \qquad \sum_{i=1}^{m} a_i=1 \]

במקרה של שני וקטורים, התוצאה נמצאת על הקטע המחבר ביניהם.

05

אפינית מול קמורה

ההמחשות משקופיות 49–50 נשמרות ומורחבות.

צירוף אפיני של שני וקטורים

\[ \theta a+(1-\theta)b \]

לכל ערך ממשי של \(\theta\), נקבל נקודה על הישר העובר דרך \(a\) ו-\(b\).

צירוף קמור של שני וקטורים

\[ \theta a+(1-\theta)b, \qquad 0\le\theta\le1 \]

כעת הנקודה מוגבלת לקטע שבין \(a\) ל-\(b\).

הזזת \(\theta\) בין \(a\) ל-\(b\)

a b θ=0.5
הנקודה נמצאת בתוך הקטע: קומבינציה קמורה.
06

פונקציה כללית ב-Python

הרחבה פרקטית לחומר: חישוב צירוף של מספר וקטורים.

NumPyבדיקת ממדים ומספר מקדמים
import numpy as np

def linear_combination(vectors, coefficients):
    if len(vectors) != len(coefficients):
        raise ValueError("מספר הווקטורים חייב להשתוות למספר המקדמים")

    matrix = np.vstack(vectors)
    coefficients = np.asarray(coefficients)

    return coefficients @ matrix

vectors = [
    np.array([1, 0]),
    np.array([0, 1]),
    np.array([2, 3])
]

result = linear_combination(vectors, [2, -1, 0.5])
print(result)
# [3.  0.5]
07

תרגול קצר

מהגדרה פורמלית לחישוב ממשי.

משימה 1

\[ x_1=(1,2),\qquad x_2=(3,-1) \]

חשבו \(3x_1-2x_2\).

\[ 3x_1-2x_2 = (3,6)-(6,-2) = (-3,8) \]

משימה 2

האם המקדמים הבאים מגדירים קומבינציה אפינית? האם היא גם קמורה?

\[(0.2,\ 1.1,\ -0.3)\]

הסכום הוא \(1\), ולכן זו קומבינציה אפינית. אחד המקדמים שלילי, ולכן היא אינה קמורה.

08

Take-home message

מה צריך לזכור לפני שעוברים למכפלה פנימית?

1קומבינציה ליניארית היא סכום של וקטורים המוכפלים בסקלרים.
2הסקלרים נקראים מקדמים.
3כל וקטור ניתן להצגה באמצעות וקטורי היחידה.
4סכום וממוצע הם מקרים מיוחדים של קומבינציה ליניארית.
5בקומבינציה אפינית סכום המקדמים הוא \(1\).
6בקומבינציה קמורה המקדמים גם אי־שליליים.

מפת כיסוי של חומר המקור

שקופיות 43–50 נשמרו; נוספו הסברים, קוד, המחשות ותרגול.

שקופיתהחומר המקוריהמיקום החדש
43כותרת 1.4 — קומבינציה ליניאריתHero
44הגדרה כללית \(a_1x_1+\cdots+a_mx_m\); המקדמיםהגדרה + נוסחת סכום
45המשך הגדרה ודוגמהדוגמה מספרית + NumPy
46כל \(n\)-וקטור כצירוף של וקטורי היחידה; הדגמהייצוג בבסיס הסטנדרטי + הקוד המקביל
47סכום וקטורים וממוצע וקטורים כמקרים מיוחדיםשני כרטיסים מיוחדים
48הגדרת קומבינציה אפינית וקומבינציה קמורהתנאים פורמליים
49\(\theta a+(1-\theta)b\) על ישראפינית מול קמורה + המחשה
50התנאים \(\theta\ge0\), \(1-\theta\ge0\)מחוון \(\theta\) והבחנה בין קטע לישר