User talk:AlexS

Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers! prime mover (talk) 06:00, 18 February 2022 (UTC)

Riesz-Markov-Kakutani Representation Theorem
Thank you for posting this one up, it's a big one.

You will note the work I have been doing to modularise it. This is ongoing. I trust you will accept how this is being structured.

I know nothing about measure theory beyond the obvious stuff that defines the basics, so questions will appear during the course of this exposition against points which need clarification.

The idea is that any person should be able to land on any arbitrary page of and have all the information needed, via links, to follow whatever is on that page. Hence we have a rigorous linking policy where every concept, wherever it appears, is decorated with a link, so if (for example) you forget the meaning of "subadditive measure", you don't have to hunt back up to find the first instance of that concept appearing, the link is always there right under your eyes. This is where we differ from most other wikis.

If you wish to assist with the modularisation process, please feel free to do so, following the pattern of Riesz-Markov-Kakutani Representation Theorem/Lemma 1 faithfully.
 * That bit is now actually complete. It remains to fill in all the links. --prime mover (talk) 14:13, 13 March 2022 (UTC)

We have very good reasons for the rigidity of our page structure and house style. --prime mover (talk) 09:40, 13 March 2022 (UTC)