Bối cảnh và vấn đề nghiên cứu

Trong toán học ứng dụng và giải tích hiện đại, việc giải quyết các mô hình thực tế thuộc các lĩnh vực khoa học tự nhiên như Vật lý và Sinh học thường dẫn đến việc nghiên cứu các bài toán phương trình vi phân và phương trình đạo hàm riêng. Vấn đề nghiên cứu định tính nghiệm của bài toán đòi hỏi phải xây dựng các không gian hàm cụ thể phù hợp để bài toán đạt tính đặt chỉnh (tức tồn tại và duy nhất nghiệm), đồng thời đảm bảo nghiệm thu được thỏa mãn các tính chất giải tích mong muốn. Đặc biệt, đối với việc phân tích dáng điệu tiệm cận nghiệm của các phương trình vi phân - đạo hàm riêng tiến hóa, việc hiểu rõ cấu trúc của các lớp không gian hàm và các đặc trưng giải tích của chúng đóng vai trò nền tảng. Khóa luận tốt nghiệp "Về các tính chất của một số không gian hàm" của tác giả Nguyễn Hoàng Thứ (ngành Toán giải tích, Khoa Khoa học Tự nhiên, Trường Đại học Hồng Đức, 2018) được thực hiện nhằm hệ thống hóa lý thuyết giải tích hàm phục vụ định hướng nghiên cứu này.

Mục tiêu nghiên cứu của khóa luận được xác định gồm hai nội dung:

  1. Nắm rõ các khái niệm, tính chất, định lý cơ bản của các không gian hàm giải tích.
  2. Xây dựng cơ sở nghiên cứu ban đầu cho hướng nghiên cứu phương trình vi phân - đạo hàm riêng.

Nhiệm vụ nghiên cứu cụ thể bao gồm:

  1. Trình bày một cách hệ thống các không gian hàm và các tính chất cấu trúc của chúng.
  2. Thiết lập và chứng minh chi tiết các kết quả giải tích cơ bản liên quan đến các không gian hàm này.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Các lớp không gian hàm cụ thể gồm không gian các hàm liên tục $C^0(\Omega)$, không gian các hàm khả vi liên tục $C^1(\Omega)$, không gian các hàm Lipschitz $\text{Lip}(\Omega)$ và không gian các hàm $p$-khả tích $L^p(\Omega)$ (được xem xét dưới dạng các không gian Banach).
  • Phạm vi nghiên cứu: Tập trung vào không gian hàm xác định trên tập mở $\Omega \subset \mathbb{R}^n$, tập compact $K \subset \mathbb{R}^n$ hoặc tập $\mathbb{R}^n$; các chứng minh giải tích chi tiết được minh họa trọng tâm trên trường hợp một chiều ($n = 1$, khoảng mở $\Omega = (a, b)$ hoặc đoạn compact $[a, b]$).

Cơ sở lý thuyết và phương pháp

Khóa luận vận dụng hệ thống lý thuyết giải tích hàm và lý thuyết độ đo - tích phân Lebesgue:

  • Cấu trúc không gian định chuẩn, không gian Banach, không gian Hilbert, không gian đối ngẫu $E'$.
  • Các định lý nền tảng của giải tích hàm: Định lý Hahn-Banach (dạng hình học thứ hai), nguyên lý cực đại Hausdorff, định lý Riesz về tính compact của hình cầu đơn vị trong không gian vô hạn chiều, định lý biểu diễn Riesz cho không gian đối ngẫu của $L^p$, định lý Riesz - Fischer.
  • Các định lý giải tích cổ điển và tôpô mêtric: Định lý xấp xỉ Weierstrass, định lý Arzelà - Ascoli, định lý M. Riesz - Fréchet - Kolmogorov, bổ đề Urysohn, định lý Lusin, định lý Radon-Nikodym cho độ đo có dấu, định lý hội tụ bị trội Lebesgue và định lý Fubini - Tonelli.

