Hàm số chẵn và lẻ

Trong toán học, hàm số chẵnhàm số lẻ là các hàm số thỏa mãn các quan hệ đối xứng nhất định khi lấy nghịch đảo phép cộng. Chúng rất quan trọng trong nhiều lĩnh vực của giải tích toán, đặc biệt trong lý thuyết chuỗi lũy thừachuỗi Fourier. Chúng được đặt tên theo tính chẵn lẻ của số mũ lũy thừa của hàm lũy thừa thỏa mãn từng điều kiện: hàm số là một hàm chẵn nếu n là một số nguyên chẵn, và nó là hàm lẻ nếu n là một số nguyên lẻ.

Hàm sin và tất cả các đa thức Taylor của nó đều là các hàm lẻ. Hình ảnh này cho thấy và các xấp xỉ Taylor của nó, các đa thức bậc 1, 3, 5, 7, 9, 11 và 13.
Hàm cosine và tất cả các đa thức Taylor của nó đều là các hàm chẵn. Hình ảnh này cho thấy và xấp xỉ Taylor của nó ở bậc 4.

Định nghĩa và ví dụSửa đổi

Hàm số thực thường được phân loại thành hàm chẵn hoặc lẻ, tức là các hàm số với giá trị thực của một biến thực. Tuy nhiên, có thể định nghĩa tổng quát hơn khi miền xác địnhmiền đích của hàm đều có tính nghịch đảo phép cộng. Các tập này bao gồm các nhóm Abel, mọi vành, trườngkhông gian vectơ. Vì thế, chẳng hạn một hàm thực hay một hàm giá trị phức của một biến vectơ đều có thể là hàm chẵn hoặc lẻ, và cứ như vậy.

Dưới đây là một số ví dụ về các hàm thực để minh họa tính đối xứng của đồ thị các hàm đó.

Hàm số chẵnSửa đổi

 
  là một ví dụ về một hàm chẵn.

Cho f là một hàm số giá trị thực của một đối số thực. Vậy thì fchẵn nếu điều kiện sau được thỏa mãn với mọi x sao cho cả x-x đều thuộc miền xác định của f:[1]:p. 11

 

 

 

 

 

(Eq.1)

hoặc phát biểu một cách tương đương, nếu phương trình sau thỏa mãn với mọi x trong miền xác định:

 

Về mặt hình học, đồ thị của một hàm số chẵn đối xứng qua trục y, nghĩa là đồ thị của nó giữ không đổi sau phép lấy đối xứng qua trục y.

Ví dụ về các hàm chẵn là:

Hàm số lẻSửa đổi

 
  là một ví dụ về một hàm lẻ.

Tiếp tục cho f là một hàm có giá trị thực của một đối số (biến) thực. Vậy f là hàm số lẻ nếu phương trình sau thỏa mãn với mọi x sao cho x-x đều nằm trong miền xác định của f:[1]:p. 72

 

 

 

 

 

(Eq.2)

hoặc một cách tương đương nếu phương trình sau đúng với mọi x thuộc miền xác định của f:

 

Về mặt hình học, đồ thị của một hàm lẻ có tính đối xứng tâm quay qua gốc tọa độ, nghĩa là đồ thị của nó không đổi sau khi thực hiện phép quay 180 độ quanh điểm gốc.

Ví dụ về các hàm lẻ là:

  • Hàm đồng nhất  
  •  
  • Hàm sin  
  • Hàm sin hyperbol  
  • Hàm lỗi  
 
  là một hàm không chẵn cũng không lẻ.

Các tính chất cơ bảnSửa đổi

Tính duy nhấtSửa đổi

  • Nếu một hàm số vừa chẵn và vừa lẻ, nó bằng 0 ở mọi điểm mà nó được xác định.
  • Nếu một hàm là lẻ thì giá trị tuyệt đối của hàm đó là một hàm chẵn.

Cộng và trừ hàm số chẵn lẻSửa đổi

  • Tổng của hai hàm số chẵn là một hàm số chẵn.
  • Tổng của hai hàm lẻ là hàm lẻ.
  • Hiệu của hai hàm lẻ là hàm lẻ.
  • Hiệu của hai hàm chẵn là hàm chẵn.
  • Tổng của một hàm chẵn và một hàm lẻ thì không chẵn cũng không lẻ, trừ khi một trong các hàm ấy bằng 0 trên miền đã cho.

Nhân và chia hàm số chẵn lẻSửa đổi

  • Tích của hai hàm chẵn là một hàm chẵn.
  • Tích của hai hàm lẻ là một hàm chẵn.
  • Tích của một hàm chẵn với một hàm lẻ là một hàm lẻ.
  • Thương của hai hàm chẵn là một hàm chẵn
  • Thương của hai hàm lẻ là một hàm chẵn.
  • Thương của một hàm chẵn và một hàm lẻ là một hàm lẻ.

