[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"_public_topic_publications_gi%E1%BB%9Bi%20h%E1%BA%A1n%20d%C6%B0%E1%BB%9Bi{\"limit\":5}":3,"_public_topic_byId_giới hạn dưới":11},{"code":4,"data":5,"meta":10},"SUCCESS",{"latest":6,"mostCited":7,"vietnamFeatured":8,"vietnamLatest":9},[],[],[],[],null,{"code":4,"data":12,"meta":10},{"id":13,"title":14,"description":15,"content":16,"term":17,"englishTitle":18,"synonyms":10,"definition":19,"discipline":20,"references":21,"faqs":43,"createUser":53,"publishUser":57,"keywords":61,"keywordCount":72,"enrichTopicLink":73,"status":74,"createTime":75,"updateTime":76,"publishTime":77,"linkEnrichedTime":78,"publicationScanTime":10,"contentErrorMessage":10,"viewCount":79,"relateTopics":80},"giới hạn dưới","Giới hạn dưới là gì? Các nghiên cứu về Giới hạn dưới","Giới hạn dưới là một giá trị mà mọi phần tử trong tập hợp đều lớn hơn hoặc bằng, phản ánh mức \"sàn\" của tập hợp số hoặc cấu trúc có thứ tự. Cận dưới đúng là giới hạn dưới lớn nhất, có thể thuộc hoặc không thuộc tập, và đóng vai trò quan trọng trong giải tích, tối ưu và xác suất. ","\u003Cp>\u003Cstrong>Giới hạn dưới\u003C\u002Fstrong> (\u003Cem>Lower bound \u002F Infimum\u003C\u002Fem>) là (lower bound) trong toán học là một phần tử nhỏ hơn hoặc bằng mọi phần tử của một tập hợp có thứ tự xác định; giới hạn dưới lớn nhất của tập hợp được gọi là cận dưới lớn nhất (infimum).\u003C\u002Fp>\n\u003Ch2>Khái niệm giới hạn dưới\u003C\u002Fh2>\n\u003Cp>\nTrong toán học, khái niệm \u003Cstrong>giới hạn dưới\u003C\u002Fstrong> (lower bound) xuất hiện khi ta xét một tập hợp số và muốn xác định giá trị nào đó đóng vai trò mốc để toàn bộ các phần tử trong tập hợp đều không thể nhỏ hơn mốc đó. Nói cách khác, nếu ta có tập hợp số thực \u003Cscript type=\"math\u002Ftex\"> A \\subseteq \\mathbb{R} \u003C\u002Fscript>, thì một số \u003Cscript type=\"math\u002Ftex\"> m \\in \\mathbb{R} \u003C\u002Fscript> được gọi là giới hạn dưới của \u003Cscript type=\"math\u002Ftex\"> A \u003C\u002Fscript> khi mọi phần tử \u003Cscript type=\"math\u002Ftex\"> a \\in A \u003C\u002Fscript> đều thỏa mãn:\n\u003C\u002Fp>\n\u003Cp>\n\u003Cscript type=\"math\u002Ftex\">\nm \\leq a\n\\quad \\forall a \\in A\n\u003C\u002Fscript>\n\u003C\u002Fp>\n\u003Cp>\nGiới hạn dưới không nhất thiết phải thuộc tập hợp. Ví dụ, nếu xét tập \u003Cscript type=\"math\u002Ftex\"> A = \\{ x \\in \\mathbb{R} \\mid x > 0 \\} \u003C\u002Fscript>, thì số 0 là giới hạn dưới, mặc dù 0 không nằm trong \u003Cscript type=\"math\u002Ftex\"> A \u003C\u002Fscript>. Điểm này cho thấy giới hạn dưới là một khái niệm mang tính bao quát, phản ánh \"sàn\" của tập hợp, chứ không nhất thiết phải là phần tử thật sự tồn tại trong tập.\n\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>Giới hạn dưới có thể là số âm vô hạn, nếu tập hợp không bị chặn dưới.\u003C\u002Fli>\n  \u003Cli>Một tập có thể có nhiều giới hạn dưới cùng tồn tại.\u003C\u002Fli>\n  \u003Cli>Giới hạn dưới cung cấp cách đánh giá phạm vi giá trị mà tập hợp có thể nhận.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Ch2>Tính chất cơ bản\u003C\u002Fh2>\n\u003Cp>\nMột đặc điểm quan trọng là nếu \u003Cscript type=\"math\u002Ftex\"> m \u003C\u002Fscript> là giới hạn dưới của một tập \u003Cscript type=\"math\u002Ftex\"> A \u003C\u002Fscript>, thì bất kỳ số nào nhỏ hơn \u003Cscript type=\"math\u002Ftex\"> m \u003C\u002Fscript> cũng tự động là giới hạn dưới của \u003Cscript type=\"math\u002Ftex\"> A \u003C\u002Fscript>. Điều này bắt nguồn trực tiếp từ định nghĩa, bởi nếu tất cả các phần tử \u003Cscript type=\"math\u002Ftex\"> a \\in A \u003C\u002Fscript> đều thỏa mãn \u003Cscript type=\"math\u002Ftex\"> m \\leq a \u003C\u002Fscript>, thì rõ ràng một số \u003Cscript type=\"math\u002Ftex\"> m' \u003C m \u003C\u002Fscript> cũng sẽ thỏa mãn \u003Cscript type=\"math\u002Ftex\"> m' \\leq a \u003C\u002Fscript>. \n\u003C\u002Fp>\n\u003Cp>\nVí dụ, xét tập \u003Cscript type=\"math\u002Ftex\"> A = \\{ 3, 4, 5, \\dots \\} \u003C\u002Fscript>. Ở đây số 3 là phần tử nhỏ nhất của tập. Do đó, mọi số nhỏ hơn hoặc bằng 3 đều là giới hạn dưới. Ta có:\n\u003C\u002Fp>\n\u003Ctable border=\"1\" cellpadding=\"6\" cellspacing=\"0\">\n  \u003Ctbody>\u003Ctr>\n    \u003Cth>Số kiểm tra\u003C\u002Fth>\n    \u003Cth>Có phải giới hạn dưới?\u003C\u002Fth>\n    \u003Cth>Giải thích\u003C\u002Fth>\n  \u003C\u002Ftr>\n  \u003Ctr>\n    \u003Ctd>2\u003C\u002Ftd>\n    \u003Ctd>Có\u003C\u002Ftd>\n    \u003Ctd>Tất cả các phần tử của tập lớn hơn hoặc bằng 3, nên chắc chắn lớn hơn 2.\u003C\u002Ftd>\n  \u003C\u002Ftr>\n  \u003Ctr>\n    \u003Ctd>3\u003C\u002Ftd>\n    \u003Ctd>Có\u003C\u002Ftd>\n    \u003Ctd>Vì 3 là phần tử nhỏ nhất, nó cũng đóng vai trò giới hạn dưới.\u003C\u002Ftd>\n  \u003C\u002Ftr>\n  \u003Ctr>\n    \u003Ctd>4\u003C\u002Ftd>\n    \u003Ctd>Không\u003C\u002Ftd>\n    \u003Ctd>Vì 3 trong tập nhỏ hơn 4, nên 4 không phải giới hạn dưới.\u003C\u002Ftd>\n  \u003C\u002Ftr>\n\u003C\u002Ftbody>\u003C\u002Ftable>\n\u003Cp>\nĐiều này cho thấy tập hợp giới hạn dưới thường trải dài vô hạn về phía âm. Tuy nhiên, trong số đó, ta đặc biệt quan tâm đến giá trị lớn nhất trong các giới hạn dưới – đây chính là cận dưới đúng.\n\u003C\u002Fp>\n\n\u003Ch2>So sánh giới hạn dưới và cận dưới đúng\u003C\u002Fh2>\n\u003Cp>\nSự khác biệt cốt lõi nằm ở mức độ \"chặt chẽ\". Giới hạn dưới là bất kỳ giá trị nào nhỏ hơn hoặc bằng mọi phần tử trong tập. Ngược lại, \u003Ca href=\"https:\u002F\u002Fmathworld.wolfram.com\u002FInfimum.html\" target=\"_blank\">cận dưới đúng (infimum)\u003C\u002Fa> là giá trị lớn nhất trong tập các giới hạn dưới. Cận dưới đúng có thể tồn tại trong tập hoặc không, tùy thuộc vào cấu trúc của tập hợp. \n\u003C\u002Fp>\n\u003Cp>\nVí dụ, xét tập \u003Cscript type=\"math\u002Ftex\"> B = \\{ x \\in \\mathbb{R} \\mid x > 2 \\} \u003C\u002Fscript>. Các số như 1, 0, -5 đều là giới hạn dưới, bởi mọi phần tử trong tập luôn lớn hơn 2. Nhưng trong số đó, 2 là giới hạn dưới lớn nhất. Do đó, ta gọi 2 là cận dưới đúng của tập \u003Cscript type=\"math\u002Ftex\"> B \u003C\u002Fscript>. Lưu ý rằng 2 không thuộc \u003Cscript type=\"math\u002Ftex\"> B \u003C\u002Fscript>, song điều đó không ảnh hưởng đến vai trò của nó.\n\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>Nếu tập hợp có phần tử nhỏ nhất, thì phần tử đó vừa là giới hạn dưới vừa là cận dưới đúng.\u003C\u002Fli>\n  \u003Cli>Nếu tập hợp không có phần tử nhỏ nhất nhưng vẫn bị chặn dưới, cận dưới đúng tồn tại nhưng không thuộc tập.\u003C\u002Fli>\n  \u003Cli>Nếu tập hợp không bị chặn dưới, không tồn tại giới hạn dưới hữu hạn, và ta nói cận dưới đúng bằng \u003Cscript type=\"math\u002Ftex\">-\\infty\u003C\u002Fscript>.\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>\nSo sánh này làm rõ rằng mọi cận dưới đúng đều là giới hạn dưới, nhưng không phải mọi giới hạn dưới đều là cận dưới đúng. Do đó, trong nghiên cứu toán học, cận dưới đúng mới là khái niệm trọng tâm vì nó phản ánh ngưỡng thấp nhất có thể đạt được một cách chính xác.\n\u003C\u002Fp>\n\n\u003Ch2>Ví dụ minh họa\u003C\u002Fh2>\n\u003Cp>\nXét tập hợp sau:\n\u003C\u002Fp>\n\u003Cp>\n\u003Cscript type=\"math\u002Ftex\">\nA = \\{ x \\in \\mathbb{R} \\mid x > 2 \\}\n\u003C\u002Fscript>\n\u003C\u002Fp>\n\u003Cp>\nTrong tập này, mọi số nhỏ hơn hoặc bằng 2 đều đóng vai trò giới hạn dưới. Ví dụ: 0, 1, -10 đều thoả mãn điều kiện. Tuy nhiên, khi xét tổng thể, ta thấy số 2 là giá trị lớn nhất trong tập các giới hạn dưới. Vì vậy, 2 được gọi là cận dưới đúng. \n\u003C\u002Fp>\n\u003Cp>\nTa có thể liệt kê một số trường hợp để trực quan hơn:\n\u003C\u002Fp>\n\u003Col>\n  \u003Cli>Số -100: giới hạn dưới hợp lệ, nhưng quá nhỏ để được xem là cận dưới đúng.\u003C\u002Fli>\n  \u003Cli>Số 1.9: cũng là giới hạn dưới, song vẫn nhỏ hơn 2.\u003C\u002Fli>\n  \u003Cli>Số 2: vừa vặn nhất, chính xác là cận dưới đúng.\u003C\u002Fli>\n\u003C\u002Fol>\n\u003Cp>\nMột ví dụ khác: xét tập \u003Cscript type=\"math\u002Ftex\"> C = \\{ 1, \\tfrac{1}{2}, \\tfrac{1}{3}, \\tfrac{1}{4}, \\dots \\} \u003C\u002Fscript>. Tập này gồm các phân số nghịch đảo dương. Tất cả các giá trị đều lớn hơn 0, nhưng không có phần tử nhỏ nhất. Tuy vậy, số 0 lại là giới hạn dưới, và cũng là cận dưới đúng, mặc dù không thuộc tập \u003Cscript type=\"math\u002Ftex\"> C \u003C\u002Fscript>.\n\u003C\u002Fp>\n\u003Cp>\nBảng dưới đây tóm tắt hai ví dụ chính:\n\u003C\u002Fp>\n\u003Ctable border=\"1\" cellpadding=\"6\" cellspacing=\"0\">\n  \u003Ctbody>\u003Ctr>\n    \u003Cth>Tập hợp\u003C\u002Fth>\n    \u003Cth>Giới hạn dưới\u003C\u002Fth>\n    \u003Cth>Cận dưới đúng\u003C\u002Fth>\n    \u003Cth>Có nằm trong tập?\u003C\u002Fth>\n  \u003C\u002Ftr>\n  \u003Ctr>\n    \u003Ctd>\u003Cscript type=\"math\u002Ftex\"> \\{ x \\in \\mathbb{R} \\mid x > 2 \\} \u003C\u002Fscript>\u003C\u002Ftd>\n    \u003Ctd>\u003Cscript type=\"math\u002Ftex\"> m \\leq 2 \u003C\u002Fscript>\u003C\u002Ftd>\n    \u003Ctd>2\u003C\u002Ftd>\n    \u003Ctd>Không\u003C\u002Ftd>\n  \u003C\u002Ftr>\n  \u003Ctr>\n    \u003Ctd>\u003Cscript type=\"math\u002Ftex\"> \\{ 1, \\tfrac{1}{2}, \\tfrac{1}{3}, \\dots \\} \u003C\u002Fscript>\u003C\u002Ftd>\n    \u003Ctd>\u003Cscript type=\"math\u002Ftex\"> m \\leq 0 \u003C\u002Fscript>\u003C\u002Ftd>\n    \u003Ctd>0\u003C\u002Ftd>\n    \u003Ctd>Không\u003C\u002Ftd>\n  \u003C\u002Ftr>\n  \u003Ctr>\n    \u003Ctd>\u003Cscript type=\"math\u002Ftex\"> \\{ 3, 4, 5, \\dots \\} \u003C\u002Fscript>\u003C\u002Ftd>\n    \u003Ctd>\u003Cscript type=\"math\u002Ftex\"> m \\leq 3 \u003C\u002Fscript>\u003C\u002Ftd>\n    \u003Ctd>3\u003C\u002Ftd>\n    \u003Ctd>Có\u003C\u002Ftd>\n  \u003C\u002Ftr>\n\u003C\u002Ftbody>\u003C\u002Ftable>\n\u003Cp>\nNhững ví dụ trên minh chứng rằng khái niệm giới hạn dưới không chỉ là công cụ hình thức mà còn là nền tảng để hiểu sâu hơn về sự chặn của tập hợp, và mở đường cho nhiều ứng dụng khác trong toán học.\n\u003C\u002Fp>\n\u003Ch2>Ứng dụng trong giải tích\u003C\u002Fh2>\n\u003Cp>\nTrong giải tích, khái niệm giới hạn dưới xuất hiện thường xuyên trong việc nghiên cứu sự tồn tại của cực trị. Một hàm số được gọi là bị chặn dưới trên một tập xác định nếu tồn tại một số \u003Cscript type=\"math\u002Ftex\"> m \u003C\u002Fscript> sao cho:\n\u003C\u002Fp>\n\u003Cp>\n\u003Cscript type=\"math\u002Ftex\">\nf(x) \\geq m \\quad \\forall x \\in D\n\u003C\u002Fscript>\n\u003C\u002Fp>\n\u003Cp>\nỞ đây, \u003Cscript type=\"math\u002Ftex\"> D \u003C\u002Fscript> là miền xác định của hàm \u003Cscript type=\"math\u002Ftex\"> f \u003C\u002Fscript>. Nếu giá trị \u003Cscript type=\"math\u002Ftex\"> m \u003C\u002Fscript> tồn tại, ta nói rằng hàm số có giới hạn dưới trên miền đó. Việc một hàm số có giới hạn dưới giúp ta đảm bảo rằng hàm không “tụt xuống” vô hạn, điều này đặc biệt quan trọng khi xét hội tụ của dãy hoặc chuỗi số.\n\u003C\u002Fp>\n\u003Cp>\nVí dụ, hàm bình phương \u003Cscript type=\"math\u002Ftex\"> f(x) = x^2 \u003C\u002Fscript> có giới hạn dưới bằng 0 trên toàn bộ \u003Cscript type=\"math\u002Ftex\">\\mathbb{R}\u003C\u002Fscript>. Bất kể giá trị \u003Cscript type=\"math\u002Ftex\"> x \u003C\u002Fscript> nào, ta luôn có \u003Cscript type=\"math\u002Ftex\"> x^2 \\geq 0 \u003C\u002Fscript>. Trong trường hợp này, 0 chính là cận dưới đúng và đồng thời là giá trị cực tiểu toàn cục.\n\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>Nếu một hàm có giới hạn dưới, ta có thể sử dụng các {{topic|%7B%22topic%22%3A%22%C4%91%E1%BB%8Bnh%20l%C3%BD%20h%E1%BB%99i%20t%E1%BB%A5%22%7D}} (chẳng hạn như định lý đơn điệu) để chứng minh sự tồn tại giới hạn của các dãy liên quan.\u003C\u002Fli>\n  \u003Cli>Nhiều định nghĩa trong giải tích, chẳng hạn như giá trị tuyệt đối, tích phân Lebesgue, đều dựa vào khái niệm cận dưới và cận trên để hình thành.\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>\nĐặc biệt, \u003Ca href=\"https:\u002F\u002Fmath.libretexts.org\u002FBookshelves\u002FCalculus\u002FBook%3A_Calculus_(OpenStax)\u002F03%3A_Differentiation\u002F3.07%3A_The_Extreme_Value_Theorem\" target=\"_blank\">định lý giá trị cực trị\u003C\u002Fa> phát biểu rằng nếu hàm số liên tục trên một đoạn đóng, thì nó có giá trị lớn nhất và nhỏ nhất trên đoạn đó. Điều này đồng nghĩa với việc ta luôn tìm được cận dưới đúng và cận trên đúng cho hàm số trong miền đã cho.\n\u003C\u002Fp>\n\n\u003Ch2>Ứng dụng trong lý thuyết tối ưu\u003C\u002Fh2>\n\u003Cp>\nTrong lý thuyết tối ưu, việc xác định giới hạn dưới cho {{topic|%7B%22topic%22%3A%22h%C3%A0m%20m%E1%BB%A5c%20ti%C3%AAu%22%7D}} là bước căn bản để đảm bảo rằng một bài toán có nghiệm. Nếu hàm mục tiêu không bị chặn dưới, tức có thể giảm đến \u003Cscript type=\"math\u002Ftex\">-\\infty\u003C\u002Fscript>, thì bài toán {{topic|%7B%22topic%22%3A%22t%E1%BB%91i%20thi%E1%BB%83u%20h%C3%B3a%22%7D}} không có lời giải. Ngược lại, nếu ta chứng minh rằng hàm mục tiêu có giới hạn dưới, thì ít nhất ta biết bài toán có khả năng đạt cực tiểu.\n\u003C\u002Fp>\n\u003Cp>\nVí dụ: xét bài toán tối thiểu hóa hàm tuyến tính dưới ràng buộc lồi. Nếu miền khả thi bị chặn dưới và hàm mục tiêu là liên tục, thì giá trị tối ưu luôn tồn tại và chính bằng cận dưới đúng của tập giá trị khả dĩ.\n\u003C\u002Fp>\n\u003Cp>\nTrong \u003Ca href=\"https:\u002F\u002Foptimization.cbe.cornell.edu\u002Findex.php?title=Convex_optimization\" target=\"_blank\">tối ưu hóa lồi\u003C\u002Fa>, việc tìm cận dưới đúng đặc biệt quan trọng. Phương pháp duality (đối ngẫu) trong tối ưu hóa thường xây dựng một bài toán đối ngẫu nhằm tìm ra các giới hạn dưới cho giá trị tối ưu của bài toán gốc. Khi có điều kiện mạnh (như điều kiện Slater), giá trị tối ưu của bài toán đối ngẫu chính là cận dưới đúng của bài toán gốc.\n\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>Giới hạn dưới giúp đảm bảo {{topic|%7B%22topic%22%3A%22t%C3%ADnh%20%E1%BB%95n%20%C4%91%E1%BB%8Bnh%22%7D}} của {{topic|%7B%22topic%22%3A%22thu%E1%BA%ADt%20to%C3%A1n%20t%E1%BB%91i%20%C6%B0u%22%7D}}.\u003C\u002Fli>\n  \u003Cli>Trong thực tế, nó hỗ trợ các phương pháp xấp xỉ để thu được nghiệm gần tối ưu.\u003C\u002Fli>\n  \u003Cli>Trong các bài toán không lồi, giới hạn dưới vẫn quan trọng để đánh giá chất lượng nghiệm tìm được.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Ch2>Liên hệ với bất đẳng thức\u003C\u002Fh2>\n\u003Cp>\nKhái niệm giới hạn dưới có mối liên hệ mật thiết với {{topic|%7B%22topic%22%3A%22b%E1%BA%A5t%20%C4%91%E1%BA%B3ng%20th%E1%BB%A9c%22%7D}}. Hầu hết các bất đẳng thức cổ điển đều chứng minh sự tồn tại của một giới hạn dưới cho biểu thức nào đó. Chẳng hạn, bất đẳng thức Cauchy–Schwarz khẳng định rằng với mọi vector \u003Cscript type=\"math\u002Ftex\"> u, v \\in \\mathbb{R}^n \u003C\u002Fscript>:\n\u003C\u002Fp>\n\u003Cp>\n\u003Cscript type=\"math\u002Ftex\">\n\\lvert \\langle u, v \\rangle \\rvert \\leq \\|u\\| \\cdot \\|v\\|\n\u003C\u002Fscript>\n\u003C\u002Fp>\n\u003Cp>\nKhi biểu thức được sắp xếp lại, điều này ngụ ý rằng:\n\u003C\u002Fp>\n\u003Cp>\n\u003Cscript type=\"math\u002Ftex\">\n\\|u\\|^2 \\cdot \\|v\\|^2 - \\langle u, v \\rangle^2 \\geq 0\n\u003C\u002Fscript>\n\u003C\u002Fp>\n\u003Cp>\nTức là vế trái luôn có giới hạn dưới bằng 0. Trong trường hợp này, 0 là cận dưới đúng. Cách chứng minh này được áp dụng lặp đi lặp lại trong nhiều lĩnh vực toán học, chẳng hạn như hình học tuyến tính, xác suất, và lý thuyết tối ưu.\n\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>Bất đẳng thức Jensen cung cấp giới hạn dưới cho giá trị trung bình của hàm lồi.\u003C\u002Fli>\n  \u003Cli>Bất đẳng thức Markov và Chebyshev trong xác suất đưa ra giới hạn dưới cho xác suất của các biến cố nhất định.\u003C\u002Fli>\n  \u003Cli>Nhiều bất đẳng thức Sobolev trong giải tích hàm cũng là sự biểu hiện của giới hạn dưới.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Ch2>Khái niệm mở rộng\u003C\u002Fh2>\n\u003Cp>\nTrong \u003Ca href=\"https:\u002F\u002Fplato.stanford.edu\u002Fentries\u002Forder-theory\u002F\" target=\"_blank\">lý thuyết thứ tự\u003C\u002Fa>, giới hạn dưới được định nghĩa cho các tập hợp trừu tượng có quan hệ thứ tự. Không nhất thiết phải là số thực, miễn là ta có thể so sánh các phần tử. Nếu \u003Cscript type=\"math\u002Ftex\"> (P, \\leq) \u003C\u002Fscript> là một poset (tập có thứ tự bộ phận), thì \u003Cscript type=\"math\u002Ftex\"> m \u003C\u002Fscript> là giới hạn dưới của tập \u003Cscript type=\"math\u002Ftex\"> A \\subseteq P \u003C\u002Fscript> nếu:\n\u003C\u002Fp>\n\u003Cp>\n\u003Cscript type=\"math\u002Ftex\">\nm \\leq a \\quad \\forall a \\in A\n\u003C\u002Fscript>\n\u003C\u002Fp>\n\u003Cp>\nKhái niệm này mở rộng tầm ứng dụng của giới hạn dưới sang nhiều cấu trúc khác nhau, chẳng hạn như tập hợp các tập con (theo quan hệ bao hàm), không gian vector có thứ tự, hoặc các cấu trúc trong logic hình thức. Khi đó, cận dưới đúng (infimum) vẫn là giới hạn dưới lớn nhất nếu nó tồn tại.\n\u003C\u002Fp>\n\u003Cp>\nVí dụ: trong tập \u003Cscript type=\"math\u002Ftex\">\\mathcal{P}(X)\u003C\u002Fscript> – tập tất cả các tập con của \u003Cscript type=\"math\u002Ftex\"> X \u003C\u002Fscript>, với quan hệ bao hàm \u003Cscript type=\"math\u002Ftex\">\\subseteq\u003C\u002Fscript>, giới hạn dưới của một họ tập chính là giao của tất cả các tập trong họ đó.\n\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>Nếu các tập giao nhau không rỗng, giao này là cận dưới đúng.\u003C\u002Fli>\n  \u003Cli>Nếu các tập không giao nhau, cận dưới đúng chính là tập rỗng.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Ch2>Vai trò trong xác suất và thống kê\u003C\u002Fh2>\n\u003Cp>\nTrong xác suất, giới hạn dưới thường dùng để đưa ra các đánh giá thận trọng về xác suất biến cố. Ví dụ, bất đẳng thức Markov phát biểu rằng với {{topic|%7B%22topic%22%3A%22bi%E1%BA%BFn%20ng%E1%BA%ABu%20nhi%C3%AAn%22%7D}} không âm \u003Cscript type=\"math\u002Ftex\"> X \u003C\u002Fscript> và số \u003Cscript type=\"math\u002Ftex\"> a > 0 \u003C\u002Fscript>:\n\u003C\u002Fp>\n\u003Cp>\n\u003Cscript type=\"math\u002Ftex\">\n\\mathbb{P}(X \\geq a) \\leq \\frac{\\mathbb{E}[X]}{a}\n\u003C\u002Fscript>\n\u003C\u002Fp>\n\u003Cp>\nMặt khác, bằng cách sắp xếp lại, ta có thể rút ra giới hạn dưới cho xác suất \u003Cscript type=\"math\u002Ftex\"> \\mathbb{P}(X \u003C a) \u003C\u002Fscript>. Tương tự, bất đẳng thức Chebyshev cho ta giới hạn dưới về mức độ tập trung của phân phối xung quanh giá trị trung bình.\n\u003C\u002Fp>\n\u003Cp>\nTrong thống kê, giới hạn dưới được dùng để thiết lập {{topic|%7B%22topic%22%3A%22kho%E1%BA%A3ng%20tin%20c%E1%BA%ADy%22%7D}}, ví dụ khoảng tin cậy 95% có thể được xem như thiết lập một cận dưới và cận trên cho tham số ước lượng. Ngoài ra, trong lý thuyết ước lượng, \u003Cem>Cramér–Rao bound\u003C\u002Fem> là một giới hạn dưới cơ bản cho phương sai của các ước lượng không chệch.\n\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>Giới hạn dưới giúp kiểm soát sai số trong các phép đo.\u003C\u002Fli>\n  \u003Cli>Chúng đóng vai trò trong thiết kế thử nghiệm để đảm bảo {{topic|%7B%22topic%22%3A%22t%C3%ADnh%20hi%E1%BB%87u%20qu%E1%BA%A3%22%7D}}.\u003C\u002Fli>\n  \u003Cli>Cung cấp cơ sở để phát triển các thuật toán học máy có khả năng khái quát hóa tốt.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Ch2>Kết luận\u003C\u002Fh2>\n\u003Cp>\nGiới hạn dưới không chỉ là một khái niệm hình thức trong toán học mà còn là công cụ then chốt trong nhiều ngành. Từ việc đảm bảo hội tụ trong giải tích, đến việc xác định giá trị tối ưu trong tối ưu hóa, từ chứng minh bất đẳng thức cho đến đánh giá rủi ro trong xác suất và thống kê – khái niệm này luôn hiện diện. Sự phân biệt giữa giới hạn dưới nói chung và cận dưới đúng mang lại cái nhìn sâu sắc về cấu trúc và bản chất của tập hợp, đồng thời mở đường cho nhiều {{topic|%7B%22topic%22%3A%22%E1%BB%A9ng%20d%E1%BB%A5ng%20khoa%20h%E1%BB%8Dc%22%7D}} hiện đại.\n\u003C\u002Fp>\n\n\n\u003Ch2>Định Nghĩa Giải Tích và Tính Chất Tiệm Cận\u003C\u002Fh2>\n\u003Cp>Cho tập hợp \u003Cscript type=\"math\u002Ftex\">A \\subset \\mathbb{R}\u003C\u002Fscript> khác rỗng. Số thực \u003Cscript type=\"math\u002Ftex\">m\u003C\u002Fscript> được gọi là một giới hạn dưới (cận dưới) của \u003Cscript type=\"math\u002Ftex\">A\u003C\u002Fscript> nếu thỏa mãn điều kiện:\u003C\u002Fp>\n\u003Cp>\u003Cscript type=\"math\u002Ftex; mode=display\">m \\leq x, \\quad \\forall x \\in A\u003C\u002Fscript>\u003C\u002Fp>\n\u003Cp>Số thực \u003Cscript type=\"math\u002Ftex\">m^*\u003C\u002Fscript> là cận dưới lớn nhất (infimum, ký hiệu \u003Cscript type=\"math\u002Ftex\">\\inf A\u003C\u002Fscript>) nếu \u003Cscript type=\"math\u002Ftex\">m^*\u003C\u002Fscript> là một giới hạn dưới của \u003Cscript type=\"math\u002Ftex\">A\u003C\u002Fscript> và với mọi \u003Cscript type=\"math\u002Ftex\">\\varepsilon > 0\u003C\u002Fscript>, luôn tồn tại ít nhất một phần tử \u003Cscript type=\"math\u002Ftex\">x_0 \\in A\u003C\u002Fscript> sao cho:\u003C\u002Fp>\n\u003Cp>\u003Cscript type=\"math\u002Ftex; mode=display\">x_0 \u003C m^* + \\varepsilon\u003C\u002Fscript>\u003C\u002Fp>","Giới hạn dưới","Lower bound \u002F Infimum","Giới hạn dưới (lower bound) trong toán học là một phần tử nhỏ hơn hoặc bằng mọi phần tử của một tập hợp có thứ tự xác định; giới hạn dưới lớn nhất của tập hợp được gọi là cận dưới lớn nhất (infimum).","NATURAL_SCIENCES",[22,29,36],{"citationText":23,"title":24,"authors":25,"source":26,"year":27,"doi":28,"url":10},"Smolensky (1996). Easy lower bound for a strange computational model. Computational Complexity. doi:10.1007\u002Fbf01294255","Easy lower bound for a strange computational model","Smolensky","Computational Complexity",1996,"10.1007\u002Fbf01294255",{"citationText":30,"title":31,"authors":32,"source":33,"year":34,"doi":35,"url":10},"Rufibach (2010). An active set algorithm to estimate parameters in generalized linear models with ordered predictors. Computational Statistics & Data Analysis. doi:10.1016\u002Fj.csda.2010.01.014","An active set algorithm to estimate parameters in generalized linear models with ordered predictors","Rufibach","Computational Statistics & Data Analysis",2010,"10.1016\u002Fj.csda.2010.01.014",{"citationText":37,"title":38,"authors":39,"source":40,"year":41,"doi":42,"url":10},"Doerr (2014). A lower bound for the discrepancy of a random point set. Journal of Complexity. doi:10.1016\u002Fj.jco.2013.06.001","A lower bound for the discrepancy of a random point set","Doerr","Journal of Complexity",2014,"10.1016\u002Fj.jco.2013.06.001",[44,47,50],{"question":45,"answer":46},"Sự khác biệt giữa giới hạn dưới (lower bound) và phần tử nhỏ nhất (minimum) là gì?","Phần tử nhỏ nhất (minimum) của một tập hợp bắt buộc phải thuộc về chính tập hợp đó; trong khi một giới hạn dưới (hoặc cận dưới đúng infimum) có thể thuộc hoặc không thuộc về tập hợp đang xét (ví dụ khoảng mở (0, 1) có infimum là 0 nhưng không có phần tử nhỏ nhất).",{"question":48,"answer":49},"Tiên đề hoàn chỉnh của tập số thực Dedekind phát biểu gì về cận dưới?","Mọi tập con khác rỗng của tập số thực R bị chặn dưới đều có một cận dưới lớn nhất (infimum) duy nhất thuộc R.",{"question":51,"answer":52},"Khái niệm giới hạn dưới trong lý thuyết độ phức tạp thuật toán (ký hiệu Omega) có ý nghĩa gì?","Omega(g(n)) biểu thị tốc độ tăng trưởng tiệm cận tối thiểu về thời gian hoặc không gian nhớ mà mọi thuật toán giải quyết bài toán đó đều phải tiêu tốn trong trường hợp xấu nhất (ví dụ sắp xếp so sánh có giới hạn dưới Omega(n log n)).",{"id":54,"researcherId":10,"name":55,"imageUrl":56},1,"Nguyễn Ngọc Sơn","https:\u002F\u002Flh3.googleusercontent.com\u002Fa\u002FACg8ocLGfGsF1nYQqYK5BasTLhNu1dBrBXg2fcEgBNPXJ0p2gqLQnO7i=s96-c",{"id":58,"researcherId":10,"name":59,"imageUrl":60},2681,"Cuong Ta","https:\u002F\u002Flh3.googleusercontent.com\u002Fa\u002FACg8ocKFuWh0ZD601Hp0_V_2xAK3kIOs20Kyv3V5ZLBo6fwfjyymJYzE=s96-c",[62,63,64,65,66,67,68,69,70,71],"định lý hội tụ","hàm mục tiêu","tối thiểu hóa","tính ổn định","thuật toán tối ưu","bất đẳng thức","biến ngẫu nhiên","khoảng tin cậy","tính hiệu quả","ứng dụng khoa học",10,true,"PUBLISHED","2025-04-27T05:16:42.536+00:00","2026-09-10T11:11:24.409+00:00","2025-09-04T04:01:48.666+00:00","2026-09-10T11:11:23.778+00:00",342,[81,84,87,90,93,96,99,102,105,108],{"id":82,"title":83,"term":82,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"toán cao cấp","Toán cao cấp là gì? Các nghiên cứu khoa học về Toán cao cấp",{"id":85,"title":86,"term":85,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"tối ưu hoá","Tối ưu hoá là gì? Các nghiên cứu khoa học về Tối ưu hoá",{"id":88,"title":89,"term":88,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"lqr tự chỉnh","LQR tự chỉnh là gì? Các công bố khoa học về LQR tự chỉnh",{"id":91,"title":92,"term":91,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"lý thuyết lượng tử","Lý thuyết lượng tử là gì? Các nghiên cứu khoa học ",{"id":94,"title":95,"term":94,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"ligand","Ligand là gì? Các nghiên cứu khoa học về Ligand",{"id":97,"title":98,"term":97,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"giải thuật di truyền","Giải thuật di truyền là gì? Các công bố khoa học về Giải thuật di truyền",{"id":100,"title":101,"term":100,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"probability","Probability là gì? Các nghiên cứu khoa học về Probability",{"id":103,"title":104,"term":103,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"phức hợp","Phức hợp là gì? Các nghiên cứu khoa học về Phức hợp",{"id":106,"title":107,"term":106,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"micelle","Micelle là gì? Các bài nghiên cứu khoa học về Micelle",{"id":109,"title":110,"term":109,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"hồi quy phân vị","Hồi quy phân vị là gì? Các bài nghiên cứu khoa học"]