Phương pháp nghiên cứu được tác giả sử dụng:

  • Phương pháp phân tích và suy diễn giải tích lý thuyết: Thiết lập cấu trúc chuẩn, kiểm tra tính đầy đủ (tính chất Cauchy và hội tụ), khảo sát đẳng cự, đồng phôi và đẳng cấu tôpô giữa các không gian hàm.
  • Phương pháp xấp xỉ giải tích: Kỹ thuật xấp xỉ đa thức với hệ số hữu tỷ $\mathbb{Q}[x]$, kỹ thuật phân đoạn hàm đơn giản đo được và kỹ thuật làm mịn giải tích (mollifiers/tích chập mịn).
  • Kỹ thuật chứng minh tôpô: Quá trình chéo Cantor (Cantor diagonal argument) để trích dãy con hội tụ, phương pháp xây dựng họ tập mở rời nhau không đếm được để chứng minh tính không tách được.
  • Nguồn dữ liệu: Toàn bộ hệ thống định nghĩa, bổ đề, mệnh đề và định lý toán học giải tích chuẩn tắc được trích xuất và chứng minh giải tích thuần túy.

Nội dung chính theo từng chương

Chương 1: Một số kiến thức chuẩn bị

Chương này trình bày các khái niệm mở đầu về giải tích hàm, tôpô mêtric và mối tương quan giữa không gian véctơ hữu hạn chiều và vô hạn chiều:

  • So sánh giữa không gian hữu hạn chiều và vô hạn chiều: Tác giả làm rõ ba cấp độ đẳng cấu gồm đẳng cấu tuyến tính, đẳng cấu tôpô và đẳng cấu mêtric giữa hai không gian véctơ định chuẩn $E$ và $F$. Định nghĩa không gian đối ngẫu $E' := {f: E \to \mathbb{R} : f \text{ tuyến tính liên tục}}$ trang bị chuẩn $|f|{E'} := \sup{x \neq 0} \frac{|f(x)|}{|x|E}$. Tác giả chứng minh định lý khẳng định $(E', |\cdot|{E'})$ luôn là một không gian Banach thông qua tính đầy đủ của trường số thực $\mathbb{R}$.
  • Không gian hữu hạn chiều: Với $\dim_\mathbb{R} E = n < \infty$, không gian $E$ đẳng cấu tuyến tính và đẳng cấu tôpô với $\mathbb{R}^n$. Mọi chuẩn trên không gian hữu hạn chiều đều tương đương và không gian đối ngẫu $E'$ đẳng cấu tôpô với $E$.
  • Không gian vô hạn chiều: Sự tồn tại cơ sở Hamel được bảo đảm bởi nguyên lý cực đại Hausdorff. Khác với trường hợp hữu hạn chiều, không gian vô hạn chiều $E$ và đối ngẫu $E'$ không nhất thiết đẳng cấu tôpô. Tác giả chứng minh Định lý 3: Không gian định chuẩn $(E, |\cdot|E)$ là tách được nếu không gian đối ngẫu $(E', |\cdot|{E'})$ là tách được. Chứng minh này sử dụng Mệnh đề 1 (hệ quả của định lý Hahn-Banach thứ hai về hình học: nếu $M \subset E$ là không gian con không trù mật và $x_0 \in E \setminus M$, tồn tại $f \in E'$ sao cho $\langle f, x \rangle = 0, \forall x \in M$ và $\langle f, x_0 \rangle = 1$).

Chương 2: Các không gian hàm và tính chất của chúng

Chương 2 là nội dung trọng tâm của khóa luận, nghiên cứu 4 lớp không gian hàm thông qua các tiêu chí: cấu trúc chuẩn, tính đầy đủ (Banach/Hilbert), tính compact, tính tách được và các tính chất giải tích chuyên biệt.

