Kết quả tìm kiếm

'''Giả thuyết continuum''' hay '''bài toán continuum''' là một [[giả thuyết]] [[toán học]], cho rằng không có [[tập hợp]] nào có [[lực lượng (tập hợp)| *Quan hệ so sánh giữa hai tập hợp: Tập hợp X được gọi là có lực lượng nhỏ hơn lực lượng của tập Y nếu [[ánh xạ]] từ X vào Y… …

== Chứng minh == …\rangle</math> là một nhóm cyclic sinh bởi phần tử <math>a \in G</math>. Giả sử <math>H\,</math> là nhóm con của <math>G\,</math>. …

…ố [[chiều VC]] nhỏ có thể chia đôi một tập hợp cho trước. Bổ đề được chứng minh bởi [[Vladimir Vapnik|Vapnik]]&ndash;[[Alexey Chervonenkis|Chervonenkis]]<r …2=A. Ya.|last2=Chervonenkis|year=1971|issue=2}}</ref> và sau đó được chứng minh lại bởi [[Sauer]]<ref name=sauer72 /> và [[Shelah]]<ref>{{chú thích tạp chí …

…ột [[giả thuyết]] trong nhánh [[lý thuyết đồ thị]] và [[cơ học thống kê]], được đề xuất bởi [[Jeff Kahn]] và [[Gil Kalai]] trong 2006.<ref name=":0">{{chú …g hạn, cho [[mạng ngẫu nhiên]] có <math>N</math> nút, trong đó mỗi cạnh sẽ được thêm vào với xác suất <math>p</math>, ít có khả năng đồ thị đó sẽ có [[chu …

…''phép chia với dư''' là một định lý trong [[lý thuyết số]]. Phép chia này được ứng dụng trong [[giải thuật Euclid]] tìm ước chung lớn nhất của hai số nguy Giả sử cho hai số nguyên ''a'' và ''d'', với ''d'' ≠ 0 …

…trong tác phẩm ''[[Cơ sở (Euclid)|Cơ sở]]'' của ông. Có một số cách chứng minh khác nữa cho định lý này. == Chứng minh của Euclid == …

…n'' là tổng của tất cả các [[Chia hết|ước]] của ''n'' và nhỏ hơn ''n''. Nó được sử dụng để mô tả các [[số nguyên tố]], [[Số hoàn thiện|số hoàn hảo]][[Số lư …một trong những "đối tượng yêu thích" của nhà toán học [[Paul Erdos]]. Nó được sử dụng để mô tả vài lớp số học sau: …

…{Pi}} với kết quả, mô tả nó là "không thể cưỡng lại việc đề cập" đến chứng minh này trong bối cảnh trên.<ref>{{Chú thích|isbn=0-691-09983-9}}</ref> …rac|22|7}} theo phương pháp được sử dụng trong chứng minh này hơn để chứng minh rằng {{Pi}} là xấp xỉ 3.14159. …

…]] (1912) về số nguyên tố; {{as of|2022|lc=y}}, giả thuyết chưa được chứng minh đúng hay sai. …i ''n'' đủ lớn. [[Harald Cramér]] đồng thời cũng chứng minh rằng từ [[giả thuyết Riemann]] sẽ suy ra cận yếu hơn <math>O(\sqrt p\log p)</math> trên khoảng… …

'''Định lý Cauchy''' là một định lý trong lý thuyết nhóm được đặt tên theo tên của nhà toán học người Pháp [[Augustin Louis Cauchy]]. Địn …n cyclic của <math>G</math> có cấp <math>p</math> được sinh bởi phần tử đã được nói tới trong định lý Cauchy. …

…n theo nhà toán học [[Peter D. T. A. Elliott]] và [[Heini Halberstam]], và được phát biểu bởi họ vào năm 1968.<ref>{{cite encyclopedia|year=1970|title=Symp Để phát biểu giả thuyết cần một số ký hiệu sau: Gọi <math>\pi(x)</math> là [[hàm đếm số nguyên tố] …

…ác chứng minh khác của {{harvtxt|Radon|1921}} và {{harvtxt|König|1922}} đã được đăng. Định lý Helly đưa ra khái niệm [[gia đình Helly]]. Giả sử …

…hức không với hệ số phức có số nghiệm phức bằng bậc của nó, nếu mỗi nghiệm được tính với số bội của nó. …. Thêm vào đó, nó không hề cơ bản đối với [[đại số]] hiện đại, định lý này được đặt tên khi các nghiên cứu đại số vào thời điểm đó là giải các phương trình …

…hứng minh đơn giản sử dụng [[bất đẳng thức số giao điểm]] của [[đồ thị (lý thuyết đồ thị)|đồ thị]].<ref name="Székely">{{chú thích tạp chí| last=Székely | fi == Chứng minh == …

…thuyết Polignac''' được đề xuất bởi [[Alphonse de Polignac]] trong 1849 và được phát biểu như sau:<ref>{{chú thích tạp chí |last1=de Polignac |first1=A. |t …blisher=Polymath|accessdate=2014-03-27}}</ref> Hơn nữa, nếu giả định [[giả thuyết Elliott–Halberstam]] và dạng tổng quát của nó, thì trang wiki của dự án Pol …

…cộng]]). Năm 1936 [[Paul Erdős|Erdős]] và [[Paul Turán|Turán]] đưa ra giả thuyết <ref name="erdos turan">{{chú thích|authorlink1=Paul Erdős|first1=Paul|last …{{MathSciNet|id=0369311}}|doi=10.1007/BF02018670}}.</ref> đưa ra một chứng minh khác cho kết quả này năm 1972. …

Trong [[lý thuyết xác suất]], '''chặn Chernoff''', đặt tên theo [[Herman Chernoff]], cho một Nó có liên hệ với [[bất đẳng thức Bernstein (lý thuyết xác suất)|bất đẳng thức Bernstein]], và [[bất đẳng thức Hoeffding]]. …

…fied, and bibliography of sources for data of the four kinds of proofs|tác giả=Elisha Scott Loomis|website=[[Education Resources Information Center]]|nhà …của phát biểu định lý. Trong bối cảnh yêu cầu các định lý phải được chứng minh, khái niệm của một định lý về cơ bản là ''[[Suy diễn logic|suy luận]]'', tr …

Trong [[lý thuyết số]], một '''dãy Sidon''' (hay '''tập hợp Sidon'''), đặt theo tên của nhà… …quát vẫn chưa được giải đáp sau gần 80 năm. Gần đây, lời giải cuối cùng đã được tìm ra <ref>{{chú thích|first1=J.|last1=Cilleruelo|author1-link=Javier Cill …

…ố]] được đặt tên theo nhà toán học người [[Bỉ]] [[René Goormaghtigh]]. Giả thuyết phát biểu rằng nghiệm [[số nguyên|nguyên]] không tầm thường duy nhất của [[ …phụ thuộc <math>r</math> và <math>s</math>. {{harvtxt|Yuan|2005}} đã chứng minh rằng khi <math>m=3</math> và <math>n</math> lẻ, phương trình này không có… …