THUỘC TÍNH KHÓA CỦA ĐẠI SỐ: CHỨNG MINH, VÍ DỤ - TOÁN HỌC - 2026

Tính chất khóa của đại số là một hiện tượng liên hệ hai phần tử của một tập hợp với một phép toán, trong đó điều kiện cần là sau khi xử lý hai phần tử theo phép toán đó, kết quả cũng thuộc tập hợp ban đầu.

Ví dụ, nếu chúng ta lấy các số chẵn dưới dạng một tập hợp và một tổng là một phép toán, chúng ta sẽ nhận được một khóa của tập hợp đó đối với tổng. Điều này là do tổng của 2 số chẵn sẽ luôn mang lại một số chẵn khác, do đó đáp ứng điều kiện khóa.

Nguồn: unsplash.com

nét đặc trưng

Có nhiều thuộc tính xác định không gian hoặc phần thể đại số, chẳng hạn như cấu trúc hoặc vành. Tuy nhiên, thuộc tính khóa là một trong những thuộc tính được biết đến nhiều nhất trong đại số cơ bản.

Không phải tất cả các ứng dụng của các thuộc tính này đều dựa trên các yếu tố hoặc hiện tượng số. Nhiều ví dụ hàng ngày có thể được thực hiện từ phương pháp tiếp cận lý thuyết-đại số thuần túy.

Ví dụ có thể là công dân của một quốc gia có mối quan hệ pháp lý dưới bất kỳ hình thức nào, chẳng hạn như quan hệ đối tác thương mại hoặc hôn nhân giữa những người khác. Sau khi hoạt động hoặc quản lý này được thực hiện, họ vẫn là công dân của đất nước. Theo cách này, quyền công dân và các hoạt động quản lý đối với hai công dân đại diện cho một khóa.

Đại số số

Liên quan đến các con số, có nhiều khía cạnh đã là chủ đề nghiên cứu trong các trào lưu toán học và đại số khác nhau. Một số lượng lớn các tiên đề và định lý đã xuất hiện từ các nghiên cứu này, đóng vai trò là cơ sở lý thuyết cho các nghiên cứu và công việc đương đại.

Nếu chúng ta làm việc với các bộ số, chúng ta có thể thiết lập một định nghĩa hợp lệ khác cho thuộc tính khóa. Một tập A được cho là khóa của một tập B khác nếu A là tập nhỏ nhất chứa tất cả các tập và phép toán mà B chứa.

Trình diễn

Chứng minh khóa được áp dụng cho các phần tử và phép toán có trong tập các số thực R.

Gọi A và B là hai số thuộc tập R, việc đóng các phần tử này được xác định cho mỗi phép toán chứa trong R.

Tổng

- Tính tổng: ∀ A ˄ B ∈ R → A + B = C ∈ R

Đây là cách nói đại số rằng Với tất cả A và B thuộc các số thực, ta có tổng A cộng với B bằng C, cũng thuộc các số thực.

Thật dễ dàng để kiểm tra xem mệnh đề này có đúng không; nó là đủ để thực hiện tổng giữa bất kỳ số thực nào và xác minh xem kết quả có thuộc về các số thực hay không.

3 + 2 = 5 ∈ R

-2 + (-7) = -9 ∈ R

-3 + 1/3 = -8/3 ∈ R

5/2 + (-2/3) = 11/6 ∈ R

Có thể thấy rằng điều kiện khóa được đáp ứng cho các số thực và tổng. Theo cách này có thể kết luận: Tổng các số thực là một khóa đại số.

Phép nhân

- Phép nhân: ∀ A ˄ B ∈ R → A. B = C ∈ R

Với tất cả A và B đều thuộc thực, ta có phép nhân A với B bằng C, cũng thuộc về thực.

Khi xác minh với các yếu tố tương tự của ví dụ trước, các kết quả sau được quan sát.

3 x 2 = 6 ∈ R

-2 x (-7) = 14 ∈ R

-3 x 1/3 = -1 ∈ R

5/2 x (-2/3) = -5/3 ∈ R

Đây là bằng chứng đủ để kết luận rằng: Phép nhân các số thực là một khóa đại số.

Định nghĩa này có thể được mở rộng cho tất cả các phép toán của số thực, mặc dù chúng ta sẽ tìm thấy một số ngoại lệ nhất định.

Nguồn: pixabay.com