2.1 Không gian các hàm liên tục $C^0(\Omega)$

  • Cấu trúc: Với $\Omega \subset \mathbb{R}^n$ mở và bị chặn, không gian $C^0(\Omega)$ trang bị chuẩn vô cùng $|f|\infty = \sup{x \in \Omega} |f(x)|$. Tác giả chứng minh $(C^0(\Omega), |\cdot|_\infty)$ là không gian Banach vô hạn chiều trên $\mathbb{R}$.
  • Tính compact: Tác giả hệ thống hóa các tiên đề của tập compact trong không gian mêtric (Định lý 5: compact tương đương compact dãy, đầy đủ và bị chặn hoàn toàn, có tính chất Bolzano-Weierstrass). Nêu Định lý 6 (Định lý Riesz): Hình cầu đơn vị đóng $B_E$ compact khi và chỉ khi $\dim_\mathbb{R} E < \infty$. Chứng minh Định lý 7 (Định lý Arzelà - Ascoli): Họ $F \subset C^0(K)$ ($K$ compact) là compact khi và chỉ khi $F$ đóng, bị chặn và liên tục đều. Chứng minh sử dụng phương pháp quá trình chéo Cantor trên tập trù mật đếm được $D \subset K$. Nhận xét 4 chỉ ra định lý Arzelà - Ascoli không còn đúng khi miền xác định không compact, minh họa qua không gian $C^0_b(\mathbb{R})$ với dãy hàm tịnh tiến $f_h(x) = f(x+h)$.
  • Tính tách được: Trình bày Mệnh đề 2 (tiêu chuẩn không gian không tách được nếu tồn tại họ tập mở rời nhau không đếm được; áp dụng chỉ ra $l^\infty$ không tách được). Chứng minh Định lý 10: $(C^0(K), |\cdot|_\infty)$ là tách được khi $K$ compact, dựa trên định lý xấp xỉ Weierstrass với tập trù mật đếm được là tập các đa thức hệ số hữu tỷ $\mathbb{Q}[x]$.

