Trang chủ

Javascript bị vô hiệu

Javascript bị vô hiệu, một vài chức năng sẽ không hoạt động. Vui lòng bật lại Javascript để sử dụng đầy đủ các chức năng.

Chú ý

Hệ thống gửi email của diễn đàn đang gặp vấn đề với một số tài khoản Gmail do chính sách bảo mật tăng cường của Google. Nếu bạn không nhận được email từ diễn đàn, xin hãy tạm thời dùng một địa chỉ email khác ngoài Gmail (trước hết bạn nên kiểm tra thùng rác hoặc thư mục spam của hộp thư, hoặc dùng chức năng tìm kiếm trong hộp thư với từ khoá "diendantoanhoc.org" để chắc chắn là email không nhận được).

BQT đang cố gắng khắc phục, mong các bạn thông cảm.

Bất biến của đại số đa thức dưới tác động của nhóm hữu hạn

04-12-2022

Gửi bởi nmlinh16 trong Toán học hiện đại

1 - GIỚI THIỆU Một định lý quen thuộc nói rằng mọi đa thức đối xứng đều biểu diễn được (một cách duy nhất) dưới dạng hàm đa thức theo các đa thức đối xứng sơ cấp. Cụ thể, nếu ta xét tác động hiển nhiên của nhóm đối xứng $S_n$ trên đại số đa thức $K[x_1,\ldots,x_n]$ (với $K$ là một trường tùy ý) thì ta có đẳng cấu đại số $$K[y_1,\ldots,y_n] \to K[x_1,\ldots,x_n]^{S_n} := \{f \in K[x_1,\ldots,x_n]: \forall \sigma \in S_n, \sigma \cdot f = f\}$$ $$y_i \mapsto e_i,$$ trong đó $e_i$ là đa thức đối xứng sơ cấp thứ $i$, được định nghĩa bởi $$\begin{align*} e_1 & = x_1 + \cdots + x_n, \\ e_2 & = \sum_{1 \le i < j \le n} x_i x_j, \\ \vdots \\ e_n & = x_1\cdots x_n.\end{align*}$$Dễ thấy trong trường hợp trên, nhóm $S_n$ tác động lên $K[x_1,\ldots,x_n]$ bằng các đẳng cấu $K$-đại số phân bậc. Lý thuyết bất biến của nhóm hữu hạn quan tâm đến bài toán tổng quát: cho $G$ là một nhóm ma trận hữu hạn (một nhóm con của $\text{GL}_n(K)$), nó tác động lên không gian các đa thức thuần nhất bậc 1 (sinh bởi $x_1,\ldots,x_n$), vì thế tác động lên $K[x_1,\ldots,x_n]$ một cách tự nhiên. Ta biết gì về đại số con bất biến $K[x_1,\ldots,x_n]^G$? Về mặt tính toán toán, người ta quan tâm đến các câu hỏi sau. Tìm một hệ sinh (theo nghĩa $K$-đại số) $f_1,\ldots,f_m$ cho $K[x_1,\ldots,x_n]^G$, tức là ta có toàn cấu $$K[y_1,\ldots,y_m] \to K[x_1,\ldots,x_n]^G, \qquad y_i \mapsto f_i.$$ (Ta sẽ thấy rằng hệ sinh như vậy luôn tồn tại theo định lý hữu hạn Hilbert, và kết quả vẫn đúng n...

Toán học như văn hóa và tri thức

27-10-2022

Gửi bởi bangbang1412 trong Toán học lý thú

Toán học như văn hóa và tri thức - Mathematics as Culture and Knowledge Toán học là một hoạt động tri thức, được cho là một trong những hoạt động tinh tế nhất từng được tạo ra bởi văn minh nhân loại. Hermann Hesse phác họa chân dung những hoạt động của các nhà toán học một cách ẩn dụ trong Glass Bead Game. Có lẽ đó là nỗ lực văn học tốt nhất để bắt dù chỉ một cái nhìn thoáng qua những hoạt động nội tại trong xã hội toán học. Người ta không phê phán một tác phẩm hư cấu bằng sự thiếu chính xác của nó, nhưng sẽ thực sự khó để nói cái gì đó có nghĩa về việc thế nào là làm toán. Có khá nhiều các nhà toán học thừa hưởng quan điểm kiểu Plato về toán học. Điều này có nghĩa là họ có niềm tin rằng các đối tượng và xây dựng toán học có một kiểu tồn tại nào đó trong "thế giới của những ý tưởng", tồn tại độc lập với trí óc con người. Như trong trường hợp của thiên đường thần thoại, những người khởi xướng niềm tin đó tỏ ra khá mập mờ về vị trí và tính nhất quán của thế giới Plato ngoại lai này. Một lý do thường được viện ra để củng cố góc nhìn Plato là sự hiệu quả của toán học trong việc mô hình hóa thế giới vật lý. Không nghi ngờ gì những định luật Kepler cuối cùng cũng có thể được quan sát và thông hiểu bởi bất kì trí thông minh công nghệ nào sống trên một hình tinh bao quanh bởi lực hấp dẫn để quay quanh một ngôi sao (nhưng liệu một khám phá như vậy có tuân theo tiến trình mà chúng ta biết, hành tinh có xoay quanh hai ngôi sao không?). Tuy nhiên người ta khó có thể viện ra một...

Các nhà vật lý lượng tử tiên phong giành giải Nobel Vật lý

21-10-2022

Gửi bởi Nxb trong Tin tức - Vấn đề - Sự kiện

Mình dịch lại bài viết “Pioneering Quantum Physicists Win Nobel Prize in Physics” trên quantamagazine. Bài viết gốc ở đây https://www.quantama...ysics-20221004/ Nếu có lỗi sai mọi người hãy gửi tin nhắn cho mình. ———————————-Các nhà vật lý lượng tử tiên phong giành giải Nobel Vật lý Các nhà vật lý Alain Aspect, John Clauser và Anton Zeilinger đã giành được giải Nobel Vật lý năm 2022 cho các thí nghiệm chứng minh bản chất lượng tử kỳ lạ sâu xa của thực tại. Các thí nghiệm của họ đã cùng nhau thiết lập sự tồn tại của một hiện tượng lượng tử kỳ lạ được gọi là hiện tượng liên đới, nơi hai hạt tách xa nhau dường như chia sẻ thông tin mặc dù không có cách giao tiếp nào có thể hình dung được. Hiện tượng liên đới nằm ở trung tâm của một cuộc đụng độ nảy lửa vào những năm 1930 giữa những người khổng lồ vật lý, Albert Einstein ở một bên, và một bên là Niels Bohr và Erwin Schrödinger về cách vũ trụ vận hành ở cấp độ cơ bản. Einstein tin rằng tất cả các khía cạnh của thực tế nên có một sự tồn tại cụ thể và hoàn toàn có thể biết được. Tất cả các vật thể - từ mặt trăng đến photon ánh sáng - phải có các đặc tính được xác định chính xác có thể được khám phá thông qua phép đo. Tuy nhiên, Bohr, Schrödinger và những người ủng hộ cơ học lượng tử sơ khai khác đã phát hiện ra rằng thực tế về cơ bản là không chắc chắn; một hạt không có các đặc tính nhất định cho đến thời điểm đo. Sự liên đới nổi lên như một cách quyết định để phân biệt giữa hai phiên bản có thể có c...

K-lý thuyết Milnor

01-09-2022

Gửi bởi bangbang1412 trong Toán học hiện đại

Trong topic này mình muốn giới thiệu về K-lý thuyết Milnor (Milnor's K-theory) và kết nối nó với một số lý thuyết đối đồng điều như đối đồng điều Galois, nhóm Bloch-Chow, đối đồng điều motivic. Về mặt lịch sử, ban đầu K-lý thuyết đại số (algebraic K-theory) chỉ định nghĩa được cho $K_0,K_1,K_2$ (Grothendieck định nghĩa $K_0$) và các tính toán trên các nhóm này đã rất phức tạp rồi, về sau K-lý thuyết đại số chỉ được định nghĩa và nghiên cứu một cách có hệ thống từ sau Quillen khi ông đưa lý thuyết đồng luân vào các context khác của toán học. Trước đó một định lý của Matsumoto cho ta mô tả $K_2$ cụ thể dưới dạng phần tử sinh và quan hệ, Milnor dựa trên định nghĩa này đưa ra một định nghĩa ad-hoc cho một K-lý thuyết khác, gọi là K-lý thuyết Milnor, nó chứa một phần thông tin của K-lý thuyết đại số (theo nghĩa Quillen + cổ điển) theo nghĩa sau khi tensor với $\mathbb{Q}$ nó được nhúng vào $K$-lý thuyết đại số. Để thuận tiện cho người đọc, mình sẽ định nghĩa lại một số nhóm cổ điển $K_0,K_1,K_2$ và một số tính chất cơ bản (không chứng minh). Nhóm K_0 Cố định một vành $R$ (giao hoán có đơn vị). Nhắc lại rằng một module xạ ảnh là một hạng tử trực tiếp của một module tự do nào đó. Định nghĩa. Nhóm $K_0(R)$ được định nghĩa bởi công thức sau$$K_0(R) = \bigoplus \mathbb{Z}[P]/\sim,$$trong đó tổng trực tiếp lấy trên lớp đẳng cấu các $R$-module xạ ảnh hữu hạn sinh, quan hệ $\sim$ được cho bởi $[P] + [Q] = [P \oplus Q]$. Ta cũng có thể trang bị cho $K_0(R)$ một cấu t...

Ghi chú về đối đồng điều động lực

26-08-2022

Gửi bởi bangbang1412 trong Toán học hiện đại

Gửi mọi người một self-study note của mình về đối đồng điều động lực (motivic cohomology) phát triển bởi Voevodsky. Đối đồng điều động lực được dự đoán tồn tại bởi Beillinson, cụ thể, ông dự đoán tồn tại một phức $\mathbb{Z}(n)$ sao cho hypercohomology trên Zariski site này cho ta một đối đồng điều $H^{*,n}(X,\mathbb{Z})=\mathbb{H}_{Zar}^*(X,\mathbb{Z}(n))$ mà khi hạn chế tại một số bậc đặc biệt ta thu được K-lý thuyết Milnor, nhóm Bloch-Chow bậc cao và đồng thời có một dãy phổ hội tụ về K-lý thuyết Quillen sao cho sau khi tensor với $\mathbb{Q}$ dãy phổ này suy biến về $\gamma$-lọc của K-lý thuyết Quillen. Nổi tiếng hơn, giả thuyết Bloch-Kato-Milnor dự đoán tồn tại một đẳng cấu $K^M_*(F)/l \simeq H^*_{et}(F,\mu_l^{\otimes *})$ trong đó $F$ là một trường, $l$ nguyên tố sao cho $1/l \in F$ được Voevodsky chứng minh tương đương với giả thuyết Beillinson-Lichtembaum $H^{p,q}(X,\mathbb{Z}/l) \simeq H^p_{et}(X,\mu_l^{\otimes q})$. Voevodsky sau đó đã được huy chương Fields vì chứng minh trọn vẹn giả thuyết Bloch-Kato bằng cách xây dựng một lớp đa tạp dựa trên công trình của Rost. Với mình đây là thành công đầu tiên hướng tới lý thuyết motive của Grothendieck vì giả thuyết Bloch-Kato đã kết nối hai loại bất biến: transcendental (nhóm Chow) và arithmetic (đối đồng điều etale). Đối đồng điều động lực tới nay có rất nhiều cách xây dựng, có thể kể đến: Như hypercohomology trên Zarikis hoặc Nisnevich site. Như nhóm Bloch-Chow bậc cao. Như hom-set trong phạm trù motive hình học $...

Ngày hội toán học: Số nguyên tố và giải thưởng Fields

11-08-2022

Gửi bởi Nesbit trong Lịch sử toán học

[Nhân có bạn nhắc đến giả thuyết về các số nguyên tố sinh đôi, xin chia sẻ một bài viết gần đây của GS. Vũ Hà Văn viết trên blog vào dịp James Maynard nhận được Huy chương Fields năm nay. Giọng văn của giáo sư vẫn hài hước như mọi khi, đặc biệt là phần chốt hạ bằng hai câu thơ lục bát.] Nhà toán học thứ hai được giải Fields năm nay là anh J. Maynard, vỡi những công trình về số nguyên tố. Số nguyên tố có lẽ là một trong những chủ đề lâu đời nhất và được chú ý tới nhất trong toán học. Các nhà hiền triết Hy lập đáng kính đã nguyên cứu về nó, từ trước khi chúa Jesu ra đời. Rất có thể là trước cả khi Mỵ nương cưới Sơn tinh. Số nguyên tố là những số nguyên dương chỉ chia hết đươc cho chính nó. Ví dụ như 5; 6 không phải là số nguyên tố vì nó chia hết cho 2. Các số nguyên tố nhỏ nhất là 2,3,5,7,11,13,17,19, 23,29, 31, 37….Số 1, thấp cổ bé họng, không được vào hội. Thật ra lý do sâu xa hơn là vì một định lý, xưa như quả đất, là tất cả các số nguyên dương đều có thể viết dưới dạng tích của một số nguyên tố, ví dụ như 6=2 nhân 3. Ai cũng biết là nhân với 1 thì chả thêm vị gì, nên chàng đã bị loại. Từ thời Napoleon, người ta đã biết là có vô hạn số nguyên tố. Tức cái dãy 2,3,5…ở trên nó sẽ kéo dài vô hạn. Một trong những câu hỏi nổi tiếng và trung tâm nhất của toán học, là cái sự kéo dài đó nó diễn ra như thế nào. Chẳng hạn bạn thấy ở trên có tới 8 số nguyên tố giưã 1 và 20, nhưng giữa 21 và 40 chỉ còn 4 số. Tức tần suất xuất hiện của số nguyên tố ngày một giảm đi. Cũng như số lần...

IMO 2022: Việt Nam giành được 2 HCV, 2 HCB, 2 HCĐ, xếp thứ 4 toàn đoàn

15-07-2022

Gửi bởi Nesbit trong Thi HSG Quốc gia và Quốc tế

Kì thi lần này đội tuyển chúng ta xếp thứ 4, sau Trung Quốc, Hàn Quốc, và Mỹ. Đây là thành tích rất cao. Thành tích cá nhân của đội Việt Nam như sau: Em Ngô Quý Đăng là một trong 10 thí sinh giành được điểm tuyệt đối 42/42. Đây cũng là HCV thứ hai của em (HCV đầu tiên giành được năm 2020 lúc đang học lớp 10 , rất tiếc là năm 2021 lại rớt vòng TST).

IMO 2022

12-07-2022

Gửi bởi hoangvipmessi97 trong Thi HSG Quốc gia và Quốc tế

Ngày thi thứ nhấtBài 1: Ngân hàng Oslo có phát hành hai loại tiền xu: đồng vàng (kí hiệu bởi A) và đồng bạc (kí hiệu bởi B). Mai có $n$ đồng vàng và $n$ đồng bạc được sắp xếp thành một dãy tùy ý. Một dãy con gồm các đồng xu liên tiếp thuộc cùng một loại được gọi là một chuỗi. Với số nguyên dương cố định $k \leq 2n$, Mai thực hiện liên tiếp các bước chuyển như sau: cô ta xác định chuỗi dài nhất có chứa đồng xu thứ $k$ từ bên trái và chuyển tất cả các đồng xu của chuỗi này về phía trái của hàng. Ví dụ, nếu $n=4$ và $k=4$, bắt đầu với cách xếp AABBBABA, quá trình thực hiện các bước chuyển như sau:AABBBABA $\rightarrow$ BBBAAABA $\rightarrow$ AAABBBBA $\rightarrow$ BBBBAAAA $\rightarrow$ BBBBAAAA $\rightarrow$ ...Xác định tất cả các cặp $(n,k)$ với $1 \leq k \leq 2n$ sao cho với mọi cách sắp xếp ban đầu, đến một lúc nào đó trong quá trình thực hiện các bước chuyển, $n$ đồng xu ở bên trái của hàng sẽ thuộc cùng một loại. Bài 2: Gọi $\mathbb{R}^+$ là tập các số thực dương. Tìm tất cả các hàm số $f: \mathbb{R}^+ \rightarrow \mathbb{R}^+$ sao cho với mọi $x \in \mathbb{R}^+$ có đúng một giá trị $y \in \mathbb{R}^+$ thỏa mãn$xf(y)+yf(x) \leq 2$. Bài 3: Cho $k$ là một số nguyên dương và $S$ là một tập hữu hạn các số nguyên tố lẻ. Mi muốn xếp các phần tử của $S$ quanh một vòng tròn sao cho tích của hai số cạnh nhau bất kì có thể biểu diễn được dưới dạng $x^2 + x + k$ với $x$ nguyên dương nào đó. Biết rằng, hai cách xếp nhận được từ nhau qua phép quay và phép phản...

Định lý phân loại mặt đóng

09-07-2022

Gửi bởi nmlinh16 trong Toán học hiện đại

Gửi các thành viên trên diễn đàn ghi chú của mình về định lý phân loại mặt đóng, một định lý cơ bản của tô pô. Học sinh phổ thông có thể đọc được ghi chú này.https://drive.google...iew?usp=sharing