Wikipedia talk:WikiProject Mathematics
Main page | Discussion | Content | Assessment | Participants | Resources |
Mathematics Project‑class | ||||||||||
|
To view an explanation to the answer, click on the [show] link to the right of the question. Are Wikipedia's mathematics articles targeted at professional mathematicians?
No, we target our articles at an appropriate audience. Usually this is an interested layman. However, this is not always possible. Some advanced topics require substantial mathematical background to understand. This is no different from other specialized fields such as law and medical science. If you believe that an article is too advanced, please leave a detailed comment on the article's talk page. If you understand the article and believe you can make it simpler, you are also welcome to improve it, in the framework of the BOLD, revert, discuss cycle. Why is it so difficult to learn mathematics from Wikipedia articles?
Wikipedia is an encyclopedia, not a textbook. Wikipedia articles are not supposed to be pedagogic treatments of their topics. Readers who are interested in learning a subject should consult a textbook listed in the article's references. If the article does not have references, ask for some on the article's talk page or at Wikipedia:Reference desk/Mathematics. Wikipedia's sister projects Wikibooks which hosts textbooks, and Wikiversity which hosts collaborative learning projects, may be additional resources to consider. See also: Using Wikipedia for mathematics self-study Why are Wikipedia mathematics articles so abstract?
Abstraction is a fundamental part of mathematics. Even the concept of a number is an abstraction. Comprehensive articles may be forced to use abstract language because that language is the only language available to give a correct and thorough description of their topic. Because of this, some parts of some articles may not be accessible to readers without a lot of mathematical background. If you believe that an article is overly abstract, then please leave a detailed comment on the talk page. If you can provide a more down-to-earth exposition, then you are welcome to add that to the article. Why don't Wikipedia's mathematics articles define or link all of the terms they use?
Sometimes editors leave out definitions or links that they believe will distract the reader. If you believe that a mathematics article would be more clear with an additional definition or link, please add to the article. If you are not able to do so yourself, ask for assistance on the article's talk page. Why don't many mathematics articles start with a definition?
We try to make mathematics articles as accessible to the largest likely audience as possible. In order to achieve this, often an intuitive explanation of something precedes a rigorous definition. The first few paragraphs of an article (called the lead) are supposed to provide an accessible summary of the article appropriate to the target audience. Depending on the target audience, it may or may not be appropriate to include any formal details in the lead, and these are often put into a dedicated section of the article. If you believe that the article would benefit from having more formal details in the lead, please add them or discuss the matter on the article's talk page. Why don't mathematics articles include lists of prerequisites?
A well-written article should establish its context well enough that it does not need a separate list of prerequisites. Furthermore, directly addressing the reader breaks Wikipedia's encyclopedic tone. If you are unable to determine an article's context and prerequisites, please ask for help on the talk page. Why are Wikipedia's mathematics articles so hard to read?
We strive to make our articles comprehensive, technically correct and easy to read. Sometimes it is difficult to achieve all three. If you have trouble understanding an article, please post a specific question on the article's talk page. Why don't math pages rely more on helpful YouTube videos and media coverage of mathematical issues?
Mathematical content of YouTube videos is often unreliable (though some may be useful for pedagogical purposes rather than as references). Media reports are typically sensationalistic. This is why they are generally avoided. |
Emmy Noether FAR final citations and checks[edit]
The Emmy Noether article has been at featured article review for a couple months now. If anyone wants to take a look, most of the issues seem to have been fixed but the contributions to mathematics and physics section would likely benefit from a couple more citations and a quick survey (including of the typsetting) by someone more qualified than I am. Sgubaldo (talk) 15:20, 16 April 2024 (UTC)
- In particular, does anyone feel like tackling the subsection Emmy Noether#Ascending and descending chain conditions? XOR'easter (talk) 17:00, 1 May 2024 (UTC)
I think that people searching for "Adjoint functor theorem" are looking for explanations about the Freyd's adjoint functor theorem, so I suggest changing the redirect target to the Formal criteria for adjoint functors. SilverMatsu (talk) 15:35, 24 April 2024 (UTC)
- Ths is a possibility. However, there is an anchor "Freyd's adjoint functor theorem" in Adjoint functors. I have changed the redirect for pointing to this anchor instead of to the lead. Note that Formal criteria for adjoint functors is linked to just above this anchor. I have no clear opinion about your proposed change of target, but, in any case, Freyd's adjoint functor theorem and Adjoint functor theorem must have the same target. D.Lazard (talk) 16:24, 24 April 2024 (UTC)
- Thank you for clarifying the redirect target. By the way, there are two versions of Freyd's adjoint functor theorem, which are sometimes called General adjoint functor theorem and Special adjoint functor theorem. --SilverMatsu (talk) 00:19, 25 April 2024 (UTC)
Requested move at Talk:Basic Math (video game)#Requested move 24 April 2024[edit]
There is a requested move discussion at Talk:Basic Math (video game)#Requested move 24 April 2024 that may be of interest to members of this WikiProject. RodRabelo7 (talk) 05:33, 28 April 2024 (UTC)
"Distinct" definition[edit]
The use of the word "distinct" , should be reviewed , so that its usage becomes clear, here are the pages I have noticed them in: Constructible polygon, ,Carl Friedrich Gauss ,Exact trigonometric values ,Constructible number
The constructible polygon page says : A regular n-gon can be constructed with compass and straightedge if and only if n is a power of 2 or the product of a power of 2 and any number of distinct Fermat primes.
Whereas , the Constructible number page says:
- powers of two
- Fermat primes, prime numbers that are one plus a power of two
- products of powers of two and any number of distinct Fermat primes.
Notice here the second bullet point is separate to the third ; is that to say that "any number of distinct Fermat primes" does not include one Fermat prime appearing on its own. And would zero Fermat primes be considered a distinct number of Fermat primes?. This should be specified. EuclidIncarnated (talk) 13:48, 28 April 2024 (UTC)
- The formatting of the post above is difficult to read. As far as I can tell, the issue is more about "any number" than about "distinct". I think that it is best treated by editing those specific pages to address that specific issue. Mgnbar (talk) 14:03, 28 April 2024 (UTC)
- Sorry about my bad formatting , I am relatively new to Wikipedia writing and thank you for bringing to my attention , "any number", which should be defined more clearly. I would say that so does "distinct". For example , consider one number is it distinct? or is there required a second number for it to be said to be distinct?. Such things should be made more clear. EuclidIncarnated (talk) 14:44, 28 April 2024 (UTC)
- As an example, I have edited Constructible polygon#Conditions for constructibility. I did not clarify what "distinct" means, but I did clarify (some might say too explicitly) what "any number" means. What do you think of this solution? Does "distinct" still require clarification? Mgnbar (talk) 15:03, 28 April 2024 (UTC)
- I changed the ·bullets to asterisks to make a proper list. —Tamfang (talk) 19:38, 28 April 2024 (UTC)
- Sorry about my bad formatting , I am relatively new to Wikipedia writing and thank you for bringing to my attention , "any number", which should be defined more clearly. I would say that so does "distinct". For example , consider one number is it distinct? or is there required a second number for it to be said to be distinct?. Such things should be made more clear. EuclidIncarnated (talk) 14:44, 28 April 2024 (UTC)
- The last bullet point includes the first two bullet points as special cases. –jacobolus (t) 14:22, 28 April 2024 (UTC)
- I don't see how the first bullet point is a special case of the last bullet point , could you explain what you mean? EuclidIncarnated (talk) 15:03, 28 April 2024 (UTC)
- In the third bullet point, let 2j be the power of 2 involved, and let k be the number of distinct Fermat primes involved. The first bullet point is the special case where k = 0. The second bullet point is the special case where k = 1 and j = 0. Mgnbar (talk) 15:44, 28 April 2024 (UTC)
- Yes this is going off of the definition that the product of a number is itself and thus a power of 2's product is itself. This is what Product (mathematics) says is the definition of products : "Originally, a product was and is still the result of the multiplication of two or more numbers." Therefore your definition of product is not this. EuclidIncarnated (talk) 17:47, 28 April 2024 (UTC)
- Sorry; I don't quite understand your post. No one here has defined the word "product", have they? The Wikipedia article Product (mathematics) is not a Wikipedia:Reliable source. Anyway, products and powers can take on slightly different meanings in different contexts. When stating a theorem, it is a good idea to make the intended meaning explicit and clear.
- Have you seen my recent edit to Constructible polygon#Conditions for constructibility, which I mentioned above? Is it not clear? Regards, Mgnbar (talk) 18:01, 28 April 2024 (UTC)
- It seems fine to me , your edit. EuclidIncarnated (talk) 18:11, 28 April 2024 (UTC)
- @EuclidIncarnated Mathematicians define the "product" of any (possibly empty) collection of elements all belonging to some structure where multiplication is well-defined. An empty product is equal to the multiplicative identity, which is 1 in the case the quantities being multiplied are numbers. The "product" of a single quantity is just the quantity itself. –jacobolus (t) 00:09, 29 April 2024 (UTC)
- All true, but this is a point we should be careful of when writing articles for non-mathematicians who may become confused by 0-element and 1-element products. —David Eppstein (talk) 00:29, 29 April 2024 (UTC)
- Is there anywhere in Wikipedia that has such a definition. EuclidIncarnated (talk) 07:12, 29 April 2024 (UTC)
- @EuclidIncarnated This is described in Product (mathematics) § Product of a sequence. While a sequence per se is an ordered list of numbers (or other quantities), if multiplication is commutative (true in many but not all contexts) the order doesn't matter and you could just as well take the product of an unordered collection like a multiset. –jacobolus (t) 07:15, 29 April 2024 (UTC)
- And Product (mathematics)#Empty product is all about the case where 0 numbers are being multiplied. Mgnbar (talk) 11:59, 29 April 2024 (UTC)
- Yes this is going off of the definition that the product of a number is itself and thus a power of 2's product is itself. This is what Product (mathematics) says is the definition of products : "Originally, a product was and is still the result of the multiplication of two or more numbers." Therefore your definition of product is not this. EuclidIncarnated (talk) 17:47, 28 April 2024 (UTC)
- In the third bullet point, let 2j be the power of 2 involved, and let k be the number of distinct Fermat primes involved. The first bullet point is the special case where k = 0. The second bullet point is the special case where k = 1 and j = 0. Mgnbar (talk) 15:44, 28 April 2024 (UTC)
- I don't see how the first bullet point is a special case of the last bullet point , could you explain what you mean? EuclidIncarnated (talk) 15:03, 28 April 2024 (UTC)
Wigner probability distribution[edit]
It might be good to have some people watch Wigner semicircle distribution, with someone having just added back some extensive material I deleted a couple months ago. I think it's pretty incoherent, and not good material for the page regardless. Gumshoe2 (talk) 16:22, 28 April 2024 (UTC)
Log vs ln[edit]
On Talk:Ordered Bell number, an editor is arguing that we should use ln rather than log for the natural logarithm. My position is that for mathematics articles, the standard convention is to use log; ln is for engineers and this is not an engineering article. The same editor also claims that writing is "stupid" and that we should always write it instead. Mathematically-literate opinions welcome. (Note that the article is currently in the middle of a GA review; the editor disputing the notation is not the GA reviewer.) —David Eppstein (talk) 18:30, 1 May 2024 (UTC)
- Maybe we can add this to a style guide somewhere. I think it's worth using ln in articles about engineering and possibly also in high-school-level topics such as those related to trigonometry or introductory calculus. I'd rather use log everywhere else, wherever it isn't ambiguous. –jacobolus (t) 18:35, 1 May 2024 (UTC)
- I prefer , but as long as the article clearly sets out the nomenclature that it's using, it's no big deal.
- WRT "", eschew obfuscation; it's confusing and ugly. I see nothing wrong with -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 21:20, 1 May 2024 (UTC)
- How about Logarithmic integral function? You wouldn't write . IntGrah (talk) 22:22, 1 May 2024 (UTC)
- Whether to write 1/loge2 depends on the context. For starters, what if you're informing students of the basic facts about logarithms, which they just heard of today? Then you might state, as an example, that 1/loge2 = log2e, and then you'd need to write 1/loge2. Michael Hardy (talk) 21:10, 2 May 2024 (UTC)
- Presumably someone reading Ordered Bell number isn't learning about logarithms for the first time. –jacobolus (t) 21:55, 2 May 2024 (UTC)
- "My position is that for mathematics articles, the standard convention is to use log;"
- All you need is a reference to cite this standard convention. Johnjbarton (talk) 22:32, 1 May 2024 (UTC)
- You don't need a reference for this. This is prevailing practice throughout the mathematics literature. (It's not hard to find such references, but throwing them in is off-topic for whatever article, and gratuitous.) However, it could help to briefly note, in contexts where some readers might be confused, that log means the natural logarithm, with a wikilink. –jacobolus (t) 22:35, 1 May 2024 (UTC)
- In the early days of Wikipedia, user:AxelBoldt was the author of a majority of mathematics articles on Wikipedia, and argued that ln is better than log because it is unambiguous.
- I prefer log or loge. Notice that exp does not mean base-10 exponential.
- Undergraduates not majoring in mathematics sometimes say "Do you mean logarithm, or natural logarithm?" (to which the correct answer is usually "yes."). The use of ln has misled them to think that the natural logarithm is not literally a logarithm. (They have also often been taught to call the inverse tangent function the inverse tangent function and have never encountered the word "arctan". If you write "arctan θ" then one of them asks whether "arctangent" is the same as "cotangent.") Michael Hardy (talk) 20:56, 2 May 2024 (UTC)
- If using in some arbitrary article, it can be helpful to add an inline definition, along the lines of "where is the trigonometric inverse tangent function". –jacobolus (t) 21:55, 2 May 2024 (UTC)
I think that makes it clear that anti-logarithm x is a real number rather than making it clear that the base is e. In particular, clarify that the domain of a function of the is real numbers. see principal value. --SilverMatsu (talk) 04:45, 3 May 2024 (UTC)
- I was going to say I didn't mind what was used but I agree, yes you're right. lt does make it clear one is working with real numbers. NadVolum (talk) 14:11, 3 May 2024 (UTC)
- Is there any Wikipedia article on which this technicality is worth bringing to the attention of the readers?
- (FWIW despite being about combinatorics the context for the log in the article initiating this discussion actually does involve complex numbers.) —David Eppstein (talk) 18:04, 3 May 2024 (UTC)
- This is not a universal convention, so I don't think it is a good idea to pretend it is. —Kusma (talk) 19:26, 3 May 2024 (UTC)
- +1 to Kusma. When I see I do not necessarily automatically assume that the domain is the reals. I've seen that convention so it wouldn't especially surprise me to find someone using and distinctively in that way, but I don't think it makes the domain unambiguous without further comment. --Trovatore (talk) 19:48, 3 May 2024 (UTC)
- In Logarithm#Complex logarithm the convention is used with good effect in the definition of the complex logarithm. NadVolum (talk) 17:25, 6 May 2024 (UTC)
- I find the use there to be confusing, inconsistent, and idiosyncratic. YMMV. I would much prefer if the multi-functions for argument and logarithm were capitalized, with names for the principal branch left all lowercase, matching the names of single-valued functions used elsewhere in the article and the more typical convention found in the literature (though this is a place where literature is notoriously inconsistent and confusing). –jacobolus (t) 19:00, 6 May 2024 (UTC)
- By the way there is a standard to use lb for the binary logarithm but I don't know of anyone who does that! And using a base with ln is just silly. Only a total massochist would try using any base other than e with a complex logarithm so there's no point in specifying it in that case. NadVolum (talk) 17:39, 6 May 2024 (UTC)
- I have often seen lg for the binary log. —Tamfang (talk) 01:12, 7 May 2024 (UTC)
- Yes, that's pretty common, and approved by the Chicago Manual of Style, despite ISO explicitly reserving lg for common logarithms instead. (I have never seen any actual use of lg for common logs outside of ISO documents.) It's also pretty common for computer scientists (and sometimes information theorists) to use log for binary logarithms (without any base subscript), unfortunately, with hard-to-spot disclaimers that they're doing so. —David Eppstein (talk) 07:00, 7 May 2024 (UTC)
- Knuth uses "lg" for the binary logarithm, and people probably pay more attention to Knuth than to the ISO. XOR'easter (talk) 16:16, 7 May 2024 (UTC)
- FWIW I've seen several computer science papers using log for the base 2 logarithm, a single one using lb, and non using lg. Tercer (talk) 20:24, 7 May 2024 (UTC)
- I can find several of my papers using lg. Nowadays I might be more likely to use log2. But in much of computer science the logs are wrapped in O-notation and it doesn't matter what the base is; I think in that context log is the most likely notation. —David Eppstein (talk) 20:45, 7 May 2024 (UTC)
- FWIW I've seen several computer science papers using log for the base 2 logarithm, a single one using lb, and non using lg. Tercer (talk) 20:24, 7 May 2024 (UTC)
- Knuth uses "lg" for the binary logarithm, and people probably pay more attention to Knuth than to the ISO. XOR'easter (talk) 16:16, 7 May 2024 (UTC)
- Yes, that's pretty common, and approved by the Chicago Manual of Style, despite ISO explicitly reserving lg for common logarithms instead. (I have never seen any actual use of lg for common logs outside of ISO documents.) It's also pretty common for computer scientists (and sometimes information theorists) to use log for binary logarithms (without any base subscript), unfortunately, with hard-to-spot disclaimers that they're doing so. —David Eppstein (talk) 07:00, 7 May 2024 (UTC)
- I have often seen lg for the binary log. —Tamfang (talk) 01:12, 7 May 2024 (UTC)
- In Logarithm#Complex logarithm the convention is used with good effect in the definition of the complex logarithm. NadVolum (talk) 17:25, 6 May 2024 (UTC)
- +1 to Kusma. When I see I do not necessarily automatically assume that the domain is the reals. I've seen that convention so it wouldn't especially surprise me to find someone using and distinctively in that way, but I don't think it makes the domain unambiguous without further comment. --Trovatore (talk) 19:48, 3 May 2024 (UTC)
- This is not a universal convention, so I don't think it is a good idea to pretend it is. —Kusma (talk) 19:26, 3 May 2024 (UTC)
Merger of Unitary operator and Unitary transformation.[edit]
We have these two articles: Unitary operator, Unitary transformation. Should they get merged? Michael Hardy (talk) 21:04, 2 May 2024 (UTC)
- I always thought the map C2 → C3 given by sending (u, v) to (u, v, 0) would be an example of a unitary operator, with 'unitary' referring just to the preservation of a hermitian inner product. The notion suggested here is what I would call "unitary isomorphism." Have I been using the term in an unusual way? Gumshoe2 (talk) 18:59, 3 May 2024 (UTC)
- The text is incorrect. A
bounded linear operator U : H → H on a Hilbert space H that satisfies U*U = UU* = I
need not be surjective unless H is finite dimensional. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 19:03, 9 May 2024 (UTC)- No, this statement is correct. (Since .) Tito Omburo (talk) 20:26, 9 May 2024 (UTC)
- The text is incorrect. A
Frobenius theorem[edit]
Could someone take a look at my suggestion here? Alaexis¿question? 13:08, 6 May 2024 (UTC)
Request review of Local analysis[edit]
Could someone please take a look at the article Local analysis, which has had zero references since July 2008? Is it a valid topic for a standalone article? If so, would you be able to add a citation? If not, should it be redirected somewhere? Cielquiparle (talk) 22:24, 7 May 2024 (UTC)
- I'm not keen on this edit. Generally an article should have a single topic, and not give distinct unrelated meanings of the same term. Lack of references is a problem, and I think merging to Hasse principle might be one solution. Tito Omburo (talk) 10:32, 8 May 2024 (UTC)
- Yes, lumping together unrelated, separate meanings of the same term is more dictionary-style, rather than encyclopedic. XOR'easter (talk) 16:49, 8 May 2024 (UTC)
- For the current article, a sensible thing might be to turn it into a disambiguation page for Localization of a ring and a subsection (to be added) of Sylow subgroups. For the latter, a p-local subgroup is the normalizer of a nontrivial p-subgroup; this could be sourced e.g. to Isaacs' Finite Group Theory book. I don't think the Hasse principle is a great redirect, although I could be missing something. Note that p-local subgroup currently redirects to this article, and there may be other redirects targeting here. Russ Woodroofe (talk) 18:15, 8 May 2024 (UTC)
- Yes, lumping together unrelated, separate meanings of the same term is more dictionary-style, rather than encyclopedic. XOR'easter (talk) 16:49, 8 May 2024 (UTC)