Wikipedia talk:WikiProject Mathematics
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. |
This is the talk page for discussing improvements to the WikiProject Mathematics page. |
|
Archives: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73Auto-archiving period: 15 days ![]() |
Wikipedia:Wikipedia Signpost/WikiProject used Template:Wikipedia ad exists
A question about English grammar
The article titled Nonlocal operator begins like this:
In mathematics, a nonlocal operator is a mapping which maps functions on a topological space to functions, in such a way that the value of the output function at a given point cannot be determined solely from the values of the input function in any neighbourhood of any point. An example of a nonlocal operator is the Fourier transform.
Occasionally I think English-speaking mathematicians are not attentive enough to nuances of the use of the word any.
-
- This function can take any number as an input.
is not quite the same as
- This function can take every number as an input.
since in some contexts this might mean every number at the same time. But
- Any function from R into whatever is blah blah blah.
means
- Every function from R into whatever is blah blah blah.
Maybe this point is clearer if one thinks of the difference between
- "Any member can preside over this meeting."
and
- "Every member can preside over this meeting."
Now suppose you say
- If it is the case that any function from R into whatever is blah blah blah then etc.etc.
That is in danger of being read as
- If any function from R into whatever is blah blah blah then etc.etc.
and hence as
- If there is any function from R into whatever is blah blah blah then etc.etc.
so that a universal quantifier in the writer's mind becomes an existential quantifier in the reader's mind. Merely writing "every" instead of "any" at the outset is all it takes to obviate this hazard.
Thus "any" can be universal in some contexts ("Anyone can do that.") and existential in others ("There isn't any." or "If anyone can run a 50 meters in three seconds, it's Usain Bolt.") The contexts in which it becomes existential seem to be these:
- Negative sentences: "I've never seen any examples of that."
- Questions: "Is there any money left?"
- Conditional clauses: "If there is any money left, donate it to Wikipedia."
How shall we apply this to the two occurrences of the word any in the passage quoted from Nonlocal operator? Michael Hardy (talk) 18:25, 27 August 2019 (UTC)
- This topic is not in my expertise, but isn't there an extra quantification? Shouldn't the "of any" be changed to "the" or "the given"?
- If you're asking/telling about the more general issue of imprecision in natural languages, then I'm not sure what the resolution is. Formal logic exists exactly to avoid that imprecision. Mgnbar (talk) 14:13, 3 September 2019 (UTC)
Punctuation epsilon–delta
Yet another occasion arises whose understanding requires one to realize that the "LaTeX" we use here is (many would say "obviously") not actual LaTeX.
If the "LaTeX" code uses a hyphen, then the first form above is seen, with a minus sign rather than a hyphen.
The second form is with a minus sign enclosed in {curly braces} so the spacing appropriate when it is used as a binary operation symbol does not appear.
- Thus: \varepsilon{-}\delta.
The third has this: \varepsilon\text{-}\delta. This causes an honest hyphen to appear.
The fourth has this: \varepsilon\text{--}\delta.
In our not-really-LaTeX system, this makes two hyphens appear. In genuine LaTeX, it would make an en-dash appear. In the non-TeX occurrences of this phrase in the article titled (ε, δ)-definition of limit, an en-dash is used.
Use of an actual en-dash in the not-really-LaTeX code results only in an error message.
Should we eschew our not-really-LaTeX software altogether for these occasions, or should we use one of the options above, or should we compromise and write
- –
or should we do something else? Michael Hardy (talk) 18:21, 31 August 2019 (UTC)
- The solution is obvious: not to use the <math> tag when saying “ε–δ” which is essentially a human-language shorthand, not a scientific notation. But I know that many users stuck to LaTeX notation and call <math> on every imaginable pretext. Under a dire need to say “ε–δ” under LaTeX math mode one can say
<math>\varepsilon\text{–}\delta</math>
↦ . Incnis Mrsi (talk) 18:49, 31 August 2019 (UTC)- @Incnis Mrsi: I could have sworn I hard tried \text{–} (with an actual en-dash) and that the result was an error message, but apparently it actually works. Michael Hardy (talk) 17:18, 2 September 2019 (UTC)
- The solution that seems most obvious to me, to get an honest en-dash between the two symbols, is to go outside of math to do it. <math>\varepsilon</math>–<math>\delta</math> renders as –. I don't see how that is in any way a compromise. —David Eppstein (talk) 17:22, 2 September 2019 (UTC)
- I agree with David Eppstein (and this is also what I would do when actually writing a LaTeX document, i.e., I would type "... by the $\varepsilon$--$\delta$ definition ..."). The title of the article (ε, δ)-definition of limit suggests another (non-dash-based) resolution. --JBL (talk) 17:42, 2 September 2019 (UTC)
- @Joel B. Lewis: That's exactly how I do it in actual LaTeX. I always hesitate to mix TeX with non-TeX notation in Wikipedia because of the many times they have failed to fit together well. Michael Hardy (talk) 21:01, 2 September 2019 (UTC)
$\varepsilon$--$\delta$
is probably what I'd do in an actual LaTeX document, too. XOR'easter (talk) 17:51, 2 September 2019 (UTC)
- I agree with David Eppstein (and this is also what I would do when actually writing a LaTeX document, i.e., I would type "... by the $\varepsilon$--$\delta$ definition ..."). The title of the article (ε, δ)-definition of limit suggests another (non-dash-based) resolution. --JBL (talk) 17:42, 2 September 2019 (UTC)
- The solution that seems most obvious to me, to get an honest en-dash between the two symbols, is to go outside of math to do it. <math>\varepsilon</math>–<math>\delta</math> renders as –. I don't see how that is in any way a compromise. —David Eppstein (talk) 17:22, 2 September 2019 (UTC)
- @Incnis Mrsi: I could have sworn I hard tried \text{–} (with an actual en-dash) and that the result was an error message, but apparently it actually works. Michael Hardy (talk) 17:18, 2 September 2019 (UTC)
The problem arose from WP:Articles for deletion/Square root of 10. What to do with the topic now, in light of the deletionist assault? Is a separate article warranted? If no separate, then my proposal, square root #Principal square roots of the positive integers, or something else? Incnis Mrsi (talk) 14:06, 3 September 2019 (UTC)
- My knee-jerk reaction was, "This topic is basically (integers in) quadratic number fields, which are extremely important." But then I realized that we have Quadratic field for all that. What is the intended division of labor between the two articles? Is there a substantial body of knowledge specific to quadratic integers? The presence of reliable sources in that article suggests so, but I haven't examined them closely. Mgnbar (talk) 14:23, 3 September 2019 (UTC)
- Properties like being Euclidean domain, being principal ideal domains, basis as free abelian group, and many others are more specific to quadratic integer rings than to quadratic fields, even if these properties are described in Quadratic field. D.Lazard (talk) 14:42, 3 September 2019 (UTC)
- Integers are important far beyond ℚ[√D], if only due to such rings as Gauss ℤ[ i ], Eisenstein ℤ[3√1], and Dirichlet ℤ[ τ ] which is important for 5-fold rotational symmetry. Incnis Mrsi (talk) 14:51, 3 September 2019 (UTC)
- @D.Lazard: what? Isn’t the usefulness of prime factorization to compute many of square roots of integers important? Incnis Mrsi (talk) 14:51, 3 September 2019 (UTC)
- The computation of (approximations of) square roots of integers is not very different from that of real number, and belongs thus to Square root. Two things may belong to quadratic integers that are not there in any version: 1/ Computing the largest square-free factor of an integer (that is the smallest d generating a given ). For that, no better algorithm is known than prime factorization. So a few lines in Quadratic integer suffices. 2/ Testing whether a quadratic integer is the square of a quadratic number, and, if yes, computing the square root. This is considered in Nested radical and would deserve to be linked here. D.Lazard (talk) 15:36, 3 September 2019 (UTC)
- As “not very different from” – false, they are algebraic numbers and “integers”, after all. These facts are completely obscured after D.Lazard’s edits. Incnis Mrsi (talk) 16:06, 3 September 2019 (UTC)
- Which edit(s) obscured anything? D.Lazard (talk) 16:54, 3 September 2019 (UTC)
- Before the deletionist strike the topic redirected to that subsection. Now one can’t easily infer that square roots of integers are algebraic integers. Nor can the reader access √2, √3, √5, at least not in reasonable proximity of the request. The √10 thing is also removed, but it was not directly a D.’s fault. Incnis Mrsi (talk) 17:11, 3 September 2019 (UTC)
- No redirect is needed for saying that the square roots of an integer are quadratic integers. I have added this to Square root. D.Lazard (talk) 18:19, 3 September 2019 (UTC)
- Before the deletionist strike the topic redirected to that subsection. Now one can’t easily infer that square roots of integers are algebraic integers. Nor can the reader access √2, √3, √5, at least not in reasonable proximity of the request. The √10 thing is also removed, but it was not directly a D.’s fault. Incnis Mrsi (talk) 17:11, 3 September 2019 (UTC)
- Which edit(s) obscured anything? D.Lazard (talk) 16:54, 3 September 2019 (UTC)
- As “not very different from” – false, they are algebraic numbers and “integers”, after all. These facts are completely obscured after D.Lazard’s edits. Incnis Mrsi (talk) 16:06, 3 September 2019 (UTC)
- The computation of (approximations of) square roots of integers is not very different from that of real number, and belongs thus to Square root. Two things may belong to quadratic integers that are not there in any version: 1/ Computing the largest square-free factor of an integer (that is the smallest d generating a given ). For that, no better algorithm is known than prime factorization. So a few lines in Quadratic integer suffices. 2/ Testing whether a quadratic integer is the square of a quadratic number, and, if yes, computing the square root. This is considered in Nested radical and would deserve to be linked here. D.Lazard (talk) 15:36, 3 September 2019 (UTC)
What occasion could there be to write "square root of integers" rather than "square roots of integers" or "square root of an integer"? Michael Hardy (talk) 23:51, 4 September 2019 (UTC)
- I followed the model of square root of negative numbers. For comparison, Special:PrefixIndex/square roots has nothing of the sort. Incnis Mrsi (talk) 04:44, 5 September 2019 (UTC)
- So there exist more useless redirects from grammatically-faulty titles? Interesting, but not a good choice to use as a model. —David Eppstein (talk) 06:01, 5 September 2019 (UTC)
- David Eppstein highly probably speaks English better than me by a large margin, hence WP:SOFIXIT. Incnis Mrsi (talk) 06:06, 5 September 2019 (UTC)
- So there exist more useless redirects from grammatically-faulty titles? Interesting, but not a good choice to use as a model. —David Eppstein (talk) 06:01, 5 September 2019 (UTC)
Math-related affiliate
Just a reminder about m:Wikimedia Community User Group Math, which any person who supports the group's goals is welcome to join. As of a few weeks ago, the group is one of the officially recognized m:affiliates of the Wikimedia Foundation. Whatamidoing (WMF) (talk) 00:29, 6 September 2019 (UTC)
Articles with links to DAB pages
I have collected another batch of articles containing math(s)-related links to DAB pages which would benefit from expert attention. Search for 'disam' in read mode, and for '{{d' in edit mode; and if you solve one of these puzzles, post {{done}} here.
- Almost complex manifold
Done
- Chern's conjecture (affine geometry)
Done
- College Scholastic Ability Test
Done
- Color confinement
Done
- Complex manifold
Done
- Connectivism
Done
- Fractional quantum Hall effect
Done
- Geneviève Raugel
Done
- John W. Negele
Done
- Kummer surface
Done Jakob.scholbach (talk)
- Meta learning (computer science)
Done
- Michael Roberts (mathematician) → Covariant
Done (see next thread) D.Lazard (talk) 09:45, 10 September 2019 (UTC)
- n-sphere
Done
- Navier–Stokes equations → Stress tensor
Done
- Normal basis
Done Jakob.scholbach (talk)
- Polyvector field
Done Jakob.scholbach (talk)
- Random field
Done
- Transport coefficient → Stress tensor
Done
- Studentized range distribution
Done
- Two-dimensional electronic spectroscopy →
Ensemble, Charge transferDone
- Variational multiscale method → Stress tensor
Done
- Whitehead's algorithm
Done (needed to create the redirect primitive element (free group), and to edit the linked dab page) D.Lazard (talk) 14:11, 9 September 2019 (UTC)
- Xiaohong Chen
Done
Thanks in advance, Narky Blert (talk) 02:58, 9 September 2019 (UTC)
- I had to edit after a substandard fix in “almost complex manifold”. Please, look at a whole article, not only to narrow context. Don’t make job to earn green points. Incnis Mrsi (talk) 12:52, 9 September 2019 (UTC)
- I'm going to stay polite, but please don't ask thanks for this rather aggressive pointing out of a perfectly correct (if maybe not optimal) edit that did not satisfy your opaque standards, and let me add that I have no idea what a green point is nor any desire to learn.
- I'd also suggest you refrain from insulting people for petty motives. If you want to discuss math leave a message on the talk page of the article. jraimbau (talk) 11:15, 11 September 2019 (UTC)
- The standards aren’t in fact “opaque”, it is MOS:LINKCLARITY. If Jean Raimbault wants to discuss my petty motives, then he can leave a message here, although it can become moot soon. Incnis Mrsi (talk) 11:51, 11 September 2019 (UTC)
- Notice that Incnis Mrsi has been blocked for one month by Rschen7754 for incivility. JRSpriggs (talk) 03:06, 12 September 2019 (UTC)
- Let us not escalate... Boris Tsirelson (talk) 04:45, 12 September 2019 (UTC)
- Notice that Incnis Mrsi has been blocked for one month by Rschen7754 for incivility. JRSpriggs (talk) 03:06, 12 September 2019 (UTC)
- The standards aren’t in fact “opaque”, it is MOS:LINKCLARITY. If Jean Raimbault wants to discuss my petty motives, then he can leave a message here, although it can become moot soon. Incnis Mrsi (talk) 11:51, 11 September 2019 (UTC)
- Thanks for all your help and to Narky Blert for finding the problems. It looks as if the one unfixed link needs a physicist or engineer rather than a mathematician. Certes (talk) 12:22, 11 September 2019 (UTC)
- Fixed the last one; it was referring to charge transfer in a CT complex --
{{u|Mark viking}} {Talk}
07:37, 12 September 2019 (UTC)- I work on the assumption that mathematicians will be the people best-placed to determine the specific concepts which physicists, engineers, and the like have borrowed and misused.
- (I'm an organic chemist. I'm allowed to say that sort of thing.) Narky Blert (talk) 19:37, 13 September 2019 (UTC)
- Am engineer. Can agree, borrow and misuse math all the time. --Izno (talk) 20:20, 13 September 2019 (UTC)
- Fixed the last one; it was referring to charge transfer in a CT complex --
Invariants and covariants
There is a problem with the disambiguation required for Michael Roberts (mathematician) in the previous thread: the link to a dab page is clearly intended to refer to covariants of invariant theory. The problem is that I have not found any mention of such a covariant in English Wikepedia. Do someone has an idea for solving the problem?
Here is what I remember on this subject: Let be a generic form in n variables (that is, its coefficients are indeterminates). The group GL(n) acts on the form by linear changes of variables. The discriminant of a form in two variables is an invariant. An invariant of GL(n) (or of a subgroup) is a polynomial in the coefficients of the form. A covariant is a form in the same variables, with coefficients polynomials in the coefficient of the given form, which is similarly invariant. For example, an invariant is a covariant of degree 0.
What precedes is clearly not sufficient, even for a stub. Again, any idea? D.Lazard (talk) 18:22, 9 September 2019 (UTC)
- This is in fact about covariant transformations, or I miss something? Forms are tensors of special form. Incnis Mrsi (talk) 18:39, 9 September 2019 (UTC)
- One possibility is to replace the phrase "covariants and invariants" with the phrase "invariant theory". (If there were a reference attached to this statement in the article then I would worry about accurately representing it, but since there is none ....) Also pinging the article author @Moonraker: to this discussion; possibly they can share some insight. --JBL (talk) 19:05, 9 September 2019 (UTC)
- We do have the article “module of covariants”. — Taku (talk) 04:45, 10 September 2019 (UTC)
- I have found two definitions of a covariant; one in Invariant of a binary form, and one in wikt:covariant, which is more general (not restricted to binary forms) and perfectly accurate. Therefore, I have created the redirect Covariant (invariant theory), I have disambiguated Michael Roberts (mathematician) by using this redirect, and added an entry in Covariance (disambiguation), that links to the redirect and contains a copy of dictionary definition. However, some questions deserve a further discussion;
- The new redirect is the only occurrence of the noun "covariant" in the dab page. This suggest creating a stub based on Wiktionary definition, called Covariant, and with a hatnote like "for the adjective uses, see Covariance (disambiguation)". What do you think?
- The fact that it vas so difficult to find this definition shows that a reorganization is needed for interlinking Invariant theory and all related articles. When this will be correctly done, it will probably appear that Invariant theory would need a complete rewrite, with possibly some merges and or splits.
- D.Lazard (talk) 09:43, 10 September 2019 (UTC)
- We already have definitions in a glossary; Glossary_of_invariant_theory has 42 uses of the term and and entry for covariant. --
{{u|Mark viking}} {Talk}
17:27, 10 September 2019 (UTC)- The problem is that the definition given there is not understandable for most readers, and does not correspond to the usual definition (that of wikt:covariant and Invariant of a binary form). D.Lazard (talk) 18:10, 10 September 2019 (UTC)
- We already have definitions in a glossary; Glossary_of_invariant_theory has 42 uses of the term and and entry for covariant. --
- I wouldn’t call a subminimal stub an article. See talk:Module_of_covariants #AG. Incnis Mrsi (talk) 18:20, 10 September 2019 (UTC)
- (I have added an explanation on the notation as well as to a link to the article giving the definition. -- Taku (talk) 00:19, 11 September 2019 (UTC))
- If I've opened up a smallish can of worms, I'm delighted. WP is full of holes where readers can't find easily, or can't find exactly, what they need, and every one filled is an improvement. Narky Blert (talk) 21:17, 10 September 2019 (UTC)
- I have found two definitions of a covariant; one in Invariant of a binary form, and one in wikt:covariant, which is more general (not restricted to binary forms) and perfectly accurate. Therefore, I have created the redirect Covariant (invariant theory), I have disambiguated Michael Roberts (mathematician) by using this redirect, and added an entry in Covariance (disambiguation), that links to the redirect and contains a copy of dictionary definition. However, some questions deserve a further discussion;
- First, as I recall, a covariant is something like a linear (multi-linear, polynomial) map that is invariant under the given group action. The basic idea is that you get more flexibility by working with maps not elements; i.e., you get more invariants to work with. (Module of covariants, I think, gives probably the most general definition of covariants.) So, given this, I don’t think redirecting covariant (invariant theory) to an invariant of a binary form is a good idea. I will make a library trip to find some refers (and do some edits).
- Generally speaking, Wikipedia is still weak in invariant theory topics (I don’t need to tell you why).
- Finally, yes, there is adjective “covariant” as in “covariant functor” and that has to be distinguished from. (So the disambig page is needed). — Taku (talk) 23:09, 10 September 2019 (UTC)
- Thank you to JBL for pinging me. I am happy with what Taku says. Moonraker (talk) 21:43, 12 September 2019 (UTC)
Using a book that plagiarized Wikipedia as a Wikipedia source?
I've been editing trigonometry to address some of the problems it had in its GA review. In particular, much of it was unsourced or OR. I've been going through and deleting unsourced assertions and adding sources to everything else.
There was a section marked with 'more sources needed'. This sections was the 'applications' section, which has largely been unchanged since at least 2007: https://en.wikipedia.org/w/index.php?title=Trigonometry&oldid=122379664
I was going through and sourcing each 'application' one at a time, when I found a book that had all of them:
This is a Springer book where the authors have just copied and pasted the Wikipedia section, rearranging a few items.
I'm not too concerned that the authors have plagiarized this. My real question, though, is, would it be appropriate to use this book as a source for the whole list (as I've done for now), or would it be better to find sources that aren't plagiarized from Wikipedia itself?
Brirush (talk) 19:33, 12 September 2019 (UTC)
- I think it's definitely better not to use sources that plagiarized from Wikipedia (or from elsewhere). XOR'easter (talk) 20:17, 12 September 2019 (UTC)
- More definitively, Wikipedia policy prohibits using such sources. See WP:CIRCULAR. (Their preface credits Wikipedia, so this might count as properly-credited use of CC materials rather than straight-up plagiarism, but it makes no difference for its usability as a source.) —David Eppstein (talk) 20:18, 12 September 2019 (UTC)
- It may also be worth adding {{Backwards copy}} to the articles, to prevent them being flagged as copy violation by Wikipedia. Certes (talk) 20:24, 12 September 2019 (UTC)
- Thanks to both of you, this is very clear. Brirush (talk) 01:37, 13 September 2019 (UTC)
What should an article for a branch of mathematics look like?
As I mentioned above, I've been reworking Trigonometry, focusing on organization and on removing OR and adding sources.
The page still looks skimpy, however, and I feel that more could be added (maybe separate sections on the properties of the graphs, on inverse functions, and perhaps fourier series/analysis?). I've been looking at other pages for inspiration, but I found to my surprise that no 'branch of mathematics' is currently a GA or a FA. Algebra, calculus, etc. are all below GA quality, and have some of the same problems that trigonometry has.
So I wanted to get some consensus before acting. What should 'big topic' articles like this cover? Is there any thing that you feel is necessary or standard for such articles? Is there any particularly good article in a related field that could be used as a template or inspiration? Brirush (talk) 02:42, 13 September 2019 (UTC)
- You raise good questions. I think it is quite a challenge to be comprehensive, readable by non-experts and a reasonable length all at once for articles on general topics. One general article I like is Field (mathematics). It takes pains to be readable and concrete near the start of the article, but doesn't shy away from the more advanced topics later on. For trig, some ideas: I guess one of the first things to do is to figure out what goes in trigonometry and what goes in trigonometric functions. One might compare and contrast trigonometry, which is really about plane trigonometry, with spherical trigonometry, hyperbolic trigonometry and generalized trigonometry. Is there anything interesting about how trig has been or is currently taught? For applications, something more than just a long list of fields that use it might be good. Are there some particularly notable uses, maybe something from navigation or surveying? --
{{u|Mark viking}} {Talk}
03:52, 13 September 2019 (UTC)
- A detailed history section is a major plus! Edit: I see that trigonometry actually has a fairly well-developed one, with just a few citations that need to be added. — MarkH21 (talk) 07:03, 13 September 2019 (UTC)
- Thanks for the work already done on Trigonometry. I completely agree with Mark viking's comments. A large part of my Wikipedia activity is devoted to improve in this way fundamental articles of Wikipedia (See my user talk for some of my main edits). IMO, we must distinguish articles about an area of mathematics, such as Trigonometry from articles about the fundamental concept(s) that are the basis of such an area, such as Trigonometric functions. Articles on areas must explain the motivations, the history, the limits of the area (when there is a consensus for that), and the relations with other areas. The objective is that a reader can gets an idea of the subject and find easily the related technical articles that he may need. An example of a very good such article is Number theory, although it needs many improvements (cosmetic, IMO) for being labeled GA. On the other hand, article on fundamental concepts must allow the reader to find the technical details that he needs, such as a formula that he has learnt and forgiven, or a related concept that he has heard about. This is in this spirit that I have recently edited Trigonometric functions (see [1]). In particular, other trigonometric functions than sine, cosine, and tangent are rarely used, except, maybe, in teaching; therefore, my edits limit the formulas given in the article to the most useful formulas relating sine, cosine, and tangent and refer to List of trigonometric identities for the less important formulas. However, the maintenance of such fundamental articles is a true problem, because of the numerous good faith editors who want to add their preferred minor aspect of the subject. For example, since my edits, a section on the expansion of trigonometric functions as infinite products has been added. IMO, such a section is confusing, and must be replaced by a simple link, as it gives too much emphasis on a non-fundamental result. D.Lazard (talk) 09:45, 13 September 2019 (UTC)
- A detailed history section is a major plus! Edit: I see that trigonometry actually has a fairly well-developed one, with just a few citations that need to be added. — MarkH21 (talk) 07:03, 13 September 2019 (UTC)
- At the risk of putting words into D.Lazard's mouth, let me say it another way. Mathematical concepts have precise definitions. For example, a topology is a set of subsets satisfying certain axioms. However, mathematical disciplines are ill-defined and overlapping. For example, the discipline of topology heavily overlaps with geometry, analysis, algebra, etc. And Wikipedia should explain both concepts and disciplines. Mgnbar (talk) 12:16, 13 September 2019 (UTC)
- I completely agree, and what I was saying is that rules for a good article (answer to the question in the heading) are different for disciplines and for concepts. D.Lazard (talk) 12:23, 13 September 2019 (UTC)
- Agreed. And the citation process for the two is a bit different. For the concept of topology, one can cite the definition from Munkres' book Topology. For the discipline of topology, which topics can be included and excluded? If a topic appears in Munkres' Topology, then one can reasonably include it. If a topic does not appear, then one cannot reasonably exclude it. (The same problem exists for other sources and for combinations of sources.) So the discipline of topology has to be "defined" using examples. Mgnbar (talk) 16:34, 13 September 2019 (UTC)
- This is maybe a bit of a quibble, but I don't think "concept" is the right word for topology in the sense of a collection of open sets, at least to distinguish it from topology as a discipline. Topology as a discipline is arguably still a concept. I think a better word would be "object" — the collection of open sets notion is a type of mathematical object, whereas the discipline is not (and indeed has no precise mathematical definition at all). --Trovatore (talk) 19:56, 13 September 2019 (UTC)
- Agreed. And the citation process for the two is a bit different. For the concept of topology, one can cite the definition from Munkres' book Topology. For the discipline of topology, which topics can be included and excluded? If a topic appears in Munkres' Topology, then one can reasonably include it. If a topic does not appear, then one cannot reasonably exclude it. (The same problem exists for other sources and for combinations of sources.) So the discipline of topology has to be "defined" using examples. Mgnbar (talk) 16:34, 13 September 2019 (UTC)
- I completely agree, and what I was saying is that rules for a good article (answer to the question in the heading) are different for disciplines and for concepts. D.Lazard (talk) 12:23, 13 September 2019 (UTC)
- At the risk of putting words into D.Lazard's mouth, let me say it another way. Mathematical concepts have precise definitions. For example, a topology is a set of subsets satisfying certain axioms. However, mathematical disciplines are ill-defined and overlapping. For example, the discipline of topology heavily overlaps with geometry, analysis, algebra, etc. And Wikipedia should explain both concepts and disciplines. Mgnbar (talk) 12:16, 13 September 2019 (UTC)
I've now completed my revision of Trigonometry. In the process, I've added several figures and tables, and almost doubled the size of the entry. I've tried to be careful and check for errors, but I would appreciate it if someone would look it over for mistakes, especially stray sentences from copy-and-paste or errors in the tables. If you feel any additions or removals are inappropriate, I can revert them. Thanks for the advice given above, it was extremely helpful.
Edit: The article itself isn't complete. As mentioned by someone else, it could use an overview of spherical/hyperbolic geometry. I'm not too familiar with spherical trigonometry, so I didn't attempt it.
Brirush (talk) 19:43, 13 September 2019 (UTC)
- Trovatore: Topology is a class of mathematical objects, and topology (the discipline) is a sociological/anthropological object? Actually, I don't have strong opinions about the terminology. :) Mgnbar (talk) 20:44, 13 September 2019 (UTC)
- I find that a useful proxy is whether you use a countable or uncountable noun. A topology (count noun) is a mathematical object, whereas topology (mass noun) is a discipline.
- This is by the way the distinction we should use for a Boolean algebra (count noun, the structure) versus Boolean algebra (mass noun, the equational style). I fought the good fight on that point many years ago, with a somewhat unsatisfactory outcome, because of a participant with unusual foundational views. --Trovatore (talk) 21:29, 13 September 2019 (UTC)
- Trovatore: Topology is a class of mathematical objects, and topology (the discipline) is a sociological/anthropological object? Actually, I don't have strong opinions about the terminology. :) Mgnbar (talk) 20:44, 13 September 2019 (UTC)
The page numbers in a lot of the references in trigonometry are given as the first half of a range. Surely this doesn't mean that the entire rest of the book after that page number is the relevant part. Would ff. work better? XOR'easter (talk) 18:40, 14 September 2019 (UTC)
- Thank you, I was using https://reftag.appspot.com/ to convert google book links to Wikipedia citations. It had a few other idiosyncracies that I had to address (like using a non-existent 'coauthors' tag). I'll see if I can convert the page ranges to ff's! Brirush (talk) 22:53, 14 September 2019 (UTC)
- Okay, I fixed it. I did not use ff after all, because I didn't realize it meant 'multiple pages', and when I found references, my technique was to find the exact page that had the quote I wanted, so it shouldn't need the subsequent pages. I changed it to single pages. Brirush (talk) 23:03, 14 September 2019 (UTC)
- Thanks! I did some spot-checking and fixed a couple other glitches that were probably due to Google Books metadata weirdness. I'll try to check the page over more thoroughly soon. XOR'easter (talk) 23:58, 14 September 2019 (UTC)
- Okay, I fixed it. I did not use ff after all, because I didn't realize it meant 'multiple pages', and when I found references, my technique was to find the exact page that had the quote I wanted, so it shouldn't need the subsequent pages. I changed it to single pages. Brirush (talk) 23:03, 14 September 2019 (UTC)
Minkowski fractal
There are currently redirects from Minkowski curve, Minkowski island, Minkowski sausage, and Minkowski fractal which lead to the article "Fractal antenna". An image given as an example of a fractal antenna design is labelled as a "Minkowski Island". Currently the term is in bold because the redirects indicate that it is a topic. However, an article about a subspecies of doves should probably redirect to an article about doves and not to an article about bird-shaped objects. It would be beneficial if an appropriate article was created to explain the Minkowski fractal, or if the redirects led to an article which explained the Minkowski fractal. The image is titled File:6452553 Vicsek Fractal Antenna.png, which implies that "Minkowski island" is an alternate name for the Vicsek fractal. "Vicsek fractal" does mention that the boundary is a variant of the Koch snowflake, and the "Koch snowflake" article contains a quadratic variant of the Koch curve labelled as the 'Minkowski Sausage', so one or both of the articles "Vicsek fractal" and "Koch snowflake" should probably contain the explanation. Hyacinth (talk) 04:08, 14 September 2019 (UTC)
Regarding the mathematics banner of the Category:Ordinal numbers
@Chongkian: See Category talk:Ordinal numbers. Chongkian (talk · contribs) removed the {{Maths banner}}. Apparently, he believes that {{WikiProject Numbers}} is sufficient. Is that appropriate?
I think that ordinals are relevant to Mathematics generally, not merely to the Numbers project. JRSpriggs (talk) 05:34, 15 September 2019 (UTC)
- Sure! I've restored WPM there. Boris Tsirelson (talk) 09:21, 15 September 2019 (UTC)
- From what I have found, generally there are WikiProject Mathematics ('math banner' or 'math rating'), WikiProject Statistics and WikiProject Numbers which are highly inter-related to each other. Whenever it is related to math in general, we shall use math banner or math rating, but if it is a more specific term of math (which is number or statistics), isnt that we should related it to its more 'specific' WikiProject category? 'Numbers' and 'statistics' are (and always be part of) 'mathematics'. That's the idea behind it for my reason. Same case like 'country', 'geography' or 'city'; 'geography' (or WikiProject Geography) shall be the default categorization first for all of administrative divisions (e.g. town, village, state, province), unless such particular article is about a country or city, then we shall put it under WikiProject Countries or WikiProject Cities respectively (because such WikiProjects do exist), and take out the 'parent' WikiProject which is WikiProject Geography. Villages shall be put under the general WikiProject Geography because up to this moment, there is no WikiProject Villages. Chongkian (talk) 10:03, 15 September 2019 (UTC)
- It’s worth noting that WikiProject Numbers is only semi-active now. Also, statistics isn’t universally considered a branch of mathematics. — MarkH21 (talk) 10:18, 15 September 2019 (UTC)
- Looking at WikiProject Numbers I fail to find there any interest to transfinite numbers. Thus, I'd say, it is THEIR decision, to treat "number" as "finite number". I just respect their (quite reasonable) decision. Boris Tsirelson (talk) 10:30, 15 September 2019 (UTC)
- WikiProject Numbers has been concentrating on articles about integers by removing cruft (
77 is the shirt number of Joe Minor-Leaguer
), improving navigation templates and promoting their existence. Three years ago, 1 was the title of the article about the year AD 1. Certes (talk) 11:37, 15 September 2019 (UTC)- As a moderately active member of both projects, I don't remember any discussion of infinite numbers in the WikiProject Numbers page or notability guidelines. I don't believe 0.999... is tagged with WikiProject Numbers. — Arthur Rubin (talk) 17:30, 15 September 2019 (UTC)
- WikiProject Numbers has been concentrating on articles about integers by removing cruft (
- Looking at WikiProject Numbers I fail to find there any interest to transfinite numbers. Thus, I'd say, it is THEIR decision, to treat "number" as "finite number". I just respect their (quite reasonable) decision. Boris Tsirelson (talk) 10:30, 15 September 2019 (UTC)
- It’s worth noting that WikiProject Numbers is only semi-active now. Also, statistics isn’t universally considered a branch of mathematics. — MarkH21 (talk) 10:18, 15 September 2019 (UTC)
- From what I have found, generally there are WikiProject Mathematics ('math banner' or 'math rating'), WikiProject Statistics and WikiProject Numbers which are highly inter-related to each other. Whenever it is related to math in general, we shall use math banner or math rating, but if it is a more specific term of math (which is number or statistics), isnt that we should related it to its more 'specific' WikiProject category? 'Numbers' and 'statistics' are (and always be part of) 'mathematics'. That's the idea behind it for my reason. Same case like 'country', 'geography' or 'city'; 'geography' (or WikiProject Geography) shall be the default categorization first for all of administrative divisions (e.g. town, village, state, province), unless such particular article is about a country or city, then we shall put it under WikiProject Countries or WikiProject Cities respectively (because such WikiProjects do exist), and take out the 'parent' WikiProject which is WikiProject Geography. Villages shall be put under the general WikiProject Geography because up to this moment, there is no WikiProject Villages. Chongkian (talk) 10:03, 15 September 2019 (UTC)
- The usual practice with project banners is to use all applicable ones, not to try to decide which is most applicable and use only that. —David Eppstein (talk) 17:56, 15 September 2019 (UTC)
- I don't think WikiProject Numbers wants Ordinal number. As a fairly active member of both WPM and WPN, I don't think the charter of WPN includes infinite numbers. — Arthur Rubin (talk) 17:55, 16 September 2019 (UTC)
- To Arthur: Then remove {{WikiProject Numbers}} from Category talk:Ordinal numbers and Category talk:Cardinal numbers. I do not feel qualified to do that since I am not a member of the numbers project. JRSpriggs (talk) 09:45, 17 September 2019 (UTC)
- I don't think WikiProject Numbers wants Ordinal number. As a fairly active member of both WPM and WPN, I don't think the charter of WPN includes infinite numbers. — Arthur Rubin (talk) 17:55, 16 September 2019 (UTC)
Hilbert's fourth problem article
Hi! The second sentence in this article in its current form seems to be somewhat mangled for me.
- In one statement derived from the original, it was to find up to an isomorphism all geometries whose axioms system of the classical geometry (Euclidean, Hyperbolic and elliptic) if we drop the axioms of congruence involving the concept of the angle and add the systems with the `triangle inequality' regarded as an axiom.
Maybe this rewriting could be adequate:
- In one statement derived from the original, it was to find up to an isomorphism all geometries that have an axiomatic system of classical geometry (Euclidean, Hyperbolic and elliptic), with those axioms of congruence that involve the concept of the angle dropped, and `triangle inequality', regarded as an axiom, added.
As I am not a professional, I would like to have an expert opinion before editing the article. Thank you in advance! --94.21.201.110 (talk) 11:17, 17 September 2019 (UTC)