2.2 Không gian của các hàm khả vi liên tục $C^1(\Omega)$

  • Cấu trúc: Định nghĩa lớp đạo hàm riêng $D_i f = \frac{\partial f}{\partial x_i} \in C^0(\Omega)$ và chuẩn $|f|{C^1} = \sum{|\alpha| \le 1} |D^\alpha f|{\infty, \Omega}$. Định lý 12 chứng minh $(C^1(\Omega), |\cdot|{C^1})$ là không gian Banach vô hạn chiều nhưng không phải là không gian Hilbert. Kỹ thuật chứng minh dựa trên việc xây dựng toán tử đẳng cự $T: C^1(\Omega) \to C^0(\Omega) \times C^0(\Omega)$ với $T(f) = (f, f')$ và chứng minh không gian ảnh $M = T(C^1(\Omega))$ là không gian con đóng.
  • Tính compact: Định lý 14 xác lập điều kiện compact: Họ $F \subset C^1(\Omega)$ compact khi và chỉ khi $F$ và các họ đạo hàm riêng $F_i = {D_i f : f \in F}$ đóng, bị chặn và liên tục đều trong $(C^0(\Omega), |\cdot|\infty)$. Hình cầu đơn vị $B{C^1}$ không compact trong $C^1$ nhưng là tập compact tương đối trong $C^0$.
  • Tính tách được: Định lý 15 chứng minh $(C^1(\Omega), |\cdot|_{C^1})$ là không gian tách được thông qua phép đồng phôi vào không gian con của tích $C^0 \times C^0$.

2.3 Không gian của các hàm Lipschitz $\text{Lip}(\Omega)$

  • Cấu trúc: Hàm $f$ thỏa mãn $|f(x) - f(y)| \le L|x - y|$, với hằng số $\text{Lip}(f) = \sup_{x \neq y} \frac{|f(x) - f(y)|}{|x - y|}$. Chuẩn xác định bởi $|f|{\text{Lip}} = |f|\infty + \text{Lip}(f)$. Nêu định lý Rademacher về tính khả vi hầu khắp nơi của hàm Lipschitz. Định lý 18 chứng minh $\text{Lip}(\Omega)$ là không gian Banach vô hạn chiều và không là không gian Hilbert.
  • Quan hệ với $C^1(\Omega)$: Khi $\Omega$ lồi, mở và bị chặn, có quan hệ bao hàm $C^1(\Omega) \subset \text{Lip}(\Omega)$ (ánh xạ song Lipschitz). Mệnh đề 6 chứng minh với $n=1$ và $\Omega = (a, b)$ thì $|f|{\text{Lip}} = |f|{C^1}$. Nhận xét 10 chỉ ra tính chất này sai nếu miền $\Omega$ không lồi.
  • Tính compact và tách được: Hình cầu đơn vị $B_{\text{Lip}(\Omega)}$ là tập compact trong $(C^0(\Omega), |\cdot|\infty)$. Định lý 20 chứng minh $(\text{Lip}(\Omega), |\cdot|{\text{Lip}})$ là không gian không tách được, thông qua việc xây dựng họ hàm ${u_\alpha}_{\alpha \in I}$ ($I$ không đếm được) sinh ra họ hình cầu mở rời nhau bán kính 1.
  • Mở rộng hàm Hölder: Mệnh đề 7 chỉ ra nếu hàm thỏa mãn điều kiện Hölder với số mũ $\alpha > 1$ trên miền mở liên thông thì hàm đó bắt buộc phải là hàm hằng.

2.4 Không gian các hàm $p$-khả tích $L^p(\Omega)$

  • Cấu trúc: Định nghĩa không gian $L^p(A)$ với chuẩn $|f|{L^p} = \left(\int_A |f(x)|^p dx\right)^{1/p}$ ($1 \le p < \infty$) và chuẩn $|f|{L^\infty} = \inf{M > 0 : |f(x)| \le M \text{ h.k.n.}}$. Nêu định lý Riesz - Fischer về tính đầy đủ (Banach). Kết quả hội tụ theo chuẩn $L^p$ kéo theo sự tồn tại của dãy con hội tụ hầu khắp nơi và bị chặn bởi một hàm thuộc $L^p$.
  • Tính compact: Trình bày Định lý 22 (M. Riesz - Fréchet - Kolmogorov) sử dụng toán tử dịch chuyển $(\tau_v f)(x) = f(x+v)$. Họ $F \subset L^p(\Omega)$ là compact tương đối khi bị chặn và thỏa mãn điều kiện liên tục đồng đều theo phép tịnh tiến: $\lim_{v \to 0} |\tau_v f - f|_{L^p} = 0$ đều trên $F$. Hệ quả 5 áp dụng cho tập đo hữu hạn và nêu các phản ví dụ khi thiếu điều kiện dịch chuyển hoặc miền không có độ đo hữu hạn.
  • Tính tách được: Định lý 24 chứng minh $L^p(\Omega)$ tách được khi $1 \le p < \infty$ và không tách được khi $p = \infty$. Quá trình chứng minh kết hợp Bổ đề Urysohn, Định lý 26 (xấp xỉ hàm đo được bằng dãy hàm đơn giản tăng) và Định lý 27 (Định lý Lusin).
  • Không gian đối ngẫu: Thiết lập Định lý biểu diễn Riesz $(L^p(\Omega))' \cong L^{p'}(\Omega)$ với $1 \le p < \infty$ và $\frac{1}{p} + \frac{1}{p'} = 1$. Chứng minh được chia làm 3 bước:
    1. Chứng minh toán tử $T(u) = \int_\Omega u f dx$ là phép đẳng cự dựa trên bất đẳng thức Hölder và hàm kiểm tra dấu $f_u(x) = |u(x)|^{p'-2} u(x)$.
    2. Chứng minh tính toàn ánh khi $|\Omega| < \infty$ bằng cách xây dựng độ đo có dấu $\nu(E) = \varphi(\chi_E)$ và áp dụng định lý Radon-Nikodym.
    3. Mở rộng tính toàn ánh cho trường hợp miền đo vô hạn $|\Omega| = \infty$ qua dãy tập bị chặn tăng $\Omega = \bigcup_{h=1}^\infty \Omega_h$.
  • Support thiết yếu và xấp xỉ tích chập: Định nghĩa support thiết yếu $\text{spt}_e(f) = \mathbb{R}^n \setminus A_f$ (với $A_f$ là hợp các tập mở mà $f = 0$ hầu khắp nơi). Xây dựng dãy làm mịn (mollifiers) $\rho_h(x) = c h^n \rho(hx) \in C^\infty_c(\mathbb{R}^n)$ với $\int \rho_h dx = 1$. Chứng minh tính khả vi vô hạn của tích chập $f * \rho_h$ (Định lý 29) và Định lý 31 về tính trù mật của không gian $C^\infty_c(\Omega)$ trong $L^p(\Omega)$ ($1 \le p < \infty$).

Kết quả và đóng góp

Khóa luận đã tổng hợp và chứng minh các tính chất giải tích của 4 không gian hàm cơ bản trên miền mở bị chặn $\Omega \subset \mathbb{R}^n$:

Không gian hàm Chuẩn đặc trưng Tính chất Banach Tính chất Hilbert Tính tách được Tiêu chuẩn Compact chính
$C^0(\Omega)$ $|f|_\infty = \sup |f(x)|$ Có (Banach vô hạn chiều) Không Tách được (khi miền xác định compact) Định lý Arzelà - Ascoli (đóng, bị chặn, liên tục đều)
$C^1(\Omega)$ $|f|{C^1} = |f|\infty + \sum |D_i f|_\infty$ Có (Banach vô hạn chiều) Không Tách được Cả $F$ và các họ đạo hàm $F_i$ compact trong $C^0$
$\text{Lip}(\Omega)$ $|f|{\text{Lip}} = |f|\infty + \text{Lip}(f)$ Có (Banach vô hạn chiều) Không Không tách được $B_{\text{Lip}}$ compact tương đối trong $C^0(\Omega)$
$L^p(\Omega)$ ($1 \le p < \infty$) $|f|_{L^p} = \left(\int |f|^p dx\right)^{1/p}$ Có (Banach vô hạn chiều) Chỉ khi $p = 2$ Tách được Định lý M. Riesz - Fréchet - Kolmogorov
$L^\infty(\Omega)$ $|f|_{L^\infty} = \text{ess sup} |f(x)|$ Có (Banach vô hạn chiều) Không Không tách được Theo tiêu chuẩn compact không gian mêtric tổng quát

Các kết quả giải tích cốt lõi đạt được:

  • Chứng minh tính không là không gian Hilbert của $C^1(\Omega)$ và $\text{Lip}(\Omega)$ thông qua sự không thỏa mãn đẳng thức hình bình hành.
  • Xác lập tính chất bảo toàn chuẩn $|f|{\text{Lip}} = |f|{C^1}$ đối với hàm khả vi trên đoạn $[a, b]$, đồng thời chỉ ra tính chất này bị phá vỡ khi miền không lồi qua phản ví dụ cụ thể.
  • Chứng minh cấu trúc đối ngẫu chuẩn tắc $(L^p(\Omega))' \equiv L^{p'}(\Omega)$ ($1 \le p < \infty$) thông qua kỹ thuật độ đo Radon-Nikodym và xấp xỉ hàm đơn giản.
  • Chứng minh tính trù mật của lớp hàm trơn có giá compact $C^\infty_c(\Omega)$ trong $L^p(\Omega)$ ($1 \le p < \infty$) bằng kỹ thuật tích chập mollifiers.

Về mặt đóng góp học thuật, khóa luận đã thiết lập một tài liệu giải tích hàm có cấu trúc chứng minh chi tiết, làm rõ các ranh giới toán học (như tính tách được và tính compact) giữa các không gian hàm cổ điển, phục vụ trực tiếp cho việc nghiên cứu lý thuyết phương trình đạo hàm riêng.

Hạn chế và hướng nghiên cứu tiếp

Khóa luận có các hạn chế gắn liền với phạm vi lý thuyết được trình bày:

  • Phạm vi nghiên cứu dừng lại ở các không gian hàm giải tích cổ điển ($C^0, C^1, \text{Lip}, L^p$), chưa mở rộng sang không gian đạo hàm suy rộng Sobolev $W^{k,p}(\Omega)$ hay không gian Besov vốn là công cụ trực tiếp cho các phương trình đạo hàm riêng phi tuyến.
  • Trong các phần chứng minh chi tiết về tính đầy đủ, tính compact và tính tách được của $C^1(\Omega)$ và $\text{Lip}(\Omega)$, tác giả chủ yếu giải quyết trên miền một chiều ($n=1$, khoảng $(a, b)$ hoặc đoạn $[a, b]$).
  • Đối với Định lý M. Riesz - Fréchet - Kolmogorov trong không gian $L^p$, tác giả chỉ phát biểu định lý và phân tích các phản ví dụ mà không trình bày toàn bộ chứng minh giải tích nhiều chiều.

Hướng phát triển tiếp theo được đề cập:

  • Nghiên cứu các lớp không gian hàm nâng cao hơn, trọng tâm là không gian Sobolev $H^s(\Omega)$ và $W^{k,p}(\Omega)$.
  • Ứng dụng trực tiếp cấu trúc không gian hàm để giải quyết bài toán biên, nghiên cứu tính đặt chỉnh và dáng điệu tiệm cận nghiệm của phương trình đạo hàm riêng tiến hóa.

Giá trị tham khảo

Tài liệu có giá trị tham khảo chuyên môn cho:

  • Sinh viên, học viên cao học ngành Toán học, Toán giải tích, Sư phạm Toán học khi học tập và nghiên cứu các học phần Giải tích hàm, Lý thuyết phương trình vi phân và đạo hàm riêng.
  • Các nhà nghiên cứu toán học cần tài liệu tra cứu có chứng minh chi tiết về cấu trúc của các không gian Banach cổ điển.

Các nội dung có giá trị tham khảo nổi bật:

  • Kỹ thuật chứng minh định lý biểu diễn đối ngẫu Riesz cho $L^p(\Omega)$ bằng phương pháp xây dựng độ đo có dấu $\nu(E) = \varphi(\chi_E)$.
  • Phương pháp kỹ thuật sử dụng quá trình chéo Cantor trong chứng minh định lý Arzelà - Ascoli.
  • Phương pháp xây dựng họ tập mở rời nhau không đếm được để chứng minh tính không tách được của không gian $\text{Lip}(\Omega)$ và $L^\infty(\Omega)$.
  • Quy trình giải tích thiết lập dãy mollifiers và chứng minh tính trù mật của $C^\infty_c(\Omega)$ trong $L^p(\Omega)$.

Câu hỏi thường gặp

1. Tại sao không gian $C^1(\Omega)$ và $\text{Lip}(\Omega)$ là không gian Banach nhưng không phải là không gian Hilbert?
Các không gian này được trang bị chuẩn tổng vô cùng ($|f|{C^1} = |f|\infty + \sum |D_i f|\infty$ và $|f|{\text{Lip}} = |f|_\infty + \text{Lip}(f)$). Chuẩn này không thỏa mãn đẳng thức hình bình hành $|f+g|^2 + |f-g|^2 = 2(|f|^2 + |g|^2)$, do đó chuẩn không thể sinh ra từ bất kỳ tích vô hướng nào.

2. Tại sao định lý Arzelà - Ascoli không còn đúng khi miền xác định không compact (ví dụ trên $\mathbb{R}$)?
Trên miền không compact như $\mathbb{R}$, một họ hàm có thể bị chặn và liên tục đồng đều nhưng khối lượng hàm có thể bị "trôi ra vô cực". Tác giả đưa ra phản ví dụ: xét hàm $f \in C^0_b(\mathbb{R})$ có giá compact và họ hàm dịch chuyển $f_h(x) = f(x+h)$. Họ hàm này bị chặn và liên tục đều, hội tụ từng điểm về 0 nhưng $|f_h - 0|\infty = |f|\infty = 1 \neq 0, \forall h$, do đó không tồn tại dãy con nào hội tụ đều trong $(C^0_b(\mathbb{R}), |\cdot|_\infty)$.

3. Đặc tính tách được của không gian $L^p(\Omega)$ phụ thuộc vào chỉ số $p$ như thế nào?
Không gian $L^p(\Omega)$ là tách được khi $1 \le p < \infty$ vì có thể xấp xỉ bằng không gian các hàm liên tục có giá compact $C^0_c(\Omega)$ và qua đó xấp xỉ bằng tập đếm được các đa thức hệ số hữu tỷ. Ngược lại, không gian $L^\infty(\Omega)$ không tách được do tồn tại họ không đếm được các hàm đặc trưng $\chi_{B(a, r_a)}$ tạo thành một họ các hình cầu mở rời nhau trong $L^\infty$.

4. Công cụ lý thuyết độ đo nào được sử dụng để chứng minh tính toàn ánh trong định lý đối ngẫu $(L^p(\Omega))' \cong L^{p'}(\Omega)$?
Tác giả định nghĩa một hàm tập $\nu(E) := \varphi(\chi_E)$ với $\varphi \in (L^p(\Omega))'$. Chứng minh $\nu$ là một độ đo có dấu, $\sigma$-hữu hạn và liên tục tuyệt đối đối với độ đo Lebesgue. Sau đó, tác giả áp dụng Định lý Radon-Nikodym để khẳng định sự tồn tại duy nhất của hàm đo được $u$ sao cho $\varphi(\chi_E) = \int_E u dx$, từ đó suy ra $u \in L^{p'}(\Omega)$ và $\varphi(f) = \int_\Omega u f dx, \forall f \in L^p(\Omega)$.

