Latest update

- Regex-based parsing of a specifier for dice
- Handling COM exceptions / busy codes
- Improving read/write loops in Python
- Switching between ViewModels using IoC in a MVVM WPF application
- Is it okay to call private method in constructor and call class public method with object initializer?
- PPT generator using SOLID principles
- Building a graph using dictionary
- Embedding python into C++ program
- Web Scrape: Scraping StackOverflow's questions with nodejs
- How many times did the library fail Hermione?
- Kill the dark one and the giant, but leave the third - which did he mean?
- How did Dass Jennir and Kai Hudorra know that Beyhgor Sahdett was a traitor?
- Star Trek - Weapon of Peace
- Why did Dobby help Harry Potter?
- Why spare the White Walkers after the Battle for the Dawn?
- MS SQL Server: Transactional replication not working but no errors are present
- How to connect to a SQL Server from another computer using SSMS with only hostname?
- SQL Trigger Find Deleting Job Agent History
- Create a unique constraint on a column based on distinct value from another column in the same table
- Using dynamic query to loop through Db for a truncate statement

# Lower semicontinuous approximation

2018-03-12 20:23:22

Suppose $u : X \to \mathbb{R} \cup \{+\infty\}$ is a lower semicontinuous function on a topological space $X$. Suppose $X$ compact and Hausdorff. Prove that there exists a non decreasing sequence of continuous functions pointwise converging to $u$.

You can suppose that $X$ has a countable basis, if you need it, but I don't think you need it. I know a proof in the context of metric spaces, but I want a detailed proof in the case of $X$ Hausdorff and compact.