Các trường hợp đặc biệt trong R

Sư đoàn

Trường hợp đặc biệt đầu tiên là phân chia, trong đó ngoại lệ sau được nhìn thấy:

∀ A ˄ B ∈ R → A / B ∉ R ↔ B = 0

Với mọi A và B thuộc R ta có A trong số B không thuộc thực nếu và chỉ khi B bằng 0.

Trường hợp này đề cập đến hạn chế của việc không thể chia hết cho số không. Bởi vì số 0 thuộc về các số thực, do đó nó theo sau rằng: phép chia không phải là một khóa trên số thực.

Nộp hồ sơ

Ngoài ra còn có các hoạt động phân áp, cụ thể hơn là các hoạt động cực đoan hóa, trong đó các trường hợp ngoại lệ được trình bày cho các quyền hạn cấp tiến của chỉ số chẵn:

Với tất cả A thuộc số thực, căn thứ n của A thuộc về thực, nếu và chỉ khi A thuộc về các thực dương được nối vào một tập hợp có phần tử duy nhất là 0.

Bằng cách này, người ta biểu thị rằng các gốc chẵn chỉ áp dụng cho thực dương và kết luận rằng chiết áp không phải là một khóa trong R.

Lôgarit

Theo cách tương đồng, nó có thể được thấy đối với hàm logarit, không được xác định cho các giá trị nhỏ hơn hoặc bằng không. Để kiểm tra xem lôgarit có phải là khóa của R hay không, hãy tiến hành như sau:

Với mọi A thuộc số thực, logarit của A thuộc về số thực, nếu và chỉ khi A thuộc về số thực dương.

Bằng cách loại trừ các giá trị âm và số 0 cũng thuộc R, có thể khẳng định rằng:

Lôgarit không phải là một khóa của các số thực.

Ví dụ

Kiểm tra khóa cộng và trừ các số tự nhiên:

Tính tổng bằng N

Điều đầu tiên là kiểm tra điều kiện khóa cho các phần tử khác nhau của tập hợp đã cho, trong đó nếu quan sát thấy phần tử nào đó phá vỡ điều kiện, sự tồn tại của khóa có thể tự động bị từ chối.

Thuộc tính này đúng với tất cả các giá trị có thể có của A và B, như được thấy trong các phép toán sau:

1 + 3 = 4 ∈ N

5 + 7 = 12 ∈ N

1000 + 10000 = 11000 ∈ N

Không có giá trị tự nhiên nào phá vỡ điều kiện khóa, vì vậy nó được kết luận:

Tổng là một khóa trong N.

Trừ đi N

Các yếu tố tự nhiên có khả năng phá vỡ điều kiện được tìm kiếm; A - B thuộc về người bản xứ.

Thao tác dễ dàng tìm thấy các cặp nguyên tố tự nhiên không thỏa mãn điều kiện khóa. Ví dụ:

7 - 10 = -3 ∉ a N

Theo cách này, chúng ta có thể kết luận rằng:

Phép trừ không phải là một khóa trên tập hợp các số tự nhiên.

Bài tập đề xuất

1-Cho biết thuộc tính khóa có được thực hiện đối với tập hợp các số hữu tỉ Q, đối với các phép toán cộng, trừ, nhân và chia hay không.

2-Giải thích xem tập hợp các số thực có phải là một khóa của tập hợp các số nguyên hay không.

3-Xác định bộ số nào có thể là khóa của các số thực.

4-Chứng minh tính chất của khóa đối với tập hợp các số ảo, đối với các phép tính cộng, trừ, nhân và chia.

Người giới thiệu

1. Toàn cảnh toán học thuần túy: sự lựa chọn Bourbakist. Jean Dieudonné. Reverte, 1987.
2. Lý thuyết số đại số. Alejandro J. Díaz Barriga, Ana Irene Ramírez, Francisco Tomás. Đại học Tự trị Quốc gia Mexico, 1975.
3. Đại số tuyến tính và các ứng dụng của nó. Sandra Ibeth Ochoa García, Eduardo Gutiérrez González.
4. Các cấu trúc đại số V: lý thuyết cơ thể. Hector A. Merklen. Tổ chức các quốc gia châu Mỹ, Tổng thư ký, 1979.
5. Giới thiệu về đại số giao hoán. Michael Francis Atiyah, IG MacDonald. Reverte, năm 1973.