Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Say, " $\psi \Rightarrow \varphi$ " is a theorem and $\psi$ is essential in the hypothesis.

I don't understand what's the meaning of essential.

Here's what i guess;

If $[\psi \Rightarrow \Phi] \bigwedge \neg [\Phi \Rightarrow \psi] \Rightarrow \neg [\Phi \Rightarrow \varphi]$, then we call $\psi$ is essential in the hypothesis.

Am i correct?

share|cite|improve this question
up vote 8 down vote accepted

There is not a single formal definition of an "essential hypothesis"; it is an informal phrase used in mathematics exposition rather than part of the mathematics itself. It's easier to think of a theorem that has several hypotheses $A$ and $B$ and a conclusion $C$. There are two things people usually mean by an "essential" hypothesis.

  • If $A$ and $B$ implies $C$, but $B$ alone does not imply $C$, some people will say $A$ is an essential hypothesis. It is "essential" in the sense that it cannot simply be omitted from the proof. So for example the hypothesis of second-countability in the theorem that "every second-countable regular space is metrizable" is essential in this sense, because not every regular space is metrizable.

  • A stronger meaning is that the conclusion actually implies the hypothesis. For example, in the theorem that every second-countable regular space is metrizable, we know that any metrizable space is regular, so that hypothesis is not only essential in the sense of the first bullet, it is essential in the sense that if the conclusion holds it will also hold.

You have to use context to distinguish between these two meanings. My sense is that the first meaning is more common.

share|cite|improve this answer

Essential means that if the condition does not hold then the conclusion may not be true.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.