✨Phiếm hàm tuyến tính

Trong đại số tuyến tính, phiếm hàm tuyến tính (hay còn gọi là dạng vi phân bậc nhất) là một ánh xạ tuyến tính từ không gian vector đến trường vô hướng của nó.

Định nghĩa

Cho $K$ là một trường số và $V$ là không gian vector của $K$, một ánh xạ $f:\; V\; \backslash to\; K$ được gọi là phiếm hàm tuyến tính, nếu tất cả vector $x,y\; \backslash in\; V$ và đại lượng vô hướng $\backslash lambda\; \backslash in\; K$ thỏa:

$f(x+y)\; =\; f(x)\; +\; f(y)$ (cộng tính); $f(\backslash lambda\; x)\; =\; \backslash lambda\; f(x)$ (thuần nhất).

Ví dụ

Phiếm hàm tích phân

Một ví dụ điển hình của phiếm hàm tuyến tính là phép tính tích phân: ánh xạ tuyến tính được cho bởi

: $I(f)\; =\; \backslash int\_a^b\; f(x)\backslash ,\; dx$

Nó là một phiếm hàm tuyến tính từ không gian véc-tơ C[a, b] các hàm liên tục trên đoạn [a, b] vào các số thực. Tính tuyến tính của I là hệ quả của các tính chất sau của phép tính tích phân:

:

Phiếm hàm đánh giá

Đặt P_n là không gian véc-tơ các đa thức bậc nhỏ hơn hoặc bằng n. Nếu c ∈ [a, b], ta đặt

: $\backslash operatorname\{ev\}\_c\; f\; =\; f(c).$

và gọi nó là phiếm hàm đánh giá. Ánh xạ f → f(c) là tuyến tính bởi vì

: