Phiếm hàm (toán học)

Trong toán học, thuật ngữ " phiếm hàm " (danh từ, tiếng Anh là functional) có ít nhất 3 nghĩa sau :

 Trong đại số tuyến tính, thuât ngữ "phiếm hàm" nói đến một ánh xạ tuyến tính từ một không gian véctơ  vào một trường vô hướng của nó, nghĩa là ánh xạ này là một phần tử của không gian đối ngẫu .
 Trong giải tích toán học, nói chung và theo lịch sử, nó ám chỉ một ánh xạ từ một không gian  vào tập số thực , hoặc đôi khi là từ  vào tập số phức , với mục đích là thiết lập một cấu trúc giống với vi tích phân trên . Tùy vào mỗi tác giả, những ánh xạ như vậy có thể hoặc không nhất thiết tuyến tính, hoặc được xác định trên toàn không gian .
 Trong khoa học máy tính, nó đồng nghĩa với các hàm thứ bậc cao, tức là các hàm nhận các hàm làm đối số hoặc trả về chúng.

Bài viết này chủ yếu nói đến khái niệm thứ hai, nảy sinh vào đầu thế kỷ 18 như một phần của phép tính biến phân - calculus of variations. Khái niệm đầu tiên hiện đại và trừu tượng hơn, được thảo luận chi tiết trong một bài viết khác là dạng tuyến tính. Khái niệm thứ ba được trình bày trong bài viết về hàm thứ bậc cao.

Thông thường,  là một không gian hàm. Trong trường hợp này, " phiếm hàm " được hiểu là một " hàm của một hàm ", và một số tác giả cũ thực sự định nghĩa thuật ngữ "phiếm hàm" có nghĩa là " hàm của một hàm ". Tuy nhiên, việc  là không gian hàm không nhất thiết về mặt toán học, vì vậy định nghĩa cũ không còn phổ biến nữa.

Thuật ngữ này bắt nguồn từ phép tính biến phân, trong đó người ta tìm kiếm một hàm làm tối thiểu hóa (hoặc tối đa hóa) một hàm cho trước. Một ứng dụng đặc biệt quan trọng trong vật lý là tìm kiếm trạng thái của một hệ thống giảm thiểu hóa (hoặc tối đa hóa) một tác động, hay nói cách khác là tích phân theo thời gian của Lagrange.

Chi tiết 
Tính đối ngẫu

Ánh xạ 
 
là một hàm, trong đó  là đối số của . Đồng thời, ánh xạ biến một hàm thành giá trị của hàm đó tại một điểm 
 
được gọi là một phiếm hàm, còn  được gọi là môt tham số.

Với điều kiện  là một hàm tuyến tính từ một không gian vectơ đến trường vô hướng bên dưới, các ánh xạ tuyến tính trên là đối ngẫu với nhau, và trong giải tích hàm cả hai đều được gọi là phiếm hàm tuyến tính.

Tích phân xác định

Những tích phân như

tạo thành một lớp phiếm hàm đặc biệt. Chúng ánh xạ một hàm  thành một số thực, với điều kiện  là giá trị thực. Các ví dụ gồm có

 Diện tích (area) của hình phẳng bên dưới đồ thị của một hàm số dương  trên miền 

 

 Chuẩn  của một hàm  trên một tập 

 

 chiều dài cung (arclength) của đồ thị của một hàm số một biến  trên miền  trong mặt phẳng Oxy (một dạng của đường cong 2 chiều trong không gian Euclide)

 
Không gian tích trong (không gian Hausdorff tiền Hilbert)

Cho một không gian tích trong (Inner product space)  với tích trong , và một véc tơ cố định . Ánh xạ xác định bởi 
 
là một phiếm hàm tuyến tính trên . Tập hợp 
 
là một không gian véctơ con của , gọi là không gian rỗng - null space, hay còn được biết là nhân - kernel của phiếm hàm, hoặc phần bù trực giao của , kí hiệu là 

Lấy ví dụ, trên tập  gồm những hàm khả tích bậc 2 trên , và một hàm có định , ta xác định được một phiếm hàm tuyến tính 
  
Tính địa phương

Nếu giá trị của một phiếm hàm có thể được tính toán cho các đoạn nhỏ của đường cong đầu vào và sau đó lấy tổng lại để tìm tổng giá trị, thì hàm được gọi là có tính địa phương. Nếu không nó được gọi là không địa phương. Ví dụ :
 
là địa phương trong khi
 
là phi địa phương. Điều này thường xảy ra khi các tích phân nằm riêng biệt ở tử số và mẫu số của một biểu thức, chẳng hạn như trong các phép tính khối lượng tâm.

Giải phương trình

Bài viết chính : Phương trình hàm

Cách sử dụng truyền thống cũng được áp dụng khi người ta nói về một phương trình hàm, nghĩa là một phương trình giữa các phiếm hàm: một phương trình  giữa các phiếm hàm có thể được đọc như một 'phương trình cần giải', với các nghiệm chính là các hàm. Trong các phương trình như vậy có thể có nhiều biến số chưa biết, như khi người ta nói rằng một hàm cộng tính  là một hàm thỏa mãn phương trình hàm :

Đạo hàm và tích phân 
Đạo hàm phiếm hàm được dùng nhiều trong cơ học Lagrange. Đúng như tên gọi, chúng là đạo hàm của các phiếm hàm, nghĩa là chúng mang thông tin về sự thay đổi của phiếm hàm khi  hàm đầu vào thay đổi một lượng nhỏ.

Richard Feynman đã sử dụng tích phân phiếm hàm làm ý tưởng trung tâm trong tổng kết về lịch sử của công thức cơ học lượng tử của ông. Cách sử dụng này ngụ ý một tích phân được sử dụng trên một số không gian hàm.

Xem thêm 

 Dạng tuyến tính 
 Tenxơ
 Tối ưu (toán học) 
Phép tính biến phân

Loại hàm số