Hàm hợp (tích ánh xạ)Sửa đổi

  • Hàm hợp của hai hàm chẵn là hàm chẵn.
  • Hàm hợp của hai hàm lẻ là hàm lẻ.
  • Một hàm chẵn hợp với một hàm lẻ là hàm chẵn.
  • Hàm hợp của bất kỳ hàm nào với một hàm chẵn là hàm chẵn (nhưng điều ngược lại không đúng).

Phân tích chẵn-lẻSửa đổi

Mọi hàm có thể được phân tích duy nhất thành tổng của một hàm chẵn và một hàm lẻ, được gọi tương ứng là phần chẵnphần lẻ của một hàm số, nếu ta đặt như sau:

 

 

 

 

 

(Eq.3)

 

 

 

 

 

(Eq.4)

sau đó   là hàm chẵn,   là hàm lẻ, và

 

Ngược lại, nếu

 

trong đó g là chẵn và h là lẻ, thì    bởi vì

 

Ví dụ, hàm cosin hyperbolicsin hyperbolic có thể được coi là các phần chẵn và phần lẻ của hàm số lũy thừa tự nhiên, bởi vì hàm thứ nhất là chẵn, hàm thứ hai là lẻ, và

 

Các tính chất đại số nâng caoSửa đổi

  • Bất kỳ một tổ hợp tuyến tính nào của các hàm chẵn đều là chẵn và các hàm chẵn tạo thành một không gian vectơ trên trường số thực. Tương tự, bất kỳ một tổ hợp tuyến tính nào của các hàm lẻ thì đều là lẻ, và các hàm lẻ cũng tạo một không gian vectơ trên trường số thực. Trên thực tế, không gian vectơ của mọi hàm thực là tổng trực tiếp của các không gian con của các hàm chẵn và hàm lẻ. Đây là một cách diễn đạt trừu tượng hơn tính chất phân tích nói ở mục trước.
    • Không gian của các hàm số có thể được coi là một cấu trúc đại số phân bậc trên các số thực dựa theo tính chất này, cùng với một vài tính chất khác ở trên.
  • Các hàm chẵn tạo thành một đại số giao hoán trên trường số thực. Tuy thế, các hàm lẻ không tạo một cấu trúc đại số trên trường số thực, bởi chúng không có tính đóng đối với phép nhân.

Các tính chất về mặt giải tíchSửa đổi

Một hàm là lẻ hay chẵn không suy ra được tính khả vi hay thậm chí là tính liên tục. Ví dụ, hàm Dirichlet là chẵn, nhưng không liên tục tại mọi nơi.

Trong phần tiếp theo, các tính chất liên quan tới đạo hàm, chuỗi Fourier và chuỗi Taylor, và cứ như vậy giả sử rằng các khái niệm trên đã được định nghĩa đối với hàm đang xét.

Các tính chất giải tích cơ bảnSửa đổi

  • Đạo hàm của một hàm chẵn là một hàm lẻ.
  • Đạo hàm của một hàm lẻ là chẵn.
  • Tích phân của một hàm lẻ từ − A đến + A bằng 0 (trong đó A là hữu hạn và hàm không có tiệm cận đứng nằm giữa − AA). Đối với một hàm lẻ có tích phân trên một khoảng đối xứng, ví dụ  , kết quả của tích phân trong khoảng đó bằng 0; tức là[2]

 

  • Tích phân của một hàm chẵn từ −A đến +A bằng hai lần tích phân từ 0 đến +A (trong đó A là hữu hạn và hàm không có tiệm cận đứng giữa −AA. Điều này cũng đúng khi A là vô hạn, nhưng chỉ khi tích phân hội tụ); tức là

 

ChuỗiSửa đổi

  • Khai triển chuỗi Maclaurin của một hàm chẵn chỉ bao gồm các lũy thừa chẵn.
  • Chuỗi Maclaurin của một hàm lẻ chỉ bao gồm các lũy thừa lẻ.
  • Chuỗi Fourier của một hàm tuần hoàn chẵn chỉ bao gồm các số hạng dạng cosin.
  • Chuỗi Fourier của một hàm tuần hoàn lẻ chỉ bao gồm các số hạng dạng sin.
  • Biến đổi Fourier của một hàm số chẵn có giá trị thuần số thực là thực và chẵn.
  • Biến đổi Fourier của một hàm số lẻ có giá trị thuần số thực là ảo và lẻ.

Hàm điều hòaSửa đổi

