Search results

Create the page "Stub pages of grade: A" on this wiki! See also the search results found.

• Pre-image sigma-algebra
  ...nsion. Needs to be exemplary as a lot of search traffic enters here.|grade=A}} {{Refactor notice|grade=A}}
  1 KB (177 words) - 22:12, 19 April 2016
• Negation of implies
  {{Stub page|grade=C|msg=Formal logic pages to not exist!}} {{Requires cleanup|grade=C|msg=A low grade as the content is and the page isn't important}}
  861 B (153 words) - 21:05, 17 November 2016
• Site:Refactoring
  ...of the parallels between refactoring code (in programming) and refactoring pages (when moving the contents about, re-writing chunks, changing the format fro ...oth the need for the page (Is it important? Will a lot of things build off of this page's content?) and the urgency for refactoring (Is it in dire need?
  2 KB (425 words) - 02:21, 12 April 2016
• The real numbers
  {{Stub page|grade=C|msg=Once cleaned up and fleshed out, demote to D ...ith their "usual topology", the [[topology]] that is [[topology induced by a metric|induced]] by the [[absolute value metric]]
  1 KB (200 words) - 21:31, 26 February 2017
• Coproduct
  * [[Coproduct (category theory)]] - the coproducts below are instances of this in their own [[category]] ** [[Coproduct (topology)]] - a [[categorical coproduct]] in the [[TOP category]]
  577 B (74 words) - 13:22, 20 October 2016
• Extending pre-measures to measures
  ...not trivial. For example, to find the biggest class of sets we can extend a pre-measure to is different to what this page shows.}} This page is just st # A [[extending pre-measures to outer-measures|pre-measure, {{M|\bar{\mu}:\math
  2 KB (257 words) - 17:27, 17 August 2016
• Doctrine:Measure theory terminology
  {{Stub page|grade=A|msg=Templates for doctrine pages and entries for the different stages (proposed, fast-track, accepted...) ne |<center><m>\xymatrix{ \text{Partial measure on a semi-ring} \ar@/^5ex/[drr] & \\
  2 KB (333 words) - 17:49, 27 February 2017
• A subset of a topological space is open if and only if it is a neighbourhood to all of its points
  ...to other pages, gosh for something so simple it's long! Also verification of proof}} ...g {{M|x}}. We call this an "''open neighbourhood''". By default {{M|N}} is a ''neighbourhood to {{M|x}}'' is '''always''' defined to mean:
  8 KB (1,529 words) - 00:27, 6 September 2016
• Formula (FOL)
  ...r PDFs. It requires more references and some fleshing out to link to other pages. But will suffice for now}} The logical formulas of a [[FOL]] are (like {{link|terms|FOL}}) defined [[inductive definition|induct
  3 KB (500 words) - 05:37, 8 September 2016
• Semantics of logical connectives (FOL)
  ...ur PDFs any more, it needs more references, fleshing out, linking to other pages, so forth}} ...be a given [[first order language]] and let {{M|C}} denote the collection of all {{link|logical connective symbols|FOL}}<ref group="Note">Usually this m
  2 KB (369 words) - 07:46, 11 September 2016
• Characteristic property of the disjoint union topology
  {{Stub page|grade=A|msg=Finish proof at least, link to other pages}} {{Requires proof|grade=A|msg=It's actually pretty easy, just got to be careful with the notation}}
  368 B (49 words) - 20:07, 25 September 2016
• Dense
  {{Stub page|grade=B|msg=Revise page, add some links to propositions or theorems using the den '''DENSE IS SPRAWLED OVER LIKE 4 PAGES'''
  6 KB (1,097 words) - 04:15, 1 January 2017
• Equivalent statements to a set being dense
  ...rade C or D once more theorems have been sought out and the page resembles a page rather than its current state}} ...motivation of [[dense set]]. This page describes equivalent conditions to a set being [[dense]].
  3 KB (490 words) - 20:18, 28 October 2016
• Disjoint
  {{Stub page|grade=C|msg=Proper stub page, created just to minimally document something}} {{Requires references|grade=D|msg=Trust me, disjoint means this}}
  2 KB (294 words) - 03:19, 1 October 2016
• Pasting lemma
  ...rade=A*|msg=Create the [[closed pasting lemma]] and [[open pasting lemma]] pages. Do the proof, see page 58.9 in Lee's top manifolds if stuck, shouldn't be # An arbitrary [[open cover]] of {{M|X}}, or
  1 KB (193 words) - 07:07, 14 October 2016
• Module homomorphism
  {{Stub page|grade=A|msg=Flesh out, deal with {{plural|unital module|s}}, so forth}} ...omomorphism]] for a list of other morphism types, and see [[morphism]] for a categorical overview.
  3 KB (432 words) - 22:20, 19 October 2016
• The intersection of two sets is non-empty if and only if there exists a point in one set that is in the other set
  ...created to make the proof of claims in [[Dense]] more applicable to other pages and thus worth covering}} Let {{M|A}} and {{M|B}} be [[sets]]. Then we claim:
  2 KB (287 words) - 19:31, 28 October 2016
• Constant loop based at a point
  {{Stub page|grade=A|msg=Check over, link to other pages (and add links to this page) then demote or remove this}} ...pace]], and let {{M|b\in X}} be given ("the point" in the title). There is a "special" {{link|loop|topology}} called "''the constant loop based at {{M|b
  3 KB (479 words) - 21:03, 1 November 2016
• Operations on convergent sequences of real numbers
  {{Stub page|grade=A*|msg=Demote once cleaned up. Routine work for first years, documenting only * make sure links on [[If a real series converges then its terms tend to zero]] agree}}
  5 KB (900 words) - 05:45, 23 November 2016
• Example:A smooth function that is not real analytic
  {{Stub page|grade=A*|msg=Important to do! Needs to be nice and neat before this is removed.}} ...nt is 0, the derivative of that is 0, and so forth - link to corresponding pages}}
  5 KB (1,030 words) - 04:25, 27 November 2016
• An open ball contains another open ball centred at each of its points
  ...section there is an open ball containing it in the intersection]] which is a precursor to the [[metric topology]] * '''DEMOTE TO GRADE B ONCE THIS PAGE IS LINKED TO BY OTHER PAGES'''}}
  4 KB (824 words) - 17:45, 16 January 2017
• If the intersection of two open balls is non-empty then for every point in the intersection there is an open ball containing it in the intersection
  ...section there is an open ball containing it in the intersection]] which is a precursor to the [[metric topology]] *# [[For any two open balls sharing the same centre point then one or both of them contains the other]]
  6 KB (1,007 words) - 20:16, 16 January 2017
• Boundary (topology)
  {{Stub page|grade=A*|msg=Link to other pages then demote. Specifically: * Include in [[List of topological properties]]
  2 KB (307 words) - 22:57, 23 January 2017
• Intermediate value theorem
  {{Stub page|grade=D|msg=Needs linking to from other pages!}} ...e]] and suppose {{M|f:X\rightarrow}}[[the real line|{{M|\mathbb{R} }}]] is a [[continuous function]], then{{rITTMJML}}:
  5 KB (979 words) - 17:35, 17 February 2017
• Monotonicity of the integral of non-negative extended-real-valued measurable functions with respect to a measure
  ...age|grade=A*|msg=Stub, needs review, linking to from other pages, a bit of a measure-theory shuffle}} ...measurable functions|{{M|\mathcal{M}_{\bar{\mathbb{R} }_{\ge 0} }(\mathcal{A})}}]]<ref group="Note">[[functions]] which map to the [[extended real value
  3 KB (623 words) - 19:41, 14 April 2017
• Statistical test
  ...of statistical tests. Link to [[true/false positive/negative]] and create pages for [[false positive]] and such that redirect to an anchor on that page. Do ...istical test'', {{M|T}}, is characterised by two (a [[ordered pair|pair]]) of [[probability (object)|probabilities]]:
  3 KB (440 words) - 13:32, 14 December 2017
• Rotation matrix
  ...ge|grade=D|msg=Unimportant really as long as it has some links to relevant pages}} ...tion about one of the [[principle axies]], {{M|x}}, {{M|y}} or {{M|z}}, or a general vector.
  842 B (129 words) - 07:54, 3 April 2018