Math Labs

Timothy Gowers

hoạt động khoảng năm 1963, Marlborough, Wiltshire, Anh

Giải tíchTổ hợp và Toán rời rạcHuy chương Fields 1998

Nhà toán học Anh kết nối lý thuyết không gian Banach với tổ hợp, chứng minh định lý lưỡng phân Gowers cho không gian Banach và một chứng minh mới định lượng cho định lý Szemerédi.

William Timothy Gowers sinh tại Marlborough, Wiltshire, trong một gia đình học thuật, học tại Eton College và Trinity College, Cambridge, nơi ông hoàn thành tiến sĩ năm 1990 dưới sự hướng dẫn của Béla Bollobás về tổ hợp và lý thuyết không gian Banach. Phần lớn sự nghiệp ông gắn với Cambridge: giảng viên năm 1995, Giáo sư Rouse Ball về Toán học năm 1998, và nghiên cứu giáo sư của Trinity College. Năm 2020 ông được bổ nhiệm giữ ghế tổ hợp tại Collège de France, đồng thời vẫn giữ vị trí ở Cambridge.

Công trình của Gowers kết nối hai lĩnh vực vốn phát triển gần như tách biệt. Trong lý thuyết không gian Banach, ông và Bernard Maurey xây dựng không gian đầu tiên không có dãy cơ bản vô điều kiện, và định lý lưỡng phân sau đó của Gowers chỉ ra rằng các ví dụ 'kỳ quái' là không thể tránh: mọi không gian Banach đều chứa không gian con hoặc bất khả phân di truyền, hoặc có cơ sở vô điều kiện. Trong tổ hợp, chứng minh giải tích Fourier của ông cho định lý Szemerédi — rằng tập số nguyên có mật độ dương chứa cấp số cộng dài — lần đầu đưa ra chặn định lượng hợp lý và đưa vào các công cụ như chuẩn độ đều Gowers, là nền cho chứng minh định lý Green–Tao sau này.

Gowers nhận Huy chương Fields năm 1998, được phong tước hiệp sĩ năm 2012, và từng làm chủ tịch Hội Toán học London. Ông sáng lập dự án Polymath — thử nghiệm về toán học hợp tác trực tuyến quy mô lớn — và là người ủng hộ mạnh mẽ xuất bản truy cập mở, trong đó có tạp chí Discrete Analysis do ông sáng lập và làm tổng biên tập.

Nơi làm việc: Đại học Cambridge, Collège de France

Vương quốc Anh

Công trình đoạt giải

Huy chương Fields 1998Gowers nhận huy chương vì kết hợp phương pháp giải tích hàm và tổ hợp để giải các bài toán lâu đời ở cả hai lĩnh vực. Trong lý thuyết không gian Banach, cùng Bernard Maurey ông xây dựng một không gian Banach không có dãy cơ bản vô điều kiện — giải quyết câu hỏi mở từ thập niên 1930 — và dẫn tới định lý lưỡng phân của ông: mọi không gian Banach vô hạn chiều đều chứa một không gian con hoặc bất khả phân di truyền, hoặc có cơ sở vô điều kiện. Trong tổ hợp ông đưa ra chứng minh mới cho định lý Szemerédi về cấp số cộng với chặn tường minh cải thiện vượt bậc, xây dựng cỗ máy giải tích Fourier đặt nền cho tổ hợp cộng tính hiện đại.

Đóng góp, liên kết tới thư viện