5. Support thiết yếu ($\text{spt}_e(f)$) khác với support thông thường ($\text{spt}(f)$) như thế nào trong không gian $L^p$?
Support thông thường $\text{spt}(f) = \overline{{x : f(x) \neq 0}}$ không bất biến đối với các hàm bằng nhau hầu khắp nơi (ví dụ hàm đặc trưng trên tập số hữu tỷ $\chi_\mathbb{Q}$ bằng 0 hầu khắp nơi nhưng có support thông thường là toàn bộ $\mathbb{R}$). Support thiết yếu được định nghĩa là $\text{spt}_e(f) := \mathbb{R}^n \setminus A_f$, trong đó $A_f$ là hợp của tất cả các tập mở mà $f = 0$ hầu khắp nơi; khái niệm này đảm bảo hai hàm trùng nhau hầu khắp nơi sẽ có cùng support thiết yếu.

Kết luận

Khóa luận tốt nghiệp của tác giả Nguyễn Hoàng Thứ đã khảo sát và chứng minh các tính chất tôpô, mêtric và giải tích hàm của bốn không gian hàm $C^0(\Omega)$, $C^1(\Omega)$, $\text{Lip}(\Omega)$ và $L^p(\Omega)$. Công trình làm rõ các tiêu chuẩn về tính đầy đủ, tính compact, tính tách được, cấu trúc đối ngẫu và kỹ thuật làm mịn tích chập trong từng không gian. Toàn bộ các kết quả được lập luận chặt chẽ thông qua các định lý giải tích kinh điển, tạo lập cơ sở lý thuyết toán học phục vụ nghiên cứu định tính và nghiệm của phương trình đạo hàm riêng.