Trong xử lý tín hiệu, méo hài xảy ra khi một tín hiệu sóng sin được gửi qua một hệ thống phi tuyến không có bộ nhớ, tức là một hệ thống mà đầu ra tại thời điểm t chỉ phụ thuộc vào đầu vào tại chính thời điểm đó và không phụ thuộc vào đầu vào tại bất kỳ thời điểm nào trước đó. Một hệ thống như vậy được biểu diễn bằng một hàm đáp ứng  . Loại hàm điều hòa sinh ra phụ thuộc vào hàm đáp ứng f:[3]

  • Khi hàm đáp ứng là chẵn, tín hiệu kết quả sẽ chỉ chứa các điều hòa bậc chẵn của sóng sin đầu vào;  
    • Chế độ cơ bản   cũng là một điều hòa bậc lẻ, nên nó sẽ không xuất hiện.
    • Một ví dụ đơn giản trong trường hợp này là một bộ chỉnh lưu toàn sóng.
    • Thành phần   thể hiện DC offset, do bản chất một phía của các hàm truyền đối xứng chẵn.
  • Khi hàm là lẻ, tín hiệu kết quả chỉ gồm các điều hòa bậc lẻ của sóng sin đầu vào;  
  • Khi hàm không có tính đối xứng, tín hiệu kết quả có thể chứa điều hòa bậc chẵn hoặc lẻ;  
    • Một ví dụ đơn giản là một bộ chỉnh lưu nửa sóng, và xén âm trong một bộ khuếch đại lớp A bất đối xứng.

Cần lưu ý rằng điều này không còn đúng đối với các dạng sóng phức tạp hơn. Một sóng dạng răng cưa chẳng hạn, chứa cả điều hòa bậc chẵn và lẻ. Sau khi chỉnh lưu chẵn toàn sóng, nó trở thành một sóng tam giác, sóng này ngoài DC offset ra thì chỉ chứa các điều hòa bậc lẻ.

Tổng quát hóaSửa đổi

Hàm đa biếnSửa đổi

Đối xứng chẵn:

Một hàm   được gọi là có đối xứng chẵn nếu thỏa mãn:

 

Đối xứng lẻ:

Một hàm   được gọi là có đối xứng lẻ nếu thỏa mãn:

 

Các hàm có giá trị phứcSửa đổi

Các định nghĩa cho đối xứng chẵn và lẻ cho các hàm giá trị phức với đối số thực là tương tự như trường hợp hàm giá trị thực nhưng liên quan đến liên hợp phức.

Đối xứng chẵn:

Một hàm giá trị phức với đối số thực   được gọi là có đối xứng lẻ nếu:

 

Đối xứng lẻ:

Một hàm giá trị phức với đối số thực   được gọi là có đối xứng lẻ nếu:

 

Dãy có độ dài hữu hạnSửa đổi

Định nghĩa đối xứng lẻ và chẵn còn được mở rộng cho các dãy N-điểm (ví dụ các hàm có dạng  ) như sau:[4]:p. 411

Đối xứng chẵn:

Một dãy N-điểm được gọi là có đối xứng chẵn nếu

 

Một dãy như vậy thường được gọi là dãy palindrome; xem thêm Đa thức palindrome.

Đối xứng lẻ:

Một dãy N-điểm được gọi là có đối xứng lẻ nếu

 

Một dãy như vậy đôi khi còn được gọi là một dãy anti-palindrome; xem thêm Đa thức antipalindrome.

Xem thêmSửa đổi

Ghi chúSửa đổi

  1. ^ a b Gel'Fand, I.M.; Glagoleva, E.G.; Shnol, E.E. (1990). Functions and Graphs. Birkhäuser. ISBN 0-8176-3532-7.
  2. ^ W., Weisstein, Eric. “Odd Function”. mathworld.wolfram.com.
  3. ^ Berners, Dave (tháng 10 năm 2005). “Ask the Doctors: Tube vs. Solid-State Harmonics”. UA WebZine. Universal Audio. Truy cập ngày 22 tháng 9 năm 2016. To summarize, if the function f(x) is odd, a cosine input will produce no even harmonics. If the function f(x) is even, a cosine input will produce no odd harmonics (but may contain a DC component). If the function is neither odd nor even, all harmonics may be present in the output.
  4. ^ Proakis, John G.; Manolakis, Dimitri G. (1996), Digital Signal Processing: Principles, Algorithms and Applications (bằng tiếng Anh) (ấn bản 3), Upper Saddle River, NJ: Prentice-Hall International, ISBN 9780133942897, sAcfAQAAIAAJ

Tham khảoSửa đổi

  • Functions and Graphs, 2002