User talk:Addem

From ProofWiki
Jump to navigation Jump to search

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) 23:23, 13 January 2022 (UTC)

A few pointers

Hi Addem and welcome to $\mathsf{Pr} \infty \mathsf{fWiki}$. Thank you for looking at functional analysis pages, it's an area where we definitely need more hands. (most of the content on measure theory and functional analysis is by only one contributor and in many cases have not been touched for 10 years) Instead of MathJax's align environments, we have an equation template that does aligning outside of LaTeX and has facility to annotate each step with a result, definition, reasoning, etc. We usually restrict ourselves to one statement per line, proofs in the area of foundations (for which the site is arguably best known and most complete) make good examples, eg. Open Set is Union of Elements of Basis. PW's style is much more rigid than many other wikis, so it might take some time to get to grips with, so don't worry about that, high-quality contributions can be fixed to fit style requirements and are definitely preferable to low-quality contributions with perfect structure. Caliburn (talk) 15:55, 14 January 2022 (UTC)

Gotcha, and thanks! I think I fixed it on the Young's_Inequality_for_Products page that I edited. I'm fairly unfamiliar with any Wiki editing, even on Wikipedia. I'd like to reorganize the Holder's inequality page but not sure how these things are structured. So ... if it's not strongly discouraged, I might try just doing some stuff and hope that I improve rather than break things. Addem (talk) 16:38, 14 January 2022 (UTC)
If you are scared about breaking something you could copy the page (just by copy+pasting the wikicode) to your userspace at User:Addem/... (replace ... with any title) and play about with it. You have free reign to create whatever you like in your userspace, it doesn't have to conform to any particular format. (obviously the content shouldn't be offensive or anything) Once you're done you can copy it back. Edits are easy enough to revert on this wiki so don't worry too much. Caliburn (talk) 17:25, 14 January 2022 (UTC)
Dunno if you want to audit this or if I should just make the change: https://proofwiki.org/wiki/User:Addem/Holder Addem (talk) 19:39, 14 January 2022 (UTC)
It doesn't seem really to add anything of any concrete use; we have Hölder's Inequality as is, and the subpage for the summation version. We prefer not to editorialise; we are a dictionary not an encyclopedia, and the added discussion does not do much to enhance the experience.
You will of course note that generally speaking we do not head pages with the title, we use "Theorem" or "Definition", and so on. We would not want to change our style at this point, for no apparent benefit. We aim for consistency in both presentational and code style as far as is practicable. --prime mover (talk) 19:53, 14 January 2022 (UTC)
The purpose was to refactor Holder's. I prefer this new structure. Caliburn (talk) 20:50, 14 January 2022 (UTC)
Structure's okay -- content, as I say, not so much. But there will be the need for a permant redirect, and a review of all pages to Holder's Inequality, and so on, and it will probably devolve to me to do the work. :-( --prime mover (talk) 20:57, 14 January 2022 (UTC)
That is the sort of thing I had in mind. Cutting out the top bit, and changing the top headers to "Theorem", that's how I think the page on Holder's should look. Inside the integration page, generally we put corollaries or generalisations as a subheading of the theorem. Under the summation subpage we should have a proof 2 where the sum version is deduced from the integral version via the counting measure. I put up this result: Integral of Positive Function with respect to Counting Measure on Natural Numbers a bit ago which should be a stepping stone. I think most pages use $\int \map f x \map {\rd \mu} x$ instead of $\int \map f x \map \mu {\d x}$ as well, this is discussed in Definition:Integral of Positive Measurable Function#Also known as. We do have some precedent for giving proofs a descriptive name. This is done more on elementary results like Sum of Sequence of Cubes, but I don't see a reason why it can't transfer to advanced results. The majority of results use numbered proofs though. Renaming the headers should be accompanied by a page move which'll need to be discussed and links changed. Caliburn (talk) 20:50, 14 January 2022 (UTC)

A few more pointers: when linking to pages in $\mathsf{Pr} \infty \mathsf{fWiki}$, it is highly recommended that you do not use underscores (they are ugly and pointless), and also there is never a need to use the raw web address, and it is also highly recommended that they are not used, for obvious reasons. On your own chat pages of course you can do what you like, but it's good to get into good habits right from the get-go. --prime mover (talk) 19:43, 14 January 2022 (UTC)