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\to K$ được gọi là phiếm hàm tuyến tính, nếu tất cả vector $x,y\in V$ và đại lượng vô hướng $\lambda \in K$ thỏa:

• $f(x+y)=f(x)+f(y)$ (cộng tính);
• $f(\lambda x)=\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)=\underset{a}{\overset{b}{\int }}f(x)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:

$\begin{array}{cc}I(f+g)& =\underset{a}{\overset{b}{\int }}[f(x)+g(x)]dx=\underset{a}{\overset{b}{\int }}f(x)dx+\underset{a}{\overset{b}{\int }}g(x)dx=I(f)+I(g)\\ I(\alpha f)& =\underset{a}{\overset{b}{\int }}\alpha f(x)dx=\alpha \underset{a}{\overset{b}{\int }}f(x)dx=\alpha I(f).\end{array}$

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 Bản mẫu:Nowrap

${\mathrm{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ì

$\begin{array}{cc}(f+g)(c)& =f(c)+g(c)\\ (\alpha f)(c)& =\alpha f(c).\end{array}$

Tham khảo

• Michiel Hazewinkel: Linear form. Trong: Encyclopaedia of Mathematics. Springer-Verlag, Berlin 2002, Bản mẫu:ISBN (Online).
• Walter Rudin: Functional Analysis, 2nd Ed., McGraw-Hill Inc., New York, 1991