hypothesis mathematics

Hypothesis Testing

Hypothesis testing is a tool for making statistical inferences about the population data. It is an analysis tool that tests assumptions and determines how likely something is within a given standard of accuracy. Hypothesis testing provides a way to verify whether the results of an experiment are valid.

A null hypothesis and an alternative hypothesis are set up before performing the hypothesis testing. This helps to arrive at a conclusion regarding the sample obtained from the population. In this article, we will learn more about hypothesis testing, its types, steps to perform the testing, and associated examples.

What is Hypothesis Testing in Statistics?

Hypothesis testing uses sample data from the population to draw useful conclusions regarding the population probability distribution . It tests an assumption made about the data using different types of hypothesis testing methodologies. The hypothesis testing results in either rejecting or not rejecting the null hypothesis.

Hypothesis Testing Definition

Hypothesis testing can be defined as a statistical tool that is used to identify if the results of an experiment are meaningful or not. It involves setting up a null hypothesis and an alternative hypothesis. These two hypotheses will always be mutually exclusive. This means that if the null hypothesis is true then the alternative hypothesis is false and vice versa. An example of hypothesis testing is setting up a test to check if a new medicine works on a disease in a more efficient manner.

Null Hypothesis

The null hypothesis is a concise mathematical statement that is used to indicate that there is no difference between two possibilities. In other words, there is no difference between certain characteristics of data. This hypothesis assumes that the outcomes of an experiment are based on chance alone. It is denoted as \(H_{0}\). Hypothesis testing is used to conclude if the null hypothesis can be rejected or not. Suppose an experiment is conducted to check if girls are shorter than boys at the age of 5. The null hypothesis will say that they are the same height.

Alternative Hypothesis

The alternative hypothesis is an alternative to the null hypothesis. It is used to show that the observations of an experiment are due to some real effect. It indicates that there is a statistical significance between two possible outcomes and can be denoted as \(H_{1}\) or \(H_{a}\). For the above-mentioned example, the alternative hypothesis would be that girls are shorter than boys at the age of 5.

Hypothesis Testing P Value

In hypothesis testing, the p value is used to indicate whether the results obtained after conducting a test are statistically significant or not. It also indicates the probability of making an error in rejecting or not rejecting the null hypothesis.This value is always a number between 0 and 1. The p value is compared to an alpha level, \(\alpha\) or significance level. The alpha level can be defined as the acceptable risk of incorrectly rejecting the null hypothesis. The alpha level is usually chosen between 1% to 5%.

Hypothesis Testing Critical region

All sets of values that lead to rejecting the null hypothesis lie in the critical region. Furthermore, the value that separates the critical region from the non-critical region is known as the critical value.

Hypothesis Testing Formula

Depending upon the type of data available and the size, different types of hypothesis testing are used to determine whether the null hypothesis can be rejected or not. The hypothesis testing formula for some important test statistics are given below:

• z = \(\frac{\overline{x}-\mu}{\frac{\sigma}{\sqrt{n}}}\). \(\overline{x}\) is the sample mean, \(\mu\) is the population mean, \(\sigma\) is the population standard deviation and n is the size of the sample.
• t = \(\frac{\overline{x}-\mu}{\frac{s}{\sqrt{n}}}\). s is the sample standard deviation.
• \(\chi ^{2} = \sum \frac{(O_{i}-E_{i})^{2}}{E_{i}}\). \(O_{i}\) is the observed value and \(E_{i}\) is the expected value.

We will learn more about these test statistics in the upcoming section.

Types of Hypothesis Testing

Selecting the correct test for performing hypothesis testing can be confusing. These tests are used to determine a test statistic on the basis of which the null hypothesis can either be rejected or not rejected. Some of the important tests used for hypothesis testing are given below.

Hypothesis Testing Z Test

A z test is a way of hypothesis testing that is used for a large sample size (n ≥ 30). It is used to determine whether there is a difference between the population mean and the sample mean when the population standard deviation is known. It can also be used to compare the mean of two samples. It is used to compute the z test statistic. The formulas are given as follows:

• One sample: z = \(\frac{\overline{x}-\mu}{\frac{\sigma}{\sqrt{n}}}\).
• Two samples: z = \(\frac{(\overline{x_{1}}-\overline{x_{2}})-(\mu_{1}-\mu_{2})}{\sqrt{\frac{\sigma_{1}^{2}}{n_{1}}+\frac{\sigma_{2}^{2}}{n_{2}}}}\).

Hypothesis Testing t Test

The t test is another method of hypothesis testing that is used for a small sample size (n < 30). It is also used to compare the sample mean and population mean. However, the population standard deviation is not known. Instead, the sample standard deviation is known. The mean of two samples can also be compared using the t test.

• One sample: t = \(\frac{\overline{x}-\mu}{\frac{s}{\sqrt{n}}}\).
• Two samples: t = \(\frac{(\overline{x_{1}}-\overline{x_{2}})-(\mu_{1}-\mu_{2})}{\sqrt{\frac{s_{1}^{2}}{n_{1}}+\frac{s_{2}^{2}}{n_{2}}}}\).

Hypothesis Testing Chi Square

The Chi square test is a hypothesis testing method that is used to check whether the variables in a population are independent or not. It is used when the test statistic is chi-squared distributed.

One Tailed Hypothesis Testing

One tailed hypothesis testing is done when the rejection region is only in one direction. It can also be known as directional hypothesis testing because the effects can be tested in one direction only. This type of testing is further classified into the right tailed test and left tailed test.

Right Tailed Hypothesis Testing

The right tail test is also known as the upper tail test. This test is used to check whether the population parameter is greater than some value. The null and alternative hypotheses for this test are given as follows:

\(H_{0}\): The population parameter is ≤ some value

\(H_{1}\): The population parameter is > some value.

If the test statistic has a greater value than the critical value then the null hypothesis is rejected

Left Tailed Hypothesis Testing

The left tail test is also known as the lower tail test. It is used to check whether the population parameter is less than some value. The hypotheses for this hypothesis testing can be written as follows:

\(H_{0}\): The population parameter is ≥ some value

\(H_{1}\): The population parameter is < some value.

The null hypothesis is rejected if the test statistic has a value lesser than the critical value.

Two Tailed Hypothesis Testing

In this hypothesis testing method, the critical region lies on both sides of the sampling distribution. It is also known as a non - directional hypothesis testing method. The two-tailed test is used when it needs to be determined if the population parameter is assumed to be different than some value. The hypotheses can be set up as follows:

\(H_{0}\): the population parameter = some value

\(H_{1}\): the population parameter ≠ some value

The null hypothesis is rejected if the test statistic has a value that is not equal to the critical value.

Hypothesis Testing Steps

Hypothesis testing can be easily performed in five simple steps. The most important step is to correctly set up the hypotheses and identify the right method for hypothesis testing. The basic steps to perform hypothesis testing are as follows:

• Step 1: Set up the null hypothesis by correctly identifying whether it is the left-tailed, right-tailed, or two-tailed hypothesis testing.
• Step 2: Set up the alternative hypothesis.
• Step 3: Choose the correct significance level, \(\alpha\), and find the critical value.
• Step 4: Calculate the correct test statistic (z, t or \(\chi\)) and p-value.
• Step 5: Compare the test statistic with the critical value or compare the p-value with \(\alpha\) to arrive at a conclusion. In other words, decide if the null hypothesis is to be rejected or not.

Hypothesis Testing Example

The best way to solve a problem on hypothesis testing is by applying the 5 steps mentioned in the previous section. Suppose a researcher claims that the mean average weight of men is greater than 100kgs with a standard deviation of 15kgs. 30 men are chosen with an average weight of 112.5 Kgs. Using hypothesis testing, check if there is enough evidence to support the researcher's claim. The confidence interval is given as 95%.

Step 1: This is an example of a right-tailed test. Set up the null hypothesis as \(H_{0}\): \(\mu\) = 100.

Step 2: The alternative hypothesis is given by \(H_{1}\): \(\mu\) > 100.

Step 3: As this is a one-tailed test, \(\alpha\) = 100% - 95% = 5%. This can be used to determine the critical value.

1 - \(\alpha\) = 1 - 0.05 = 0.95

0.95 gives the required area under the curve. Now using a normal distribution table, the area 0.95 is at z = 1.645. A similar process can be followed for a t-test. The only additional requirement is to calculate the degrees of freedom given by n - 1.

Step 4: Calculate the z test statistic. This is because the sample size is 30. Furthermore, the sample and population means are known along with the standard deviation.

z = \(\frac{\overline{x}-\mu}{\frac{\sigma}{\sqrt{n}}}\).

\(\mu\) = 100, \(\overline{x}\) = 112.5, n = 30, \(\sigma\) = 15

z = \(\frac{112.5-100}{\frac{15}{\sqrt{30}}}\) = 4.56

Step 5: Conclusion. As 4.56 > 1.645 thus, the null hypothesis can be rejected.

Hypothesis Testing and Confidence Intervals

Confidence intervals form an important part of hypothesis testing. This is because the alpha level can be determined from a given confidence interval. Suppose a confidence interval is given as 95%. Subtract the confidence interval from 100%. This gives 100 - 95 = 5% or 0.05. This is the alpha value of a one-tailed hypothesis testing. To obtain the alpha value for a two-tailed hypothesis testing, divide this value by 2. This gives 0.05 / 2 = 0.025.

Related Articles:

• Probability and Statistics
• Data Handling

Important Notes on Hypothesis Testing

• Hypothesis testing is a technique that is used to verify whether the results of an experiment are statistically significant.
• It involves the setting up of a null hypothesis and an alternate hypothesis.
• There are three types of tests that can be conducted under hypothesis testing - z test, t test, and chi square test.
• Hypothesis testing can be classified as right tail, left tail, and two tail tests.

Examples on Hypothesis Testing

• Example 1: The average weight of a dumbbell in a gym is 90lbs. However, a physical trainer believes that the average weight might be higher. A random sample of 5 dumbbells with an average weight of 110lbs and a standard deviation of 18lbs. Using hypothesis testing check if the physical trainer's claim can be supported for a 95% confidence level. Solution: As the sample size is lesser than 30, the t-test is used. \(H_{0}\): \(\mu\) = 90, \(H_{1}\): \(\mu\) > 90 \(\overline{x}\) = 110, \(\mu\) = 90, n = 5, s = 18. \(\alpha\) = 0.05 Using the t-distribution table, the critical value is 2.132 t = \(\frac{\overline{x}-\mu}{\frac{s}{\sqrt{n}}}\) t = 2.484 As 2.484 > 2.132, the null hypothesis is rejected. Answer: The average weight of the dumbbells may be greater than 90lbs
• Example 2: The average score on a test is 80 with a standard deviation of 10. With a new teaching curriculum introduced it is believed that this score will change. On random testing, the score of 38 students, the mean was found to be 88. With a 0.05 significance level, is there any evidence to support this claim? Solution: This is an example of two-tail hypothesis testing. The z test will be used. \(H_{0}\): \(\mu\) = 80, \(H_{1}\): \(\mu\) ≠ 80 \(\overline{x}\) = 88, \(\mu\) = 80, n = 36, \(\sigma\) = 10. \(\alpha\) = 0.05 / 2 = 0.025 The critical value using the normal distribution table is 1.96 z = \(\frac{\overline{x}-\mu}{\frac{\sigma}{\sqrt{n}}}\) z = \(\frac{88-80}{\frac{10}{\sqrt{36}}}\) = 4.8 As 4.8 > 1.96, the null hypothesis is rejected. Answer: There is a difference in the scores after the new curriculum was introduced.
• Example 3: The average score of a class is 90. However, a teacher believes that the average score might be lower. The scores of 6 students were randomly measured. The mean was 82 with a standard deviation of 18. With a 0.05 significance level use hypothesis testing to check if this claim is true. Solution: The t test will be used. \(H_{0}\): \(\mu\) = 90, \(H_{1}\): \(\mu\) < 90 \(\overline{x}\) = 110, \(\mu\) = 90, n = 6, s = 18 The critical value from the t table is -2.015 t = \(\frac{\overline{x}-\mu}{\frac{s}{\sqrt{n}}}\) t = \(\frac{82-90}{\frac{18}{\sqrt{6}}}\) t = -1.088 As -1.088 > -2.015, we fail to reject the null hypothesis. Answer: There is not enough evidence to support the claim.

go to slide go to slide go to slide

Book a Free Trial Class

FAQs on Hypothesis Testing

What is hypothesis testing.

Hypothesis testing in statistics is a tool that is used to make inferences about the population data. It is also used to check if the results of an experiment are valid.

What is the z Test in Hypothesis Testing?

The z test in hypothesis testing is used to find the z test statistic for normally distributed data . The z test is used when the standard deviation of the population is known and the sample size is greater than or equal to 30.

What is the t Test in Hypothesis Testing?

The t test in hypothesis testing is used when the data follows a student t distribution . It is used when the sample size is less than 30 and standard deviation of the population is not known.

What is the formula for z test in Hypothesis Testing?

The formula for a one sample z test in hypothesis testing is z = \(\frac{\overline{x}-\mu}{\frac{\sigma}{\sqrt{n}}}\) and for two samples is z = \(\frac{(\overline{x_{1}}-\overline{x_{2}})-(\mu_{1}-\mu_{2})}{\sqrt{\frac{\sigma_{1}^{2}}{n_{1}}+\frac{\sigma_{2}^{2}}{n_{2}}}}\).

What is the p Value in Hypothesis Testing?

The p value helps to determine if the test results are statistically significant or not. In hypothesis testing, the null hypothesis can either be rejected or not rejected based on the comparison between the p value and the alpha level.

What is One Tail Hypothesis Testing?

When the rejection region is only on one side of the distribution curve then it is known as one tail hypothesis testing. The right tail test and the left tail test are two types of directional hypothesis testing.

What is the Alpha Level in Two Tail Hypothesis Testing?

To get the alpha level in a two tail hypothesis testing divide \(\alpha\) by 2. This is done as there are two rejection regions in the curve.

Reset password New user? Sign up

Existing user? Log in

Hypothesis Testing

Already have an account? Log in here.

A hypothesis test is a statistical inference method used to test the significance of a proposed (hypothesized) relation between population statistics (parameters) and their corresponding sample estimators . In other words, hypothesis tests are used to determine if there is enough evidence in a sample to prove a hypothesis true for the entire population.

The test considers two hypotheses: the null hypothesis , which is a statement meant to be tested, usually something like "there is no effect" with the intention of proving this false, and the alternate hypothesis , which is the statement meant to stand after the test is performed. The two hypotheses must be mutually exclusive ; moreover, in most applications, the two are complementary (one being the negation of the other). The test works by comparing the \(p\)-value to the level of significance (a chosen target). If the \(p\)-value is less than or equal to the level of significance, then the null hypothesis is rejected.

When analyzing data, only samples of a certain size might be manageable as efficient computations. In some situations the error terms follow a continuous or infinite distribution, hence the use of samples to suggest accuracy of the chosen test statistics. The method of hypothesis testing gives an advantage over guessing what distribution or which parameters the data follows.

Definitions and Methodology

Hypothesis test and confidence intervals.

In statistical inference, properties (parameters) of a population are analyzed by sampling data sets. Given assumptions on the distribution, i.e. a statistical model of the data, certain hypotheses can be deduced from the known behavior of the model. These hypotheses must be tested against sampled data from the population.

The null hypothesis \((\)denoted \(H_0)\) is a statement that is assumed to be true. If the null hypothesis is rejected, then there is enough evidence (statistical significance) to accept the alternate hypothesis \((\)denoted \(H_1).\) Before doing any test for significance, both hypotheses must be clearly stated and non-conflictive, i.e. mutually exclusive, statements. Rejecting the null hypothesis, given that it is true, is called a type I error and it is denoted \(\alpha\), which is also its probability of occurrence. Failing to reject the null hypothesis, given that it is false, is called a type II error and it is denoted \(\beta\), which is also its probability of occurrence. Also, \(\alpha\) is known as the significance level , and \(1-\beta\) is known as the power of the test. \(H_0\) \(\textbf{is true}\)\(\hspace{15mm}\) \(H_0\) \(\textbf{is false}\) \(\textbf{Reject}\) \(H_0\)\(\hspace{10mm}\) Type I error Correct Decision \(\textbf{Reject}\) \(H_1\) Correct Decision Type II error The test statistic is the standardized value following the sampled data under the assumption that the null hypothesis is true, and a chosen particular test. These tests depend on the statistic to be studied and the assumed distribution it follows, e.g. the population mean following a normal distribution. The \(p\)-value is the probability of observing an extreme test statistic in the direction of the alternate hypothesis, given that the null hypothesis is true. The critical value is the value of the assumed distribution of the test statistic such that the probability of making a type I error is small.

Methodologies: Given an estimator \(\hat \theta\) of a population statistic \(\theta\), following a probability distribution \(P(T)\), computed from a sample \(\mathcal{S},\) and given a significance level \(\alpha\) and test statistic \(t^*,\) define \(H_0\) and \(H_1;\) compute the test statistic \(t^*.\) \(p\)-value Approach (most prevalent): Find the \(p\)-value using \(t^*\) (right-tailed). If the \(p\)-value is at most \(\alpha,\) reject \(H_0\). Otherwise, reject \(H_1\). Critical Value Approach: Find the critical value solving the equation \(P(T\geq t_\alpha)=\alpha\) (right-tailed). If \(t^*>t_\alpha\), reject \(H_0\). Otherwise, reject \(H_1\). Note: Failing to reject \(H_0\) only means inability to accept \(H_1\), and it does not mean to accept \(H_0\).

Assume a normally distributed population has recorded cholesterol levels with various statistics computed. From a sample of 100 subjects in the population, the sample mean was 214.12 mg/dL (milligrams per deciliter), with a sample standard deviation of 45.71 mg/dL. Perform a hypothesis test, with significance level 0.05, to test if there is enough evidence to conclude that the population mean is larger than 200 mg/dL. Hypothesis Test We will perform a hypothesis test using the \(p\)-value approach with significance level \(\alpha=0.05:\) Define \(H_0\): \(\mu=200\). Define \(H_1\): \(\mu>200\). Since our values are normally distributed, the test statistic is \(z^*=\frac{\bar X - \mu_0}{\frac{s}{\sqrt{n}}}=\frac{214.12 - 200}{\frac{45.71}{\sqrt{100}}}\approx 3.09\). Using a standard normal distribution, we find that our \(p\)-value is approximately \(0.001\). Since the \(p\)-value is at most \(\alpha=0.05,\) we reject \(H_0\). Therefore, we can conclude that the test shows sufficient evidence to support the claim that \(\mu\) is larger than \(200\) mg/dL.

If the sample size was smaller, the normal and \(t\)-distributions behave differently. Also, the question itself must be managed by a double-tail test instead.

Assume a population's cholesterol levels are recorded and various statistics are computed. From a sample of 25 subjects, the sample mean was 214.12 mg/dL (milligrams per deciliter), with a sample standard deviation of 45.71 mg/dL. Perform a hypothesis test, with significance level 0.05, to test if there is enough evidence to conclude that the population mean is not equal to 200 mg/dL. Hypothesis Test We will perform a hypothesis test using the \(p\)-value approach with significance level \(\alpha=0.05\) and the \(t\)-distribution with 24 degrees of freedom: Define \(H_0\): \(\mu=200\). Define \(H_1\): \(\mu\neq 200\). Using the \(t\)-distribution, the test statistic is \(t^*=\frac{\bar X - \mu_0}{\frac{s}{\sqrt{n}}}=\frac{214.12 - 200}{\frac{45.71}{\sqrt{25}}}\approx 1.54\). Using a \(t\)-distribution with 24 degrees of freedom, we find that our \(p\)-value is approximately \(2(0.068)=0.136\). We have multiplied by two since this is a two-tailed argument, i.e. the mean can be smaller than or larger than. Since the \(p\)-value is larger than \(\alpha=0.05,\) we fail to reject \(H_0\). Therefore, the test does not show sufficient evidence to support the claim that \(\mu\) is not equal to \(200\) mg/dL.

The complement of the rejection on a two-tailed hypothesis test (with significance level \(\alpha\)) for a population parameter \(\theta\) is equivalent to finding a confidence interval \((\)with confidence level \(1-\alpha)\) for the population parameter \(\theta\). If the assumption on the parameter \(\theta\) falls inside the confidence interval, then the test has failed to reject the null hypothesis \((\)with \(p\)-value greater than \(\alpha).\) Otherwise, if \(\theta\) does not fall in the confidence interval, then the null hypothesis is rejected in favor of the alternate \((\)with \(p\)-value at most \(\alpha).\)

• Statistics (Estimation)
• Normal Distribution
• Correlation
• Confidence Intervals

Problem Loading...

Note Loading...

Set Loading...

A statement that could be true, which might then be tested.

Example: Sam has a hypothesis that "large dogs are better at catching tennis balls than small dogs". We can test that hypothesis by having hundreds of different sized dogs try to catch tennis balls.

Sometimes the hypothesis won't be tested, it is simply a good explanation (which could be wrong). Conjecture is a better word for this.

Example: you notice the temperature drops just as the sun rises. Your hypothesis is that the sun warms the air high above you, which rises up and then cooler air comes from the sides.

Note: when someone says "I have a theory" they should say "I have a hypothesis", because in mathematics a theory is actually well proven.

• school Campus Bookshelves
• menu_book Bookshelves
• perm_media Learning Objects
• login Login
• how_to_reg Request Instructor Account
• hub Instructor Commons

Margin Size

• Download Page (PDF)
• Download Full Book (PDF)
• Periodic Table
• Physics Constants
• Scientific Calculator
• Reference & Cite
• Tools expand_more
• Readability

selected template will load here

This action is not available.

9.1: Introduction to Hypothesis Testing

• Last updated
• Save as PDF
• Page ID 10211

• Kyle Siegrist
• University of Alabama in Huntsville via Random Services

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

Basic Theory

Preliminaries.

As usual, our starting point is a random experiment with an underlying sample space and a probability measure \(\P\). In the basic statistical model, we have an observable random variable \(\bs{X}\) taking values in a set \(S\). In general, \(\bs{X}\) can have quite a complicated structure. For example, if the experiment is to sample \(n\) objects from a population and record various measurements of interest, then \[ \bs{X} = (X_1, X_2, \ldots, X_n) \] where \(X_i\) is the vector of measurements for the \(i\)th object. The most important special case occurs when \((X_1, X_2, \ldots, X_n)\) are independent and identically distributed. In this case, we have a random sample of size \(n\) from the common distribution.

The purpose of this section is to define and discuss the basic concepts of statistical hypothesis testing . Collectively, these concepts are sometimes referred to as the Neyman-Pearson framework, in honor of Jerzy Neyman and Egon Pearson, who first formalized them.

A statistical hypothesis is a statement about the distribution of \(\bs{X}\). Equivalently, a statistical hypothesis specifies a set of possible distributions of \(\bs{X}\): the set of distributions for which the statement is true. A hypothesis that specifies a single distribution for \(\bs{X}\) is called simple ; a hypothesis that specifies more than one distribution for \(\bs{X}\) is called composite .

In hypothesis testing , the goal is to see if there is sufficient statistical evidence to reject a presumed null hypothesis in favor of a conjectured alternative hypothesis . The null hypothesis is usually denoted \(H_0\) while the alternative hypothesis is usually denoted \(H_1\).

An hypothesis test is a statistical decision ; the conclusion will either be to reject the null hypothesis in favor of the alternative, or to fail to reject the null hypothesis. The decision that we make must, of course, be based on the observed value \(\bs{x}\) of the data vector \(\bs{X}\). Thus, we will find an appropriate subset \(R\) of the sample space \(S\) and reject \(H_0\) if and only if \(\bs{x} \in R\). The set \(R\) is known as the rejection region or the critical region . Note the asymmetry between the null and alternative hypotheses. This asymmetry is due to the fact that we assume the null hypothesis, in a sense, and then see if there is sufficient evidence in \(\bs{x}\) to overturn this assumption in favor of the alternative.

An hypothesis test is a statistical analogy to proof by contradiction, in a sense. Suppose for a moment that \(H_1\) is a statement in a mathematical theory and that \(H_0\) is its negation. One way that we can prove \(H_1\) is to assume \(H_0\) and work our way logically to a contradiction. In an hypothesis test, we don't prove anything of course, but there are similarities. We assume \(H_0\) and then see if the data \(\bs{x}\) are sufficiently at odds with that assumption that we feel justified in rejecting \(H_0\) in favor of \(H_1\).

Often, the critical region is defined in terms of a statistic \(w(\bs{X})\), known as a test statistic , where \(w\) is a function from \(S\) into another set \(T\). We find an appropriate rejection region \(R_T \subseteq T\) and reject \(H_0\) when the observed value \(w(\bs{x}) \in R_T\). Thus, the rejection region in \(S\) is then \(R = w^{-1}(R_T) = \left\{\bs{x} \in S: w(\bs{x}) \in R_T\right\}\). As usual, the use of a statistic often allows significant data reduction when the dimension of the test statistic is much smaller than the dimension of the data vector.

The ultimate decision may be correct or may be in error. There are two types of errors, depending on which of the hypotheses is actually true.

Types of errors:

• A type 1 error is rejecting the null hypothesis \(H_0\) when \(H_0\) is true.
• A type 2 error is failing to reject the null hypothesis \(H_0\) when the alternative hypothesis \(H_1\) is true.

Similarly, there are two ways to make a correct decision: we could reject \(H_0\) when \(H_1\) is true or we could fail to reject \(H_0\) when \(H_0\) is true. The possibilities are summarized in the following table:

Of course, when we observe \(\bs{X} = \bs{x}\) and make our decision, either we will have made the correct decision or we will have committed an error, and usually we will never know which of these events has occurred. Prior to gathering the data, however, we can consider the probabilities of the various errors.

If \(H_0\) is true (that is, the distribution of \(\bs{X}\) is specified by \(H_0\)), then \(\P(\bs{X} \in R)\) is the probability of a type 1 error for this distribution. If \(H_0\) is composite, then \(H_0\) specifies a variety of different distributions for \(\bs{X}\) and thus there is a set of type 1 error probabilities.

The maximum probability of a type 1 error, over the set of distributions specified by \( H_0 \), is the significance level of the test or the size of the critical region.

The significance level is often denoted by \(\alpha\). Usually, the rejection region is constructed so that the significance level is a prescribed, small value (typically 0.1, 0.05, 0.01).

If \(H_1\) is true (that is, the distribution of \(\bs{X}\) is specified by \(H_1\)), then \(\P(\bs{X} \notin R)\) is the probability of a type 2 error for this distribution. Again, if \(H_1\) is composite then \(H_1\) specifies a variety of different distributions for \(\bs{X}\), and thus there will be a set of type 2 error probabilities. Generally, there is a tradeoff between the type 1 and type 2 error probabilities. If we reduce the probability of a type 1 error, by making the rejection region \(R\) smaller, we necessarily increase the probability of a type 2 error because the complementary region \(S \setminus R\) is larger.

The extreme cases can give us some insight. First consider the decision rule in which we never reject \(H_0\), regardless of the evidence \(\bs{x}\). This corresponds to the rejection region \(R = \emptyset\). A type 1 error is impossible, so the significance level is 0. On the other hand, the probability of a type 2 error is 1 for any distribution defined by \(H_1\). At the other extreme, consider the decision rule in which we always rejects \(H_0\) regardless of the evidence \(\bs{x}\). This corresponds to the rejection region \(R = S\). A type 2 error is impossible, but now the probability of a type 1 error is 1 for any distribution defined by \(H_0\). In between these two worthless tests are meaningful tests that take the evidence \(\bs{x}\) into account.

If \(H_1\) is true, so that the distribution of \(\bs{X}\) is specified by \(H_1\), then \(\P(\bs{X} \in R)\), the probability of rejecting \(H_0\) is the power of the test for that distribution.

Thus the power of the test for a distribution specified by \( H_1 \) is the probability of making the correct decision.

Suppose that we have two tests, corresponding to rejection regions \(R_1\) and \(R_2\), respectively, each having significance level \(\alpha\). The test with region \(R_1\) is uniformly more powerful than the test with region \(R_2\) if \[ \P(\bs{X} \in R_1) \ge \P(\bs{X} \in R_2) \text{ for every distribution of } \bs{X} \text{ specified by } H_1 \]

Naturally, in this case, we would prefer the first test. Often, however, two tests will not be uniformly ordered; one test will be more powerful for some distributions specified by \(H_1\) while the other test will be more powerful for other distributions specified by \(H_1\).

If a test has significance level \(\alpha\) and is uniformly more powerful than any other test with significance level \(\alpha\), then the test is said to be a uniformly most powerful test at level \(\alpha\).

Clearly a uniformly most powerful test is the best we can do.

\(P\)-value

In most cases, we have a general procedure that allows us to construct a test (that is, a rejection region \(R_\alpha\)) for any given significance level \(\alpha \in (0, 1)\). Typically, \(R_\alpha\) decreases (in the subset sense) as \(\alpha\) decreases.

The \(P\)-value of the observed value \(\bs{x}\) of \(\bs{X}\), denoted \(P(\bs{x})\), is defined to be the smallest \(\alpha\) for which \(\bs{x} \in R_\alpha\); that is, the smallest significance level for which \(H_0\) is rejected, given \(\bs{X} = \bs{x}\).

Knowing \(P(\bs{x})\) allows us to test \(H_0\) at any significance level for the given data \(\bs{x}\): If \(P(\bs{x}) \le \alpha\) then we would reject \(H_0\) at significance level \(\alpha\); if \(P(\bs{x}) \gt \alpha\) then we fail to reject \(H_0\) at significance level \(\alpha\). Note that \(P(\bs{X})\) is a statistic . Informally, \(P(\bs{x})\) can often be thought of as the probability of an outcome as or more extreme than the observed value \(\bs{x}\), where extreme is interpreted relative to the null hypothesis \(H_0\).

Analogy with Justice Systems

There is a helpful analogy between statistical hypothesis testing and the criminal justice system in the US and various other countries. Consider a person charged with a crime. The presumed null hypothesis is that the person is innocent of the crime; the conjectured alternative hypothesis is that the person is guilty of the crime. The test of the hypotheses is a trial with evidence presented by both sides playing the role of the data. After considering the evidence, the jury delivers the decision as either not guilty or guilty . Note that innocent is not a possible verdict of the jury, because it is not the point of the trial to prove the person innocent. Rather, the point of the trial is to see whether there is sufficient evidence to overturn the null hypothesis that the person is innocent in favor of the alternative hypothesis of that the person is guilty. A type 1 error is convicting a person who is innocent; a type 2 error is acquitting a person who is guilty. Generally, a type 1 error is considered the more serious of the two possible errors, so in an attempt to hold the chance of a type 1 error to a very low level, the standard for conviction in serious criminal cases is beyond a reasonable doubt .

Tests of an Unknown Parameter

Hypothesis testing is a very general concept, but an important special class occurs when the distribution of the data variable \(\bs{X}\) depends on a parameter \(\theta\) taking values in a parameter space \(\Theta\). The parameter may be vector-valued, so that \(\bs{\theta} = (\theta_1, \theta_2, \ldots, \theta_n)\) and \(\Theta \subseteq \R^k\) for some \(k \in \N_+\). The hypotheses generally take the form \[ H_0: \theta \in \Theta_0 \text{ versus } H_1: \theta \notin \Theta_0 \] where \(\Theta_0\) is a prescribed subset of the parameter space \(\Theta\). In this setting, the probabilities of making an error or a correct decision depend on the true value of \(\theta\). If \(R\) is the rejection region, then the power function \( Q \) is given by \[ Q(\theta) = \P_\theta(\bs{X} \in R), \quad \theta \in \Theta \] The power function gives a lot of information about the test.

The power function satisfies the following properties:

• \(Q(\theta)\) is the probability of a type 1 error when \(\theta \in \Theta_0\).
• \(\max\left\{Q(\theta): \theta \in \Theta_0\right\}\) is the significance level of the test.
• \(1 - Q(\theta)\) is the probability of a type 2 error when \(\theta \notin \Theta_0\).
• \(Q(\theta)\) is the power of the test when \(\theta \notin \Theta_0\).

If we have two tests, we can compare them by means of their power functions.

Suppose that we have two tests, corresponding to rejection regions \(R_1\) and \(R_2\), respectively, each having significance level \(\alpha\). The test with rejection region \(R_1\) is uniformly more powerful than the test with rejection region \(R_2\) if \( Q_1(\theta) \ge Q_2(\theta)\) for all \( \theta \notin \Theta_0 \).

Most hypothesis tests of an unknown real parameter \(\theta\) fall into three special cases:

Suppose that \( \theta \) is a real parameter and \( \theta_0 \in \Theta \) a specified value. The tests below are respectively the two-sided test , the left-tailed test , and the right-tailed test .

• \(H_0: \theta = \theta_0\) versus \(H_1: \theta \ne \theta_0\)
• \(H_0: \theta \ge \theta_0\) versus \(H_1: \theta \lt \theta_0\)
• \(H_0: \theta \le \theta_0\) versus \(H_1: \theta \gt \theta_0\)

Thus the tests are named after the conjectured alternative. Of course, there may be other unknown parameters besides \(\theta\) (known as nuisance parameters ).

Equivalence Between Hypothesis Test and Confidence Sets

There is an equivalence between hypothesis tests and confidence sets for a parameter \(\theta\).

Suppose that \(C(\bs{x})\) is a \(1 - \alpha\) level confidence set for \(\theta\). The following test has significance level \(\alpha\) for the hypothesis \( H_0: \theta = \theta_0 \) versus \( H_1: \theta \ne \theta_0 \): Reject \(H_0\) if and only if \(\theta_0 \notin C(\bs{x})\)

By definition, \(\P[\theta \in C(\bs{X})] = 1 - \alpha\). Hence if \(H_0\) is true so that \(\theta = \theta_0\), then the probability of a type 1 error is \(P[\theta \notin C(\bs{X})] = \alpha\).

Equivalently, we fail to reject \(H_0\) at significance level \(\alpha\) if and only if \(\theta_0\) is in the corresponding \(1 - \alpha\) level confidence set. In particular, this equivalence applies to interval estimates of a real parameter \(\theta\) and the common tests for \(\theta\) given above .

In each case below, the confidence interval has confidence level \(1 - \alpha\) and the test has significance level \(\alpha\).

• Suppose that \(\left[L(\bs{X}, U(\bs{X})\right]\) is a two-sided confidence interval for \(\theta\). Reject \(H_0: \theta = \theta_0\) versus \(H_1: \theta \ne \theta_0\) if and only if \(\theta_0 \lt L(\bs{X})\) or \(\theta_0 \gt U(\bs{X})\).
• Suppose that \(L(\bs{X})\) is a confidence lower bound for \(\theta\). Reject \(H_0: \theta \le \theta_0\) versus \(H_1: \theta \gt \theta_0\) if and only if \(\theta_0 \lt L(\bs{X})\).
• Suppose that \(U(\bs{X})\) is a confidence upper bound for \(\theta\). Reject \(H_0: \theta \ge \theta_0\) versus \(H_1: \theta \lt \theta_0\) if and only if \(\theta_0 \gt U(\bs{X})\).

Pivot Variables and Test Statistics

Recall that confidence sets of an unknown parameter \(\theta\) are often constructed through a pivot variable , that is, a random variable \(W(\bs{X}, \theta)\) that depends on the data vector \(\bs{X}\) and the parameter \(\theta\), but whose distribution does not depend on \(\theta\) and is known. In this case, a natural test statistic for the basic tests given above is \(W(\bs{X}, \theta_0)\).

Or search by topic

Number and algebra

• The Number System and Place Value
• Calculations and Numerical Methods
• Fractions, Decimals, Percentages, Ratio and Proportion
• Properties of Numbers
• Patterns, Sequences and Structure
• Algebraic expressions, equations and formulae
• Coordinates, Functions and Graphs

Geometry and measure

• Angles, Polygons, and Geometrical Proof
• 3D Geometry, Shape and Space
• Measuring and calculating with units
• Transformations and constructions
• Pythagoras and Trigonometry
• Vectors and Matrices

Probability and statistics

• Handling, Processing and Representing Data
• Probability

Working mathematically

• Thinking mathematically
• Mathematical mindsets
• Cross-curricular contexts
• Physical and digital manipulatives

For younger learners

• Early Years Foundation Stage

Advanced mathematics

• Decision Mathematics and Combinatorics
• Advanced Probability and Statistics

Published 2008 Revised 2019

Understanding Hypotheses

'What happens if ... ?' to ' This will happen if'

The experimentation of children continually moves on to the exploration of new ideas and the refinement of their world view of previously understood situations. This description of the playtime patterns of young children very nicely models the concept of 'making and testing hypotheses'. It follows this pattern:

• Make some observations. Collect some data based on the observations.
• Draw a conclusion (called a 'hypothesis') which will explain the pattern of the observations.
• Test out your hypothesis by making some more targeted observations.

So, we have

• A hypothesis is a statement or idea which gives an explanation to a series of observations.

Sometimes, following observation, a hypothesis will clearly need to be refined or rejected. This happens if a single contradictory observation occurs. For example, suppose that a child is trying to understand the concept of a dog. He reads about several dogs in children's books and sees that they are always friendly and fun. He makes the natural hypothesis in his mind that dogs are friendly and fun . He then meets his first real dog: his neighbour's puppy who is great fun to play with. This reinforces his hypothesis. His cousin's dog is also very friendly and great fun. He meets some of his friends' dogs on various walks to playgroup. They are also friendly and fun. He is now confident that his hypothesis is sound. Suddenly, one day, he sees a dog, tries to stroke it and is bitten. This experience contradicts his hypothesis. He will need to amend the hypothesis. We see that

• Gathering more evidence/data can strengthen a hypothesis if it is in agreement with the hypothesis.
• If the data contradicts the hypothesis then the hypothesis must be rejected or amended to take into account the contradictory situation.

• A contradictory observation can cause us to know for certain that a hypothesis is incorrect.
• Accumulation of supporting experimental evidence will strengthen a hypothesis but will never let us know for certain that the hypothesis is true.

In short, it is possible to show that a hypothesis is false, but impossible to prove that it is true!

Whilst we can never prove a scientific hypothesis to be true, there will be a certain stage at which we decide that there is sufficient supporting experimental data for us to accept the hypothesis. The point at which we make the choice to accept a hypothesis depends on many factors. In practice, the key issues are

• What are the implications of mistakenly accepting a hypothesis which is false?
• What are the cost / time implications of gathering more data?
• What are the implications of not accepting in a timely fashion a true hypothesis?

For example, suppose that a drug company is testing a new cancer drug. They hypothesise that the drug is safe with no side effects. If they are mistaken in this belief and release the drug then the results could have a disastrous effect on public health. However, running extended clinical trials might be very costly and time consuming. Furthermore, a delay in accepting the hypothesis and releasing the drug might also have a negative effect on the health of many people.

In short, whilst we can never achieve absolute certainty with the testing of hypotheses, in order to make progress in science or industry decisions need to be made. There is a fine balance to be made between action and inaction.

Hypotheses and mathematics So where does mathematics enter into this picture? In many ways, both obvious and subtle:

• A good hypothesis needs to be clear, precisely stated and testable in some way. Creation of these clear hypotheses requires clear general mathematical thinking.
• The data from experiments must be carefully analysed in relation to the original hypothesis. This requires the data to be structured, operated upon, prepared and displayed in appropriate ways. The levels of this process can range from simple to exceedingly complex.

Very often, the situation under analysis will appear to be complicated and unclear. Part of the mathematics of the task will be to impose a clear structure on the problem. The clarity of thought required will actively be developed through more abstract mathematical study. Those without sufficient general mathematical skill will be unable to perform an appropriate logical analysis.

Using deductive reasoning in hypothesis testing

There is often confusion between the ideas surrounding proof, which is mathematics, and making and testing an experimental hypothesis, which is science. The difference is rather simple:

• Mathematics is based on deductive reasoning : a proof is a logical deduction from a set of clear inputs.
• Science is based on inductive reasoning : hypotheses are strengthened or rejected based on an accumulation of experimental evidence.

Of course, to be good at science, you need to be good at deductive reasoning, although experts at deductive reasoning need not be mathematicians. Detectives, such as Sherlock Holmes and Hercule Poirot, are such experts: they collect evidence from a crime scene and then draw logical conclusions from the evidence to support the hypothesis that, for example, Person M. committed the crime. They use this evidence to create sufficiently compelling deductions to support their hypotheses beyond reasonable doubt . The key word here is 'reasonable'. There is always the possibility of creating an exceedingly outlandish scenario to explain away any hypothesis of a detective or prosecution lawyer, but judges and juries in courts eventually make the decision that the probability of such eventualities are 'small' and the chance of the hypothesis being correct 'high'.

• If a set of data is normally distributed with mean 0 and standard deviation 0.5 then there is a 97.7% certainty that a measurement will not exceed 1.0.
• If the mean of a sample of data is 12, how confident can we be that the true mean of the population lies between 11 and 13?

It is at this point that making and testing hypotheses becomes a true branch of mathematics. This mathematics is difficult, but fascinating and highly relevant in the information-rich world of today.

To read more about the technical side of hypothesis testing, take a look at What is a Hypothesis Test?

You might also enjoy reading the articles on statistics on the Understanding Uncertainty website

This resource is part of the collection Statistics - Maths of Real Life

• Hypothesis testing

by Marco Taboga , PhD

Hypothesis testing is a method of making statistical inferences in which:

we establish an hypothesis, called null hypothesis;

we use some data to decide whether to reject or not to reject the hypothesis.

This lecture provides a rigorous introduction to the mathematics of hypothesis tests, and it provides several links to other pages where the single steps of a test of hypothesis can be studied in more detail.

Table of contents

What you need to know to get started

Testing restrictions, parametric tests, null hypothesis.

• Alternative hypothesis

Types of errors

Critical region, test statistic, power function, size of a test, criteria to evaluate tests.

Remember that a statistical inference is a statement about the probability distribution from which a sample has been drawn.

The statement we make is chosen between two possible statements:

For concreteness, we will focus on parametric hypothesis testing in this lecture, but most of the things we will say apply with straightforward modifications to hypothesis testing in general.

Understanding how to formulate a null hypothesis is a fundamental step in hypothesis testing. We suggest to read a thorough discussion of null hypotheses here .

When we decide whether to reject a restriction or not to reject it, we can incur in two types of errors:

This mathematical formulation is made more concrete in the next section.

The critical region is often implicitly defined in terms of a test statistic and a critical region for the test statistic.

Example In our example, where we are testing that the mean of the normal distribution is zero, we could use a test statistic called z-statistic. If you want to read the details, go to the lecture on hypothesis tests about the mean .

This maximum probability is called the size of the test .

The size of the test is also called by some authors the level of significance of the test. However, according to other authors, who assign a slightly different meaning to the term, the level of significance of a test is an upper bound on the size of the test.

Tests of hypothesis are most commonly evaluated based on their size and power.

An ideal test should have:

Of course, such an ideal test is never found in practice, but the best we can hope for is a test with a very small size and a very high probability of rejecting a false hypothesis. Nevertheless, this ideal is routinely used to choose among different tests.

For example:

Several other criteria, beyond power and size, are used to evaluate tests of hypothesis. We do not discuss them here, but we refer the reader to the very nice exposition in Berger and Casella (2002).

Examples of how the mathematics of hypothesis testing works can be found in the following lectures:

Hypothesis tests about the mean (examples of tests of hypothesis about the mean of an unknown distribution);

Hypothesis tests about the variance (examples of tests of hypothesis about the variance of an unknown distribution).

Berger, R. L. and G. Casella (2002) "Statistical inference", Duxbury Advanced Series.

How to cite

Please cite as:

Taboga, Marco (2021). "Hypothesis testing", Lectures on probability theory and mathematical statistics. Kindle Direct Publishing. Online appendix. https://www.statlect.com/fundamentals-of-statistics/hypothesis-testing.

Most of the learning materials found on this website are now available in a traditional textbook format.

• Central Limit Theorem
• Beta distribution
• F distribution
• Point estimation
• Bernoulli distribution
• Likelihood ratio test
• Multinomial distribution
• Mathematical tools
• Fundamentals of probability
• Probability distributions
• Asymptotic theory
• Fundamentals of statistics
• About Statlect
• Cookies, privacy and terms of use
• Critical value
• Almost sure
• Continuous random variable
• Probability density function
• Integrable variable
• To enhance your privacy,
• we removed the social buttons,
• but don't forget to share .

• Math Article

Hypothesis Definition

In Statistics, the determination of the variation between the group of data due to true variation is done by hypothesis testing. The sample data are taken from the population parameter based on the assumptions. The hypothesis can be classified into various types. In this article, let us discuss the hypothesis definition, various types of hypothesis and the significance of hypothesis testing, which are explained in detail.

Hypothesis Definition in Statistics

In Statistics, a hypothesis is defined as a formal statement, which gives the explanation about the relationship between the two or more variables of the specified population. It helps the researcher to translate the given problem to a clear explanation for the outcome of the study. It clearly explains and predicts the expected outcome. It indicates the types of experimental design and directs the study of the research process.

Types of Hypothesis

The hypothesis can be broadly classified into different types. They are:

Simple Hypothesis

A simple hypothesis is a hypothesis that there exists a relationship between two variables. One is called a dependent variable, and the other is called an independent variable.

Complex Hypothesis

A complex hypothesis is used when there is a relationship between the existing variables. In this hypothesis, the dependent and independent variables are more than two.

Null Hypothesis

In the null hypothesis, there is no significant difference between the populations specified in the experiments, due to any experimental or sampling error. The null hypothesis is denoted by H 0 .

Alternative Hypothesis

In an alternative hypothesis, the simple observations are easily influenced by some random cause. It is denoted by the H a or H 1 .

Empirical Hypothesis

An empirical hypothesis is formed by the experiments and based on the evidence.

Statistical Hypothesis

In a statistical hypothesis, the statement should be logical or illogical, and the hypothesis is verified statistically.

Apart from these types of hypothesis, some other hypotheses are directional and non-directional hypothesis, associated hypothesis, casual hypothesis.

Characteristics of Hypothesis

The important characteristics of the hypothesis are:

• The hypothesis should be short and precise
• It should be specific
• A hypothesis must be related to the existing body of knowledge
• It should be capable of verification

To learn more Maths definitions, register with BYJU’S – The Learning App.

Put your understanding of this concept to test by answering a few MCQs. Click ‘Start Quiz’ to begin!

Select the correct answer and click on the “Finish” button Check your score and answers at the end of the quiz

Visit BYJU’S for all Maths related queries and study materials

Your result is as below

Request OTP on Voice Call

Leave a Comment Cancel reply

Your Mobile number and Email id will not be published. Required fields are marked *

Post My Comment

Register with BYJU'S & Download Free PDFs

Register with byju's & watch live videos.

If you're seeing this message, it means we're having trouble loading external resources on our website.

If you're behind a web filter, please make sure that the domains *.kastatic.org and *.kasandbox.org are unblocked.

To log in and use all the features of Khan Academy, please enable JavaScript in your browser.

AP®︎/College Statistics

Course: ap®︎/college statistics   >   unit 10.

• Idea behind hypothesis testing

Examples of null and alternative hypotheses

• Writing null and alternative hypotheses
• P-values and significance tests
• Comparing P-values to different significance levels
• Estimating a P-value from a simulation
• Estimating P-values from simulations
• Using P-values to make conclusions

Want to join the conversation?

• Upvote Button navigates to signup page
• Downvote Button navigates to signup page
• Flag Button navigates to signup page

Video transcript

Hypothesis Testing

Hypothesis testing is the use of statistics to determine the probability that a given hypothesis is true. The usual process of hypothesis testing consists of four steps.

2. Identify a test statistic that can be used to assess the truth of the null hypothesis .

Explore with Wolfram|Alpha

More things to try:

• hypothesis testing mean
• aleph0^3 = aleph0
• codes that can detect 10 errors

Referenced on Wolfram|Alpha

Cite this as:.

Weisstein, Eric W. "Hypothesis Testing." From MathWorld --A Wolfram Web Resource. https://mathworld.wolfram.com/HypothesisTesting.html

Subject classifications

• Mathematicians
• Math Lessons
• Square Roots
• Math Calculators
• Hypothesis | Definition & Meaning

JUMP TO TOPIC

Explanation of Hypothesis

Contradiction, simple hypothesis, complex hypothesis, null hypothesis, alternative hypothesis, empirical hypothesis, statistical hypothesis, special example of hypothesis, solution part (a), solution part (b), hypothesis|definition & meaning.

A hypothesis is a claim or statement  that makes sense in the context of some information or data at hand but hasn’t been established as true or false through experimentation or proof.

In mathematics, any statement or equation that describes some relationship between certain variables can be termed as hypothesis if it is consistent with some initial supporting data or information, however, its yet   to be proven true or false by some definite and trustworthy experiment or mathematical law. 

Following example illustrates one such hypothesis to shed some light on this very fundamental concept which is often used in different areas of mathematics.

Figure 1: Example of Hypothesis

Here we have considered an example of a young startup company that manufactures state of the art batteries. The hypothesis or the claim of the company is that their batteries have a mean life of more than 1000 hours. Now its very easy to understand that they can prove their claim on some testing experiment in their lab.

However, the statement can only be proven if and only if at least one batch of their production batteries have actually been deployed in the real world for more than 1000 hours . After 1000 hours, data needs to be collected and it needs to be seen what is the probability of this statement being true .

The following paragraphs further explain this concept.

As explained with the help of an example earlier, a hypothesis in mathematics is an untested claim that is backed up by all the known data or some other discoveries or some weak experiments.

In any mathematical discovery, we first start by assuming something or some relationship . This supposed statement is called a supposition. A supposition, however, becomes a hypothesis when it is supported by all available data and a large number of contradictory findings.

The hypothesis is an important part of the scientific method that is widely known today for making new discoveries. The field of mathematics inherited this process. Following figure shows this cycle as a graphic:

Figure 2: Role of Hypothesis in the Scientific Method 

The above figure shows a simplified version of the scientific method. It shows that whenever a supposition is supported by some data, its termed as hypothesis. Once a hypothesis is proven by some well known and widely acceptable experiment or proof, its becomes a law. If the hypothesis is rejected by some contradictory results then the supposition is changed and the cycle continues.

Lets try to understand the scientific method and the hypothesis concept with the help of an example. Lets say that a teacher wanted to analyze the relationship between the students performance in a certain subject, lets call it A, based on whether or not they studied a minor course, lets call it B.

Now the teacher puts forth a supposition that the students taking the course B prior to course A must perform better in the latter due to the obvious linkages in the key concepts. Due to this linkage, this supposition can be termed as a hypothesis.

However to test the hypothesis, the teacher has to collect data from all of his/her students such that he/she knows which students have taken course B and which ones haven’t. Then at the end of the semester, the performance of the students must be measured and compared with their course B enrollments.

If the students that took course B prior to course A perform better, then the hypothesis concludes successful . Otherwise, the supposition may need revision.

The following figure explains this problem graphically.

Figure 3: Teacher and Course Example of Hypothesis

Important Terms Related to Hypothesis

To further elaborate the concept of hypothesis, we first need to understand a few key terms that are widely used in this area such as conjecture, contradiction and some special types of hypothesis (simple, complex, null, alternative, empirical, statistical). These terms are briefly explained below:

A conjecture is a term used to describe a mathematical assertion that has notbeenproved. While testing   may occasionally turn up millions of examples in favour of a conjecture, most experts in the area will typically only accept a proof . In mathematics, this term is synonymous to the term hypothesis.

In mathematics, a contradiction occurs if the results of an experiment or proof are against some hypothesis.  In other words, a contradiction discredits a hypothesis.

A simple hypothesis is such a type of hypothesis that claims there is a correlation between two variables. The first is known as a dependent variable while the second is known as an independent variable.

A complex hypothesis is such a type of hypothesis that claims there is a correlation between more than two variables.  Both the dependent and independent variables in this hypothesis may be more than one in numbers.

A null hypothesis, usually denoted by H0, is such a type of hypothesis that claims there is no statistical relationship and significance between two sets of observed data and measured occurrences for each set of defined, single observable variables. In short the variables are independent.

An alternative hypothesis, usually denoted by H1 or Ha, is such a type of hypothesis where the variables may be statistically influenced by some unknown factors or variables. In short the variables are dependent on some unknown phenomena .

An Empirical hypothesis is such a type of hypothesis that is built on top of some empirical data or experiment or formulation.

A statistical hypothesis is such a type of hypothesis that is built on top of some statistical data or experiment or formulation. It may be logical or illogical in nature.

According to the Riemann hypothesis, only negative even integers and complex numbers with real part 1/2 have zeros in the Riemann zeta function . It is regarded by many as the most significant open issue in pure mathematics.

Figure 4: Riemann Hypothesis

The Riemann hypothesis is the most well-known mathematical conjecture, and it has been the subject of innumerable proof efforts.

Numerical Examples

Identify the conclusions and hypothesis in the following given statements. Also state if the conclusion supports the hypothesis or not.

Part (a): If 30x = 30, then x = 1

Part (b): if 10x + 2 = 50, then x = 24

Hypothesis: 30x = 30

Conclusion: x = 10

Supports Hypothesis: Yes

Hypothesis: 10x + 2 = 50

Conclusion: x = 24

All images/mathematical drawings were created with GeoGebra.

Hour Hand Definition < Glossary Index > Identity Definition

User Preferences

Content preview.

Arcu felis bibendum ut tristique et egestas quis:

• Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris
• Duis aute irure dolor in reprehenderit in voluptate
• Excepteur sint occaecat cupidatat non proident

Keyboard Shortcuts

5.2 - writing hypotheses.

The first step in conducting a hypothesis test is to write the hypothesis statements that are going to be tested. For each test you will have a null hypothesis (\(H_0\)) and an alternative hypothesis (\(H_a\)).

When writing hypotheses there are three things that we need to know: (1) the parameter that we are testing (2) the direction of the test (non-directional, right-tailed or left-tailed), and (3) the value of the hypothesized parameter.

• At this point we can write hypotheses for a single mean (\(\mu\)), paired means(\(\mu_d\)), a single proportion (\(p\)), the difference between two independent means (\(\mu_1-\mu_2\)), the difference between two proportions (\(p_1-p_2\)), a simple linear regression slope (\(\beta\)), and a correlation (\(\rho\)). 
• The research question will give us the information necessary to determine if the test is two-tailed (e.g., "different from," "not equal to"), right-tailed (e.g., "greater than," "more than"), or left-tailed (e.g., "less than," "fewer than").
• The research question will also give us the hypothesized parameter value. This is the number that goes in the hypothesis statements (i.e., \(\mu_0\) and \(p_0\)). For the difference between two groups, regression, and correlation, this value is typically 0.

Hypotheses are always written in terms of population parameters (e.g., \(p\) and \(\mu\)).  The tables below display all of the possible hypotheses for the parameters that we have learned thus far. Note that the null hypothesis always includes the equality (i.e., =).

9.1 Null and Alternative Hypotheses

The actual test begins by considering two hypotheses . They are called the null hypothesis and the alternative hypothesis . These hypotheses contain opposing viewpoints.

H 0 , the — null hypothesis: a statement of no difference between sample means or proportions or no difference between a sample mean or proportion and a population mean or proportion. In other words, the difference equals 0.

H a —, the alternative hypothesis: a claim about the population that is contradictory to H 0 and what we conclude when we reject H 0 .

Since the null and alternative hypotheses are contradictory, you must examine evidence to decide if you have enough evidence to reject the null hypothesis or not. The evidence is in the form of sample data.

After you have determined which hypothesis the sample supports, you make a decision. There are two options for a decision. They are reject H 0 if the sample information favors the alternative hypothesis or do not reject H 0 or decline to reject H 0 if the sample information is insufficient to reject the null hypothesis.

Mathematical Symbols Used in H 0 and H a :

H 0 always has a symbol with an equal in it. H a never has a symbol with an equal in it. The choice of symbol depends on the wording of the hypothesis test. However, be aware that many researchers use = in the null hypothesis, even with > or < as the symbol in the alternative hypothesis. This practice is acceptable because we only make the decision to reject or not reject the null hypothesis.

Example 9.1

H 0 : No more than 30 percent of the registered voters in Santa Clara County voted in the primary election. p ≤ 30 H a : More than 30 percent of the registered voters in Santa Clara County voted in the primary election. p > 30

A medical trial is conducted to test whether or not a new medicine reduces cholesterol by 25 percent. State the null and alternative hypotheses.

Example 9.2

We want to test whether the mean GPA of students in American colleges is different from 2.0 (out of 4.0). The null and alternative hypotheses are the following: H 0 : μ = 2.0 H a : μ ≠ 2.0

We want to test whether the mean height of eighth graders is 66 inches. State the null and alternative hypotheses. Fill in the correct symbol (=, ≠, ≥, <, ≤, >) for the null and alternative hypotheses.

• H 0 : μ __ 66
• H a : μ __ 66

Example 9.3

We want to test if college students take fewer than five years to graduate from college, on the average. The null and alternative hypotheses are the following: H 0 : μ ≥ 5 H a : μ < 5

We want to test if it takes fewer than 45 minutes to teach a lesson plan. State the null and alternative hypotheses. Fill in the correct symbol ( =, ≠, ≥, <, ≤, >) for the null and alternative hypotheses.

• H 0 : μ __ 45
• H a : μ __ 45

Example 9.4

An article on school standards stated that about half of all students in France, Germany, and Israel take advanced placement exams and a third of the students pass. The same article stated that 6.6 percent of U.S. students take advanced placement exams and 4.4 percent pass. Test if the percentage of U.S. students who take advanced placement exams is more than 6.6 percent. State the null and alternative hypotheses. H 0 : p ≤ 0.066 H a : p > 0.066

On a state driver’s test, about 40 percent pass the test on the first try. We want to test if more than 40 percent pass on the first try. Fill in the correct symbol (=, ≠, ≥, <, ≤, >) for the null and alternative hypotheses.

• H 0 : p __ 0.40
• H a : p __ 0.40

Collaborative Exercise

Bring to class a newspaper, some news magazines, and some internet articles. In groups, find articles from which your group can write null and alternative hypotheses. Discuss your hypotheses with the rest of the class.

As an Amazon Associate we earn from qualifying purchases.

This book may not be used in the training of large language models or otherwise be ingested into large language models or generative AI offerings without OpenStax's permission.

Want to cite, share, or modify this book? This book uses the Creative Commons Attribution License and you must attribute Texas Education Agency (TEA). The original material is available at: https://www.texasgateway.org/book/tea-statistics . Changes were made to the original material, including updates to art, structure, and other content updates.

Access for free at https://openstax.org/books/statistics/pages/1-introduction

• Authors: Barbara Illowsky, Susan Dean
• Publisher/website: OpenStax
• Book title: Statistics
• Publication date: Mar 27, 2020
• Location: Houston, Texas
• Book URL: https://openstax.org/books/statistics/pages/1-introduction
• Section URL: https://openstax.org/books/statistics/pages/9-1-null-and-alternative-hypotheses

© Jan 23, 2024 Texas Education Agency (TEA). The OpenStax name, OpenStax logo, OpenStax book covers, OpenStax CNX name, and OpenStax CNX logo are not subject to the Creative Commons license and may not be reproduced without the prior and express written consent of Rice University.

• Games & Quizzes
• History & Society
• Science & Tech
• Biographies
• Animals & Nature
• Geography & Travel
• Arts & Culture
• On This Day
• One Good Fact
• New Articles
• Lifestyles & Social Issues
• Philosophy & Religion
• Politics, Law & Government
• World History
• Health & Medicine
• Browse Biographies
• Birds, Reptiles & Other Vertebrates
• Bugs, Mollusks & Other Invertebrates
• Environment
• Fossils & Geologic Time
• Entertainment & Pop Culture
• Sports & Recreation
• Visual Arts
• Demystified
• Image Galleries
• Infographics
• Top Questions
• Britannica Kids
• Saving Earth
• Space Next 50
• Student Center

Riemann hypothesis

Our editors will review what you’ve submitted and determine whether to revise the article.

• The Prime Pages - The Riemann Hypothesis
• The University of Alabama at Birmingham - The Unexpected Connection Between Internet Security and the Riemann Hypothesis
• Wolfram MathWorld - Riemann Hypothesis
• Internet Archive - "Riemann Hypothesis"
• International Journal of Advanced Research in Science, Communication and Technology - Statistical Study of Euler’s Zeta Function by using Riemann Hypothesis
• American Mathematical Society - The Riemann Hypothesis
• Mathematics LibreTexts - The Riemann Hypothesis
• Clay Mathematics Institute - Riemann Hypothesis
• Academia - Riemann Hypothesis proved
• American Association for the Advancement of Science - Skepticism surrounds renowned mathematician's attempted proof of 160-year-old hypothesis

Riemann hypothesis , in number theory , hypothesis by German mathematician Bernhard Riemann concerning the location of solutions to the Riemann zeta function , which is connected to the prime number theorem and has important implications for the distribution of prime numbers . Riemann included the hypothesis in a paper, “Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse” (“On the Number of Prime Numbers Less Than a Given Quantity”), published in the November 1859 edition of Monatsberichte der Berliner Akademie (“Monthly Review of the Berlin Academy”).

Riemann extended the study of the zeta function to include the complex numbers x + i y , where i = Square root of √ −1 , except for the line x = 1 in the complex plane. Riemann knew that the zeta function equals zero for all negative even integers −2, −4, −6,… (so-called trivial zeros) and that it has an infinite number of zeros in the critical strip of complex numbers that fall strictly between the lines x = 0 and x = 1. He also knew that all nontrivial zeros are symmetric with respect to the critical line x = 1 / 2 . Riemann conjectured that all of the nontrivial zeros are on the critical line, a conjecture that subsequently became known as the Riemann hypothesis.

In 1914 English mathematician Godfrey Harold Hardy proved that an infinite number of solutions of ζ( s ) = 0 exist on the critical line x = 1 / 2 . Subsequently it was shown by various mathematicians that a large proportion of the solutions must lie on the critical line, though the frequent “proofs” that all the nontrivial solutions are on it have been flawed. Computers have also been used to test solutions, with the first 10 trillion nontrivial solutions shown to lie on the critical line.

A proof of the Riemann hypothesis would have far-reaching consequences for number theory and for the use of primes in cryptography .

The Riemann hypothesis has long been considered the greatest unsolved problem in mathematics . It was one of 10 unsolved mathematical problems (23 in the printed address) presented as a challenge for 20th-century mathematicians by German mathematician David Hilbert at the Second International Congress of Mathematics in Paris on Aug. 8, 1900. In 2000 American mathematician Stephen Smale updated Hilbert’s idea with a list of important problems for the 21st century; the Riemann hypothesis was number one. In 2000 it was designated a Millennium Problem , one of seven mathematical problems selected by the Clay Mathematics Institute of Cambridge, Mass., U.S., for a special award. The solution for each Millennium Problem is worth $1 million. In 2008 the U.S. Defense Advanced Research Projects Agency ( DARPA ) listed it as one of the DARPA Mathematical Challenges, 23 mathematical problems for which it was soliciting research proposals for funding—“Mathematical Challenge Nineteen: Settle the Riemann Hypothesis. The Holy Grail of number theory.”

10 Hard Math Problems That Continue to Stump Even the Brightest Minds

Maybe you’ll have better luck.

For now, you can take a crack at the hardest math problems known to man, woman, and machine. For more puzzles and brainteasers, check out Puzzmo . ✅ More from Popular Mechanics :

• To Create His Geometric Artwork, M.C. Escher Had to Learn Math the Hard Way
• Fourier Transforms: The Math That Made Color TV Possible
• The Game of Trees is a Mad Math Theory That Is Impossible to Prove

The Collatz Conjecture

In September 2019, news broke regarding progress on this 82-year-old question, thanks to prolific mathematician Terence Tao. And while the story of Tao’s breakthrough is promising, the problem isn’t fully solved yet.

A refresher on the Collatz Conjecture : It’s all about that function f(n), shown above, which takes even numbers and cuts them in half, while odd numbers get tripled and then added to 1. Take any natural number, apply f, then apply f again and again. You eventually land on 1, for every number we’ve ever checked. The Conjecture is that this is true for all natural numbers (positive integers from 1 through infinity).

✅ Down the Rabbit Hole: The Math That Helps the James Webb Space Telescope Sit Steady in Space

Tao’s recent work is a near-solution to the Collatz Conjecture in some subtle ways. But he most likely can’t adapt his methods to yield a complete solution to the problem, as Tao subsequently explained. So, we might be working on it for decades longer.

The Conjecture lives in the math discipline known as Dynamical Systems , or the study of situations that change over time in semi-predictable ways. It looks like a simple, innocuous question, but that’s what makes it special. Why is such a basic question so hard to answer? It serves as a benchmark for our understanding; once we solve it, then we can proceed onto much more complicated matters.

The study of dynamical systems could become more robust than anyone today could imagine. But we’ll need to solve the Collatz Conjecture for the subject to flourish.

Goldbach’s Conjecture

One of the greatest unsolved mysteries in math is also very easy to write. Goldbach’s Conjecture is, “Every even number (greater than two) is the sum of two primes.” You check this in your head for small numbers: 18 is 13+5, and 42 is 23+19. Computers have checked the Conjecture for numbers up to some magnitude. But we need proof for all natural numbers.

Goldbach’s Conjecture precipitated from letters in 1742 between German mathematician Christian Goldbach and legendary Swiss mathematician Leonhard Euler , considered one of the greatest in math history. As Euler put it, “I regard [it] as a completely certain theorem, although I cannot prove it.”

✅ Dive In: The Math Behind Our Current Theory of Human Color Perception Is Wrong

Euler may have sensed what makes this problem counterintuitively hard to solve. When you look at larger numbers, they have more ways of being written as sums of primes, not less. Like how 3+5 is the only way to break 8 into two primes, but 42 can broken into 5+37, 11+31, 13+29, and 19+23. So it feels like Goldbach’s Conjecture is an understatement for very large numbers.

Still, a proof of the conjecture for all numbers eludes mathematicians to this day. It stands as one of the oldest open questions in all of math.

The Twin Prime Conjecture

Together with Goldbach’s, the Twin Prime Conjecture is the most famous in Number Theory—or the study of natural numbers and their properties, frequently involving prime numbers. Since you've known these numbers since grade school, stating the conjectures is easy.

When two primes have a difference of 2, they’re called twin primes. So 11 and 13 are twin primes, as are 599 and 601. Now, it's a Day 1 Number Theory fact that there are infinitely many prime numbers. So, are there infinitely many twin primes? The Twin Prime Conjecture says yes.

Let’s go a bit deeper. The first in a pair of twin primes is, with one exception, always 1 less than a multiple of 6. And so the second twin prime is always 1 more than a multiple of 6. You can understand why, if you’re ready to follow a bit of heady Number Theory.

✅ Keep Learning: If We Draw Graphs Like This, We Can Change Computers Forever

All primes after 2 are odd. Even numbers are always 0, 2, or 4 more than a multiple of 6, while odd numbers are always 1, 3, or 5 more than a multiple of 6. Well, one of those three possibilities for odd numbers causes an issue. If a number is 3 more than a multiple of 6, then it has a factor of 3. Having a factor of 3 means a number isn’t prime (with the sole exception of 3 itself). And that's why every third odd number can't be prime.

How’s your head after that paragraph? Now imagine the headaches of everyone who has tried to solve this problem in the last 170 years.

The good news is that we’ve made some promising progress in the last decade. Mathematicians have managed to tackle closer and closer versions of the Twin Prime Conjecture. This was their idea: Trouble proving there are infinitely many primes with a difference of 2? How about proving there are infinitely many primes with a difference of 70,000,000? That was cleverly proven in 2013 by Yitang Zhang at the University of New Hampshire.

For the last six years, mathematicians have been improving that number in Zhang’s proof, from millions down to hundreds. Taking it down all the way to 2 will be the solution to the Twin Prime Conjecture. The closest we’ve come —given some subtle technical assumptions—is 6. Time will tell if the last step from 6 to 2 is right around the corner, or if that last part will challenge mathematicians for decades longer.

The Riemann Hypothesis

Today’s mathematicians would probably agree that the Riemann Hypothesis is the most significant open problem in all of math. It’s one of the seven Millennium Prize Problems , with $1 million reward for its solution. It has implications deep into various branches of math, but it’s also simple enough that we can explain the basic idea right here.

There is a function, called the Riemann zeta function, written in the image above.

For each s, this function gives an infinite sum, which takes some basic calculus to approach for even the simplest values of s. For example, if s=2, then 𝜁(s) is the well-known series 1 + 1/4 + 1/9 + 1/16 + …, which strangely adds up to exactly 𝜋²/6. When s is a complex number—one that looks like a+b𝑖, using the imaginary number 𝑖—finding 𝜁(s) gets tricky.

So tricky, in fact, that it’s become the ultimate math question. Specifically, the Riemann Hypothesis is about when 𝜁(s)=0; the official statement is, “Every nontrivial zero of the Riemann zeta function has real part 1/2.” On the plane of complex numbers, this means the function has a certain behavior along a special vertical line. The hypothesis is that the behavior continues along that line infinitely.

✅ Stay Curious: How to Paint a Room Using Math

The Hypothesis and the zeta function come from German mathematician Bernhard Riemann, who described them in 1859. Riemann developed them while studying prime numbers and their distribution. Our understanding of prime numbers has flourished in the 160 years since, and Riemann would never have imagined the power of supercomputers. But lacking a solution to the Riemann Hypothesis is a major setback.

If the Riemann Hypothesis were solved tomorrow, it would unlock an avalanche of further progress. It would be huge news throughout the subjects of Number Theory and Analysis. Until then, the Riemann Hypothesis remains one of the largest dams to the river of math research.

The Birch and Swinnerton-Dyer Conjecture

The Birch and Swinnerton-Dyer Conjecture is another of the six unsolved Millennium Prize Problems, and it’s the only other one we can remotely describe in plain English. This Conjecture involves the math topic known as Elliptic Curves.

When we recently wrote about the toughest math problems that have been solved , we mentioned one of the greatest achievements in 20th-century math: the solution to Fermat’s Last Theorem. Sir Andrew Wiles solved it using Elliptic Curves. So, you could call this a very powerful new branch of math.

✅ The Latest: Mathematicians Discovered Something Mind-Blowing About the Number 15

In a nutshell, an elliptic curve is a special kind of function. They take the unthreatening-looking form y²=x³+ax+b. It turns out functions like this have certain properties that cast insight into math topics like Algebra and Number Theory.

British mathematicians Bryan Birch and Peter Swinnerton-Dyer developed their conjecture in the 1960s. Its exact statement is very technical, and has evolved over the years. One of the main stewards of this evolution has been none other than Wiles. To see its current status and complexity, check out this famous update by Wells in 2006.

The Kissing Number Problem

A broad category of problems in math are called the Sphere Packing Problems. They range from pure math to practical applications, generally putting math terminology to the idea of stacking many spheres in a given space, like fruit at the grocery store. Some questions in this study have full solutions, while some simple ones leave us stumped, like the Kissing Number Problem.

When a bunch of spheres are packed in some region, each sphere has a Kissing Number, which is the number of other spheres it’s touching; if you’re touching 6 neighboring spheres, then your kissing number is 6. Nothing tricky. A packed bunch of spheres will have an average kissing number, which helps mathematically describe the situation. But a basic question about the kissing number stands unanswered.

✅ Miracles Happen: Mathematicians Finally Make a Breakthrough on the Ramsey Number

First, a note on dimensions. Dimensions have a specific meaning in math: they’re independent coordinate axes. The x-axis and y-axis show the two dimensions of a coordinate plane. When a character in a sci-fi show says they’re going to a different dimension, that doesn’t make mathematical sense. You can’t go to the x-axis.

A 1-dimensional thing is a line, and 2-dimensional thing is a plane. For these low numbers, mathematicians have proven the maximum possible kissing number for spheres of that many dimensions. It’s 2 when you’re on a 1-D line—one sphere to your left and the other to your right. There’s proof of an exact number for 3 dimensions, although that took until the 1950s.

Beyond 3 dimensions, the Kissing Problem is mostly unsolved. Mathematicians have slowly whittled the possibilities to fairly narrow ranges for up to 24 dimensions, with a few exactly known, as you can see on this chart . For larger numbers, or a general form, the problem is wide open. There are several hurdles to a full solution, including computational limitations. So expect incremental progress on this problem for years to come.

The Unknotting Problem

The simplest version of the Unknotting Problem has been solved, so there’s already some success with this story. Solving the full version of the problem will be an even bigger triumph.

You probably haven’t heard of the math subject Knot Theory . It ’s taught in virtually no high schools, and few colleges. The idea is to try and apply formal math ideas, like proofs, to knots, like … well, what you tie your shoes with.

For example, you might know how to tie a “square knot” and a “granny knot.” They have the same steps except that one twist is reversed from the square knot to the granny knot. But can you prove that those knots are different? Well, knot theorists can.

✅ Up Next: The Amazing Math Inside the Rubik’s Cube

Knot theorists’ holy grail problem was an algorithm to identify if some tangled mess is truly knotted, or if it can be disentangled to nothing. The cool news is that this has been accomplished! Several computer algorithms for this have been written in the last 20 years, and some of them even animate the process .

But the Unknotting Problem remains computational. In technical terms, it’s known that the Unknotting Problem is in NP, while we don ’ t know if it’s in P. That roughly means that we know our algorithms are capable of unknotting knots of any complexity, but that as they get more complicated, it starts to take an impossibly long time. For now.

If someone comes up with an algorithm that can unknot any knot in what’s called polynomial time, that will put the Unknotting Problem fully to rest. On the flip side, someone could prove that isn’t possible, and that the Unknotting Problem’s computational intensity is unavoidably profound. Eventually, we’ll find out.

The Large Cardinal Project

If you’ve never heard of Large Cardinals , get ready to learn. In the late 19th century, a German mathematician named Georg Cantor figured out that infinity comes in different sizes. Some infinite sets truly have more elements than others in a deep mathematical way, and Cantor proved it.

There is the first infinite size, the smallest infinity , which gets denoted ℵ₀. That’s a Hebrew letter aleph; it reads as “aleph-zero.” It’s the size of the set of natural numbers, so that gets written |ℕ|=ℵ₀.

Next, some common sets are larger than size ℵ₀. The major example Cantor proved is that the set of real numbers is bigger, written |ℝ|>ℵ₀. But the reals aren’t that big; we’re just getting started on the infinite sizes.

✅ More Mind-Blowing Stuff: Mathematicians Discovered a New 13-Sided Shape That Can Do Remarkable Things

For the really big stuff, mathematicians keep discovering larger and larger sizes, or what we call Large Cardinals. It’s a process of pure math that goes like this: Someone says, “I thought of a definition for a cardinal, and I can prove this cardinal is bigger than all the known cardinals.” Then, if their proof is good, that’s the new largest known cardinal. Until someone else comes up with a larger one.

Throughout the 20th century, the frontier of known large cardinals was steadily pushed forward. There’s now even a beautiful wiki of known large cardinals , named in honor of Cantor. So, will this ever end? The answer is broadly yes, although it gets very complicated.

In some senses, the top of the large cardinal hierarchy is in sight. Some theorems have been proven, which impose a sort of ceiling on the possibilities for large cardinals. But many open questions remain, and new cardinals have been nailed down as recently as 2019. It’s very possible we will be discovering more for decades to come. Hopefully we’ll eventually have a comprehensive list of all large cardinals.

What’s the Deal with 𝜋+e?

Given everything we know about two of math’s most famous constants, 𝜋 and e , it’s a bit surprising how lost we are when they’re added together.

This mystery is all about algebraic real numbers . The definition: A real number is algebraic if it’s the root of some polynomial with integer coefficients. For example, x²-6 is a polynomial with integer coefficients, since 1 and -6 are integers. The roots of x²-6=0 are x=√6 and x=-√6, so that means √6 and -√6 are algebraic numbers.

✅ Try It Yourself: Can You Solve This Viral Brain Teaser From TikTok?

All rational numbers, and roots of rational numbers, are algebraic. So it might feel like “most” real numbers are algebraic. Turns out, it’s actually the opposite. The antonym to algebraic is transcendental, and it turns out almost all real numbers are transcendental—for certain mathematical meanings of “almost all.” So who’s algebraic , and who’s transcendental?

The real number 𝜋 goes back to ancient math, while the number e has been around since the 17th century. You’ve probably heard of both, and you’d think we know the answer to every basic question to be asked about them, right?

Well, we do know that both 𝜋 and e are transcendental. But somehow it’s unknown whether 𝜋+e is algebraic or transcendental. Similarly, we don’t know about 𝜋e, 𝜋/e, and other simple combinations of them. So there are incredibly basic questions about numbers we’ve known for millennia that still remain mysterious.

Is 𝛾 Rational?

Here’s another problem that’s very easy to write, but hard to solve. All you need to recall is the definition of rational numbers.

Rational numbers can be written in the form p/q, where p and q are integers. So, 42 and -11/3 are rational, while 𝜋 and √2 are not. It’s a very basic property, so you’d think we can easily tell when a number is rational or not, right?

Meet the Euler-Mascheroni constant 𝛾, which is a lowercase Greek gamma. It’s a real number, approximately 0.5772, with a closed form that’s not terribly ugly; it looks like the image above.

✅ One More Thing: Teens Have Proven the Pythagorean Theorem With Trigonometry. That Should Be Impossible

The sleek way of putting words to those symbols is “gamma is the limit of the difference of the harmonic series and the natural log.” So, it’s a combination of two very well-understood mathematical objects. It has other neat closed forms, and appears in hundreds of formulas.

But somehow, we don’t even know if 𝛾 is rational. We’ve calculated it to half a trillion digits, yet nobody can prove if it’s rational or not. The popular prediction is that 𝛾 is irrational. Along with our previous example 𝜋+e, we have another question of a simple property for a well-known number, and we can’t even answer it.

Dave Linkletter is a Ph.D. candidate in Pure Mathematics at the University of Nevada, Las Vegas. His research is in Large Cardinal Set Theory. He also teaches undergrad classes, and enjoys breaking down popular math topics for wide audiences.

.css-cuqpxl:before{padding-right:0.3125rem;content:'//';display:inline;} Pop Mech Pro .css-xtujxj:before{padding-left:0.3125rem;content:'//';display:inline;}

Hieroglyphics Unveil Ramses II’s Lost Sarcophagus

This Navy Warship Program Is Kind of a Disaster

Every Single Cell in Your Body Could Be Conscious

How to Live Forever, or Die Trying

The Army & Navy Working Together Defense Missiles

How Russia Copied America’s Deadliest Missile

North Korea Sends “Poop Balloons” Into South Korea

Plane Flown by 'Ace of Aces' Pilot Finally Found

The F-35 Is Still One of the Safest Planes

The Air Force’s Upcoming “Doomsday Plane” Replacem

Meet the Marines' New Kamikaze Drone

• Welcome from the Chair
• Michalik Distinguished Lecture Series
• Open Faculty Positions
• Advising & Support
• Calculus Curriculum
• Degree Programs/Requirements
• Extracurricular Activities
• Math Placement Assessment
• Math Assistance Center/Posvar Computing Lab
• Research/Career Opportunities
• Admissions & Financial Aid
• Degree Programs
• Graduate Employment
• Graduate Handbook
• Information for Incoming Graduate Students
• Organizations
• Research Opportunities
• Teaching Opportunities
• Research Areas
• Graduate Research
• Undergraduate Research
• Mathematics Research Center
• Technical Reports
• Publications
• Gallery of Research Images
• Faculty Admin
• Adjunct Faculty
• Part-Time Faculty
• Emeritus Faculty
• Post-Doctoral Associates
• Graduate Students
• Stay in Touch
• Newsletter Archive
• Upcoming Events
• Past Events
• Prospective Students

Mini-lectures on Bifurcation Theory

Bifurcation theory allows us to systematically study the non-uniqueness of solutions to nonlinear problems in analysis. I will offer an accessible introduction to this subject, aimed at PhD students and with an emphasis on motivating examples. After recalling the implicit function theorem, we will begin with systems of algebraic equations in finite dimensions, using Taylor expansions to motivate the classical Crandall–Rabinowitz local bifurcation theorem, and examining the so-called “transversality condition” from several different points of view. Next we will move to infinite dimensions, where our primary example will be a nonlinear elliptic partial differential equation. Formal calculations using separation of variables suggest a certain bifurcation diagram, and we will discuss the additional steps needed to make such an argument rigorous. Finally, we will turn to global bifurcation, continuing the above branches of solutions beyond the perturbative regime. Here we will present two results, a topological theory for smooth maps and an alternative theory for real-analytic maps, the first of which will be motivated by a rough “proof by picture” in two dimensions. Any remaining time will be spent on a selection of more advanced topics and their applications to (generalizations of) our main example.

Location and Address

Thackeray Hall 427

Speaker Information

Professor Miles Wheeler (University of Bath)

Bachelor's in Applied Mathematics

Why pursue a bachelor's degree in applied mathematics.

The Applied Mathematics concentration consists of a broad undergraduate education in the mathematical sciences, especially in those subjects that have proved vital to an understanding of problems arising in other disciplines, and in some specific area where mathematical methods have been substantively applied. For concentrators, a core learning objective is building and demonstrating foundational knowledge in computation, probability, discrete, and continuous mathematics through the successful completion of the foundation and breadth courses. The degree provides the opportunity for combining mathematical thinking with any subject for which mathematics can be productively applied.

At Harvard College, students choose a "concentration," which is what we call a major. All prospective undergraduate students, including those intending to study engineering and applied sciences, apply directly to Harvard College . During your sophomore spring you’ll declare a concentration, or field of study. You may choose from 50 concentrations and 49 secondary field (from Harvard DSO website ).

At a professional level the difference between an applied mathematician and a practitioner in a given field can be very small, when the two are working on problems in that field. However, the applied mathematician's primary interest is in the general way that mathematics is applied, and as such, also could use variants of the same methods to study other fields.

Learn about our Applied Math concentrators >

Apply to Harvard College  >

Bachelor of Arts (A.B.)

Applied mathematics represents a quantitative liberal arts degree. The degree provides the opportunity for combining mathematical thinking with any subject for which mathematics can be productively applied.

In some instances, combining applied mathematics with a particular subject can lead to a program of study that is quite similar to studying that subject itself. For example, applied mathematics with physics as an application area is quite similar to studying physics. On the other hand, there are other instances (combining applied mathematics with psychology or government) where the degree program would be quite different.

The area of application is an integral part of the concentration. Students are encouraged to select an area of application that corresponds to an area of intellectual interest.  Current concentrators have chosen application areas ranging from government, psychology, astronomy or astrophysics, and chemistry, to theoretical neuroscience.

For those interested in the Applied Math concentration with specialization in Economics, requirements are defined and updated in cooperation with the Economics Department . 

AB/SM Program

Our AB/SM degree program is for currently enrolled Harvard College students only.

Prerequisites

Learn about the prerequisites for the concentration and the differences between the S.B. and A.B. tracks on on our First Year Exploration page. Students interested in concentrating in Applied Mathematics can be matched with a Peer Concentration Advisor. PCAs serve as peer advisors for pre-concentrators (and current concentrators), providing a valuable perspective and helping students to discover additional resources and opportunities. Learn more about the Peer Concentration Advisor program .

Requirements

Learn more about the concentration requirements >

View current Applied Math courses >

Research Opportunities in Applied Math

As part of your applied math coursework, or perhaps as part of individual research opportunities working with professors, you will have the chance to take part in or participate in some extraordinary projects.  Learn more about research opportunities at Harvard SEAS .

Learn about the research interests of our applied math faculty .

Bachelor’s in Applied Math Career Paths

Students go on to a range of careers in industry, academics, to professional schools in business, law, medicine, and, well, just about anything.  Read about some of our Applied Math alumni .

Clubs and Organizations

SEAS-affiliated student organizations are critical to the overall growth of our concentrators as engineering and applied science professionals. These organizations enable our students to pursue passion projects and events in areas of interest that are complementary to the current formal academic curriculum.  Learn more about SEAS-affiliated student clubs and organizations .

In Applied Mathematics

• First-Year Exploration
• Areas of Application
• AM & Economics
• How to Declare
• Who are my Advisors?
• Secondary Field
• Senior Thesis
• Research for Course Credit (AM 91R & AM 99R)
• AB/SM Information
• Peer Concentration Advisors (PCA) Program
• Student Organizations
• How to Apply
• PhD Timeline
• PhD Model Program (Course Guidelines)
• Oral Qualifying Examination
• Committee Meetings
• Committee on Higher Degrees
• Research Interest Comparison
• Collaborations
• Cross-Harvard Engagement
• Clubs & Organizations
• Centers & Initiatives
• Alumni Stories

• school Campus Bookshelves
• menu_book Bookshelves
• perm_media Learning Objects
• login Login
• how_to_reg Request Instructor Account
• hub Instructor Commons

Margin Size

• Download Page (PDF)
• Download Full Book (PDF)
• Periodic Table
• Physics Constants
• Scientific Calculator
• Reference & Cite
• Tools expand_more
• Readability

selected template will load here

This action is not available.

1.1: Statements and Conditional Statements

• Last updated
• Save as PDF
• Page ID 7034

• Ted Sundstrom
• Grand Valley State University via ScholarWorks @Grand Valley State University

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

Much of our work in mathematics deals with statements. In mathematics, a statement is a declarative sentence that is either true or false but not both. A statement is sometimes called a proposition . The key is that there must be no ambiguity. To be a statement, a sentence must be true or false, and it cannot be both. So a sentence such as "The sky is beautiful" is not a statement since whether the sentence is true or not is a matter of opinion. A question such as "Is it raining?" is not a statement because it is a question and is not declaring or asserting that something is true.

Some sentences that are mathematical in nature often are not statements because we may not know precisely what a variable represents. For example, the equation 2\(x\)+5 = 10 is not a statement since we do not know what \(x\) represents. If we substitute a specific value for \(x\) (such as \(x\) = 3), then the resulting equation, 2\(\cdot\)3 +5 = 10 is a statement (which is a false statement). Following are some more examples:

• There exists a real number \(x\) such that 2\(x\)+5 = 10. This is a statement because either such a real number exists or such a real number does not exist. In this case, this is a true statement since such a real number does exist, namely \(x\) = 2.5.
• For each real number \(x\), \(2x +5 = 2 \left( x + \dfrac{5}{2}\right)\). This is a statement since either the sentence \(2x +5 = 2 \left( x + \dfrac{5}{2}\right)\) is true when any real number is substituted for \(x\) (in which case, the statement is true) or there is at least one real number that can be substituted for \(x\) and produce a false statement (in which case, the statement is false). In this case, the given statement is true.
• Solve the equation \(x^2 - 7x +10 =0\). This is not a statement since it is a directive. It does not assert that something is true.
• \((a+b)^2 = a^2+b^2\) is not a statement since it is not known what \(a\) and \(b\) represent. However, the sentence, “There exist real numbers \(a\) and \(b\) such that \((a+b)^2 = a^2+b^2\)" is a statement. In fact, this is a true statement since there are such integers. For example, if \(a=1\) and \(b=0\), then \((a+b)^2 = a^2+b^2\).
• Compare the statement in the previous item to the statement, “For all real numbers \(a\) and \(b\), \((a+b)^2 = a^2+b^2\)." This is a false statement since there are values for \(a\) and \(b\) for which \((a+b)^2 \ne a^2+b^2\). For example, if \(a=2\) and \(b=3\), then \((a+b)^2 = 5^2 = 25\) and \(a^2 + b^2 = 2^2 +3^2 = 13\).

Progress Check 1.1: Statements

Which of the following sentences are statements? Do not worry about determining whether a statement is true or false; just determine whether each sentence is a statement or not.

• 2\(\cdot\)7 + 8 = 22.
• \((x-1) = \sqrt(x + 11)\).
• \(2x + 5y = 7\).
• There are integers \(x\) and \(y\) such that \(2x + 5y = 7\).
• There are integers \(x\) and \(y\) such that \(23x + 27y = 52\).
• Given a line \(L\) and a point \(P\) not on that line, there is a unique line through \(P\) that does not intersect \(L\).
• \((a + b)^3 = a^3 + 3a^2b + 3ab^2 + b^3\).
• \((a + b)^3 = a^3 + 3a^2b + 3ab^2 + b^3\) for all real numbers \(a\) and \(b\).
• The derivative of \(f(x) = \sin x\) is \(f' (x) = \cos x\).
• Does the equation \(3x^2 - 5x - 7 = 0\) have two real number solutions?
• If \(ABC\) is a right triangle with right angle at vertex \(B\), and if \(D\) is the midpoint of the hypotenuse, then the line segment connecting vertex \(B\) to \(D\) is half the length of the hypotenuse.
• There do not exist three integers \(x\), \(y\), and \(z\) such that \(x^3 + y^2 = z^3\).

Add texts here. Do not delete this text first.

How Do We Decide If a Statement Is True or False?

In mathematics, we often establish that a statement is true by writing a mathematical proof. To establish that a statement is false, we often find a so-called counterexample. (These ideas will be explored later in this chapter.) So mathematicians must be able to discover and construct proofs. In addition, once the discovery has been made, the mathematician must be able to communicate this discovery to others who speak the language of mathematics. We will be dealing with these ideas throughout the text.

For now, we want to focus on what happens before we start a proof. One thing that mathematicians often do is to make a conjecture beforehand as to whether the statement is true or false. This is often done through exploration. The role of exploration in mathematics is often difficult because the goal is not to find a specific answer but simply to investigate. Following are some techniques of exploration that might be helpful.

Techniques of Exploration

• Guesswork and conjectures . Formulate and write down questions and conjectures. When we make a guess in mathematics, we usually call it a conjecture.

For example, if someone makes the conjecture that \(\sin(2x) = 2 \sin(x)\), for all real numbers \(x\), we can test this conjecture by substituting specific values for \(x\). One way to do this is to choose values of \(x\) for which \(\sin(x)\)is known. Using \(x = \frac{\pi}{4}\), we see that

\(\sin(2(\frac{\pi}{4})) = \sin(\frac{\pi}{2}) = 1,\) and

\(2\sin(\frac{\pi}{4}) = 2(\frac{\sqrt2}{2}) = \sqrt2\).

Since \(1 \ne \sqrt2\), these calculations show that this conjecture is false. However, if we do not find a counterexample for a conjecture, we usually cannot claim the conjecture is true. The best we can say is that our examples indicate the conjecture is true. As an example, consider the conjecture that

If \(x\) and \(y\) are odd integers, then \(x + y\) is an even integer.

We can do lots of calculation, such as \(3 + 7 = 10\) and \(5 + 11 = 16\), and find that every time we add two odd integers, the sum is an even integer. However, it is not possible to test every pair of odd integers, and so we can only say that the conjecture appears to be true. (We will prove that this statement is true in the next section.)

• Use of prior knowledge. This also is very important. We cannot start from square one every time we explore a statement. We must make use of our acquired mathematical knowledge. For the conjecture that \(\sin (2x) = 2 \sin(x)\), for all real numbers \(x\), we might recall that there are trigonometric identities called “double angle identities.” We may even remember the correct identity for \(\sin (2x)\), but if we do not, we can always look it up. We should recall (or find) that for all real numbers \(x\), \[\sin(2x) = 2 \sin(x)\cos(x).\]
• We could use this identity to argue that the conjecture “for all real numbers \(x\), \(\sin (2x) = 2 \sin(x)\)” is false, but if we do, it is still a good idea to give a specific counterexample as we did before.
• Cooperation and brainstorming . Working together is often more fruitful than working alone. When we work with someone else, we can compare notes and articulate our ideas. Thinking out loud is often a useful brainstorming method that helps generate new ideas.

Progress Check 1.2: Explorations

Use the techniques of exploration to investigate each of the following statements. Can you make a conjecture as to whether the statement is true or false? Can you determine whether it is true or false?

• \((a + b)^2 = a^2 + b^2\), for all real numbers a and b.
• There are integers \(x\) and \(y\) such that \(2x + 5y = 41\).
• If \(x\) is an even integer, then \(x^2\) is an even integer.
• If \(x\) and \(y\) are odd integers, then \(x \cdot y\) is an odd integer.

Conditional Statements

One of the most frequently used types of statements in mathematics is the so-called conditional statement. Given statements \(P\) and \(Q\), a statement of the form “If \(P\) then \(Q\)” is called a conditional statement . It seems reasonable that the truth value (true or false) of the conditional statement “If \(P\) then \(Q\)” depends on the truth values of \(P\) and \(Q\). The statement “If \(P\) then \(Q\)” means that \(Q\) must be true whenever \(P\) is true. The statement \(P\) is called the hypothesis of the conditional statement, and the statement \(Q\) is called the conclusion of the conditional statement. Since conditional statements are probably the most important type of statement in mathematics, we give a more formal definition.

A conditional statement is a statement that can be written in the form “If \(P\) then \(Q\),” where \(P\) and \(Q\) are sentences. For this conditional statement, \(P\) is called the hypothesis and \(Q\) is called the conclusion .

Intuitively, “If \(P\) then \(Q\)” means that \(Q\) must be true whenever \(P\) is true. Because conditional statements are used so often, a symbolic shorthand notation is used to represent the conditional statement “If \(P\) then \(Q\).” We will use the notation \(P \to Q\) to represent “If \(P\) then \(Q\).” When \(P\) and \(Q\) are statements, it seems reasonable that the truth value (true or false) of the conditional statement \(P \to Q\) depends on the truth values of \(P\) and \(Q\). There are four cases to consider:

• \(P\) is true and \(Q\) is true.
• \(P\) is false and \(Q\) is true.
• \(P\) is true and \(Q\) is false.
• \(P\) is false and \(Q\) is false.

The conditional statement \(P \to Q\) means that \(Q\) is true whenever \(P\) is true. It says nothing about the truth value of \(Q\) when \(P\) is false. Using this as a guide, we define the conditional statement \(P \to Q\) to be false only when \(P\) is true and \(Q\) is false, that is, only when the hypothesis is true and the conclusion is false. In all other cases, \(P \to Q\) is true. This is summarized in Table 1.1 , which is called a truth table for the conditional statement \(P \to Q\). (In Table 1.1 , T stands for “true” and F stands for “false.”)

Table 1.1: Truth Table for \(P \to Q\)

The important thing to remember is that the conditional statement \(P \to Q\) has its own truth value. It is either true or false (and not both). Its truth value depends on the truth values for \(P\) and \(Q\), but some find it a bit puzzling that the conditional statement is considered to be true when the hypothesis P is false. We will provide a justification for this through the use of an example.

Example 1.3:

Suppose that I say

“If it is not raining, then Daisy is riding her bike.”

We can represent this conditional statement as \(P \to Q\) where \(P\) is the statement, “It is not raining” and \(Q\) is the statement, “Daisy is riding her bike.”

Although it is not a perfect analogy, think of the statement \(P \to Q\) as being false to mean that I lied and think of the statement \(P \to Q\) as being true to mean that I did not lie. We will now check the truth value of \(P \to Q\) based on the truth values of \(P\) and \(Q\).

• Suppose that both \(P\) and \(Q\) are true. That is, it is not raining and Daisy is riding her bike. In this case, it seems reasonable to say that I told the truth and that\(P \to Q\) is true.
• Suppose that \(P\) is true and \(Q\) is false or that it is not raining and Daisy is not riding her bike. It would appear that by making the statement, “If it is not raining, then Daisy is riding her bike,” that I have not told the truth. So in this case, the statement \(P \to Q\) is false.
• Now suppose that \(P\) is false and \(Q\) is true or that it is raining and Daisy is riding her bike. Did I make a false statement by stating that if it is not raining, then Daisy is riding her bike? The key is that I did not make any statement about what would happen if it was raining, and so I did not tell a lie. So we consider the conditional statement, “If it is not raining, then Daisy is riding her bike,” to be true in the case where it is raining and Daisy is riding her bike.
• Finally, suppose that both \(P\) and \(Q\) are false. That is, it is raining and Daisy is not riding her bike. As in the previous situation, since my statement was \(P \to Q\), I made no claim about what would happen if it was raining, and so I did not tell a lie. So the statement \(P \to Q\) cannot be false in this case and so we consider it to be true.

Progress Check 1.4: xplorations with Conditional Statements

1 . Consider the following sentence:

If \(x\) is a positive real number, then \(x^2 + 8x\) is a positive real number.

Although the hypothesis and conclusion of this conditional sentence are not statements, the conditional sentence itself can be considered to be a statement as long as we know what possible numbers may be used for the variable \(x\). From the context of this sentence, it seems that we can substitute any positive real number for \(x\). We can also substitute 0 for \(x\) or a negative real number for x provided that we are willing to work with a false hypothesis in the conditional statement. (In Chapter 2 , we will learn how to be more careful and precise with these types of conditional statements.)

(a) Notice that if \(x = -3\), then \(x^2 + 8x = -15\), which is negative. Does this mean that the given conditional statement is false?

(b) Notice that if \(x = 4\), then \(x^2 + 8x = 48\), which is positive. Does this mean that the given conditional statement is true?

(c) Do you think this conditional statement is true or false? Record the results for at least five different examples where the hypothesis of this conditional statement is true.

2 . “If \(n\) is a positive integer, then \(n^2 - n +41\) is a prime number.” (Remember that a prime number is a positive integer greater than 1 whose only positive factors are 1 and itself.) To explore whether or not this statement is true, try using (and recording your results) for \(n = 1\), \(n = 2\), \(n = 3\), \(n = 4\), \(n = 5\), and \(n = 10\). Then record the results for at least four other values of \(n\). Does this conditional statement appear to be true?

Further Remarks about Conditional Statements

Suppose that Ed has exactly $52 in his wallet. The following four statements will use the four possible truth combinations for the hypothesis and conclusion of a conditional statement.

• If Ed has exactly $52 in his wallet, then he has $20 in his wallet. This is a true statement. Notice that both the hypothesis and the conclusion are true.
• If Ed has exactly $52 in his wallet, then he has $100 in his wallet. This statement is false. Notice that the hypothesis is true and the conclusion is false.
• If Ed has $100 in his wallet, then he has at least $50 in his wallet. This statement is true regardless of how much money he has in his wallet. In this case, the hypothesis is false and the conclusion is true.

This is admittedly a contrived example but it does illustrate that the conventions for the truth value of a conditional statement make sense. The message is that in order to be complete in mathematics, we need to have conventions about when a conditional statement is true and when it is false.

If \(n\) is a positive integer, then \((n^2 - n + 41)\) is a prime number.

Perhaps for all of the values you tried for \(n\), \((n^2 - n + 41)\) turned out to be a prime number. However, if we try \(n = 41\), we ge \(n^2 - n + 41 = 41^2 - 41 + 41\) \(n^2 - n + 41 = 41^2\) So in the case where \(n = 41\), the hypothesis is true (41 is a positive integer) and the conclusion is false \(41^2\) is not prime. Therefore, 41 is a counterexample for this conjecture and the conditional statement “If \(n\) is a positive integer, then \((n^2 - n + 41)\) is a prime number” is false. There are other counterexamples (such as \(n = 42\), \(n = 45\), and \(n = 50\)), but only one counterexample is needed to prove that the statement is false.

• Although one example can be used to prove that a conditional statement is false, in most cases, we cannot use examples to prove that a conditional statement is true. For example, in Progress Check 1.4 , we substituted values for \(x\) for the conditional statement “If \(x\) is a positive real number, then \(x^2 + 8x\) is a positive real number.” For every positive real number used for \(x\), we saw that \(x^2 + 8x\) was positive. However, this does not prove the conditional statement to be true because it is impossible to substitute every positive real number for \(x\). So, although we may believe this statement is true, to be able to conclude it is true, we need to write a mathematical proof. Methods of proof will be discussed in Section 1.2 and Chapter 3 .

Progress Check 1.5: Working with a Conditional Statement

The following statement is a true statement, which is proven in many calculus texts.

If the function \(f\) is differentiable at \(a\), then the function \(f\) is continuous at \(a\).

Using only this true statement, is it possible to make a conclusion about the function in each of the following cases?

• It is known that the function \(f\), where \(f(x) = \sin x\), is differentiable at 0.
• It is known that the function \(f\), where \(f(x) = \sqrt[3]x\), is not differentiable at 0.
• It is known that the function \(f\), where \(f(x) = |x|\), is continuous at 0.
• It is known that the function \(f\), where \(f(x) = \dfrac{|x|}{x}\) is not continuous at 0.

Closure Properties of Number Systems

The primary number system used in algebra and calculus is the real number system . We usually use the symbol R to stand for the set of all real numbers. The real numbers consist of the rational numbers and the irrational numbers. The rational numbers are those real numbers that can be written as a quotient of two integers (with a nonzero denominator), and the irrational numbers are those real numbers that cannot be written as a quotient of two integers. That is, a rational number can be written in the form of a fraction, and an irrational number cannot be written in the form of a fraction. Some common irrational numbers are \(\sqrt2\), \(\pi\) and \(e\). We usually use the symbol \(\mathbb{Q}\) to represent the set of all rational numbers. (The letter \(\mathbb{Q}\) is used because rational numbers are quotients of integers.) There is no standard symbol for the set of all irrational numbers.

Perhaps the most basic number system used in mathematics is the set of natural numbers . The natural numbers consist of the positive whole numbers such as 1, 2, 3, 107, and 203. We will use the symbol \(\mathbb{N}\) to stand for the set of natural numbers. Another basic number system that we will be working with is the set of integers . The integers consist of zero, the positive whole numbers, and the negatives of the positive whole numbers. If \(n\) is an integer, we can write \(n = \dfrac{n}{1}\). So each integer is a rational number and hence also a real number.

We will use the letter \(\mathbb{Z}\) to stand for the set of integers. (The letter \(\mathbb{Z}\) is from the German word, \(Zahlen\), for numbers.) Three of the basic properties of the integers are that the set \(\mathbb{Z}\) is closed under addition , the set \(\mathbb{Z}\) is closed under multiplication , and the set of integers is closed under subtraction. This means that

• If \(x\) and \(y\) are integers, then \(x + y\) is an integer;
• If \(x\) and \(y\) are integers, then \(x \cdot y\) is an integer; and
• If \(x\) and \(y\) are integers, then \(x - y\) is an integer.

Notice that these so-called closure properties are defined in terms of conditional statements. This means that if we can find one instance where the hypothesis is true and the conclusion is false, then the conditional statement is false.

Example 1.6: Closure

• In order for the set of natural numbers to be closed under subtraction, the following conditional statement would have to be true: If \(x\) and \(y\) are natural numbers, then \(x - y\) is a natural number. However, since 5 and 8 are natural numbers, \(5 - 8 = -3\), which is not a natural number, this conditional statement is false. Therefore, the set of natural numbers is not closed under subtraction.
• We can use the rules for multiplying fractions and the closure rules for the integers to show that the rational numbers are closed under multiplication. If \(\dfrac{a}{b}\) and \(\dfrac{c}{d}\) are rational numbers (so \(a\), \(b\), \(c\), and \(d\) are integers and \(b\) and \(d\) are not zero), then \(\dfrac{a}{b} \cdot \dfrac{c}{d} = \dfrac{ac}{bd}.\) Since the integers are closed under multiplication, we know that \(ac\) and \(bd\) are integers and since \(b \ne 0\) and \(d \ne 0\), \(bd \ne 0\). Hence, \(\dfrac{ac}{bd}\) is a rational number and this shows that the rational numbers are closed under multiplication.

Progress Check 1.7: Closure Properties

Answer each of the following questions.

• Is the set of rational numbers closed under addition? Explain.
• Is the set of integers closed under division? Explain.
• Is the set of rational numbers closed under subtraction? Explain.
• Which of the following sentences are statements? (a) \(3^2 + 4^2 = 5^2.\) (b) \(a^2 + b^2 = c^2.\) (c) There exists integers \(a\), \(b\), and \(c\) such that \(a^2 + b^2 = c^2.\) (d) If \(x^2 = 4\), then \(x = 2.\) (e) For each real number \(x\), if \(x^2 = 4\), then \(x = 2.\) (f) For each real number \(t\), \(\sin^2t + \cos^2t = 1.\) (g) \(\sin x < \sin (\frac{\pi}{4}).\) (h) If \(n\) is a prime number, then \(n^2\) has three positive factors. (i) 1 + \(\tan^2 \theta = \text{sec}^2 \theta.\) (j) Every rectangle is a parallelogram. (k) Every even natural number greater than or equal to 4 is the sum of two prime numbers.
• Identify the hypothesis and the conclusion for each of the following conditional statements. (a) If \(n\) is a prime number, then \(n^2\) has three positive factors. (b) If \(a\) is an irrational number and \(b\) is an irrational number, then \(a \cdot b\) is an irrational number. (c) If \(p\) is a prime number, then \(p = 2\) or \(p\) is an odd number. (d) If \(p\) is a prime number and \(p \ne 2\) or \(p\) is an odd number. (e) \(p \ne 2\) or \(p\) is a even number, then \(p\) is not prime.
• Determine whether each of the following conditional statements is true or false. (a) If 10 < 7, then 3 = 4. (b) If 7 < 10, then 3 = 4. (c) If 10 < 7, then 3 + 5 = 8. (d) If 7 < 10, then 3 + 5 = 8.
• Determine the conditions under which each of the following conditional sentences will be a true statement. (a) If a + 2 = 5, then 8 < 5. (b) If 5 < 8, then a + 2 = 5.
• Let \(P\) be the statement “Student X passed every assignment in Calculus I,” and let \(Q\) be the statement “Student X received a grade of C or better in Calculus I.” (a) What does it mean for \(P\) to be true? What does it mean for \(Q\) to be true? (b) Suppose that Student X passed every assignment in Calculus I and received a grade of B-, and that the instructor made the statement \(P \to Q\). Would you say that the instructor lied or told the truth? (c) Suppose that Student X passed every assignment in Calculus I and received a grade of C-, and that the instructor made the statement \(P \to Q\). Would you say that the instructor lied or told the truth? (d) Now suppose that Student X did not pass two assignments in Calculus I and received a grade of D, and that the instructor made the statement \(P \to Q\). Would you say that the instructor lied or told the truth? (e) How are Parts ( 5b ), ( 5c ), and ( 5d ) related to the truth table for \(P \to Q\)?

Theorem If f is a quadratic function of the form \(f(x) = ax^2 + bx + c\) and a < 0, then the function f has a maximum value when \(x = \dfrac{-b}{2a}\). Using only this theorem, what can be concluded about the functions given by the following formulas? (a) \(g (x) = -8x^2 + 5x - 2\) (b) \(h (x) = -\dfrac{1}{3}x^2 + 3x\) (c) \(k (x) = 8x^2 - 5x - 7\) (d) \(j (x) = -\dfrac{71}{99}x^2 +210\) (e) \(f (x) = -4x^2 - 3x + 7\) (f) \(F (x) = -x^4 + x^3 + 9\)

Theorem If \(f\) is a quadratic function of the form \(f(x) = ax^2 + bx + c\) and ac < 0, then the function \(f\) has two x-intercepts.

Using only this theorem, what can be concluded about the functions given by the following formulas? (a) \(g (x) = -8x^2 + 5x - 2\) (b) \(h (x) = -\dfrac{1}{3}x^2 + 3x\) (c) \(k (x) = 8x^2 - 5x - 7\) (d) \(j (x) = -\dfrac{71}{99}x^2 +210\) (e) \(f (x) = -4x^2 - 3x + 7\) (f) \(F (x) = -x^4 + x^3 + 9\)

Theorem A. If \(f\) is a cubic function of the form \(f (x) = x^3 - x + b\) and b > 1, then the function \(f\) has exactly one \(x\)-intercept. Following is another theorem about \(x\)-intercepts of functions: Theorem B . If \(f\) and \(g\) are functions with \(g (x) = k \cdot f (x)\), where \(k\) is a nonzero real number, then \(f\) and \(g\) have exactly the same \(x\)-intercepts.

Using only these two theorems and some simple algebraic manipulations, what can be concluded about the functions given by the following formulas? (a) \(f (x) = x^3 -x + 7\) (b) \(g (x) = x^3 + x +7\) (c) \(h (x) = -x^3 + x - 5\) (d) \(k (x) = 2x^3 + 2x + 3\) (e) \(r (x) = x^4 - x + 11\) (f) \(F (x) = 2x^3 - 2x + 7\)

• (a) Is the set of natural numbers closed under division? (b) Is the set of rational numbers closed under division? (c) Is the set of nonzero rational numbers closed under division? (d) Is the set of positive rational numbers closed under division? (e) Is the set of positive real numbers closed under subtraction? (f) Is the set of negative rational numbers closed under division? (g) Is the set of negative integers closed under addition? Explorations and Activities
• Exploring Propositions . In Progress Check 1.2 , we used exploration to show that certain statements were false and to make conjectures that certain statements were true. We can also use exploration to formulate a conjecture that we believe to be true. For example, if we calculate successive powers of \(2, (2^1, 2^2, 2^3, 2^4, 2^5, ...)\) and examine the units digits of these numbers, we could make the following conjectures (among others): \(\bullet\) If \(n\) is a natural number, then the units digit of \(2^n\) must be 2, 4, 6, or 8. \(\bullet\) The units digits of the successive powers of 2 repeat according to the pattern “2, 4, 8, 6.” (a) Is it possible to formulate a conjecture about the units digits of successive powers of \(4 (4^1, 4^2, 4^3, 4^4, 4^5,...)\)? If so, formulate at least one conjecture. (b) Is it possible to formulate a conjecture about the units digit of numbers of the form \(7^n - 2^n\), where \(n\) is a natural number? If so, formulate a conjecture in the form of a conditional statement in the form “If \(n\) is a natural number, then ... .” (c) Let \(f (x) = e^(2x)\). Determine the first eight derivatives of this function. What do you observe? Formulate a conjecture that appears to be true. The conjecture should be written as a conditional statement in the form, “If n is a natural number, then ... .”

share this!

June 12, 2024

This article has been reviewed according to Science X's editorial process and policies . Editors have highlighted the following attributes while ensuring the content's credibility:

fact-checked

peer-reviewed publication

trusted source

New theory describes how waves carry information from surroundings

by Vienna University of Technology

Waves pick up information from their environment through which they propagate. A theory of information carried by waves has now been developed at TU Wien—with astonishing results that can be utilized for technical applications.

Ultrasound is used to analyze the body, radar systems to study airspace or seismic waves to study the interior of our planet. Many areas of research are dealing with waves that are deflected, scattered or reflected by their surroundings. As a result, these waves carry a certain amount of information about their environment, and this information must then be extracted as comprehensively and precisely as possible.

Searching for the best way to do this has been the subject of research around the world for many years. TU Wien has now succeeded in describing the information carried by a wave about its environment with mathematical precision. This has made it possible to show how waves pick up information about an object and then transport it to a measuring device .

This can now be used to generate customized waves to extract the maximum amount of information from the environment—for more precise imaging processes, for example. This theory was confirmed with microwave experiments. The results were published in the journal Nature Physics .

Where exactly is the information located?

"The basic idea is quite simple: you send a wave at an object and the part of the wave that is scattered back from the object is measured by a detector," says Prof Stefan Rotter from the Institute of Theoretical Physics at TU Wien.

"The data can then be used to learn something about the object—for example, its precise position, speed or size." This information about the environment that this wave carries with it is known as "Fisher information."

However, it is often not possible to capture the entire wave. Usually, only part of the wave reaches the detector. This raises the question: Where exactly is this information actually located in the wave? Are there parts of the wave that can be safely ignored? Would a different waveform perhaps provide more information to the detector?

"To get to the bottom of these questions, we took a closer look at the mathematical properties of this Fisher information and came up with some astonishing results," says Rotter.

"The information fulfills a so-called continuity equation—the information in the wave is preserved as it moves through space, according to laws which are very similar laws to the conservation of energy, for example."

A comprehensible path of information

Using the newly developed formalism, the research team has now been able to calculate exactly at which point in space the wave actually carries how much information about the object. It turns out that the information about different properties of the object (such as position, speed and size) can be hidden in completely different parts of the wave.

As the theoretical calculations show, the information content of the wave depends precisely on how strongly the wave is influenced by certain properties of the object under investigation.

"For example, if we want to measure whether an object is a little further to the left or a little further to the right, then the Fisher information is carried precisely by the part of the wave that comes into contact with the right and left edges of the object," says Jakob Hüpfl, the doctoral student who played a key role in the study.

"This information then spreads out, and the more of this information reaches the detector, the more precisely the position of the object can be read from it."

Microwave experiments confirm the theory

In Ulrich Kuhl's group at the University of Cote d'Azur in Nice, experiments were carried out by Felix Russo as part of his master's thesis: A disordered environment was created in a microwave chamber using randomly positioned Teflon objects. Between these objects, a metallic rectangle was placed whose position was to be determined.

Microwaves were sent through the system and then picked up by a detector. The question now was: How well can the position of the metal rectangle be deduced from the waves caught in the detector in such a complicated physical situation and how does the information flow from the rectangle to the detector?

By precisely measuring the microwave field, it was possible to show exactly how the information about the horizontal and vertical position of the rectangle spreads: it emanates from the respective edges of the rectangle and then moves along with the wave—without any information being lost, just as predicted by the newly developed theory.

Possible applications in many areas

"This new mathematical description of Fisher information has the potential to improve the quality of a variety of imaging methods," says Rotter. If it is possible to quantify where the desired information is located and how it propagates, then it also becomes possible, for example, to position the detector more appropriately or to calculate customized waves that transport the maximum amount of information to the detector .

"We tested our theory with microwaves, but it is equally valid for a wide variety of waves with different wavelengths," emphasizes Rotter. "We provide simple formulas that can be used to improve microscopy methods as well as quantum sensors."

Journal information: Nature Physics

Provided by Vienna University of Technology

Explore further

Feedback to editors

Satellite data reveal electromagnetic anomalies up to 19 days before 2023 Turkey earthquake

9 hours ago

Researchers leverage inkjet printing to make a portable multispectral 3D camera

10 hours ago

Nanowires create elite warriors to enhance T cell therapy

Scientists adapt astronomy method to unblur microscopy images

Coming in hot: NASA's Chandra checks habitability of exoplanets

Pacific coast gray whales have gotten 13% shorter in the past 20–30 years, study finds

11 hours ago

Study confirms the rotation of Earth's inner core has slowed

Research finds dolphins with elevated mercury levels in Florida and Georgia

12 hours ago

Team develops predictive tool for designing complex metal alloys that can withstand extreme environments

Satellite 'megaconstellations' may jeopardize recovery of ozone hole

Relevant physicsforums posts, interference of two ultra short laser pulses.

Jun 5, 2024

Prism Spectrometer Objective: Optics Question

May 29, 2024

Viewing 1k x 1k slab of desert sand during extreme cold/hot temps?

May 22, 2024

How to narrow a beam to 1 mm diameter?

May 17, 2024

Questions about the Paraxial region for a single spherical surface

May 12, 2024

Collimation of a Gaussian beam

May 10, 2024

More from Optics

Related Stories

Researchers create light waves that can penetrate even opaque materials

Apr 12, 2021

Optimal information about the invisible

Jan 25, 2021

Holographic message encoded in simple plastic

Mar 18, 2024

Researchers present anti-reflective coating that blocks waves of many types

Jul 14, 2022

The random anti-laser

Mar 5, 2019

A remote control for everything small

Nov 19, 2019

Recommended for you

A route to scalable Majorana qubits

Pseudomagic quantum states: A path to quantum supremacy

Jun 11, 2024

New technique could help build quantum computers of the future

How does light interact with matter at extreme intensities, near the Schwinger limit?

Jun 10, 2024

Let us know if there is a problem with our content

Use this form if you have come across a typo, inaccuracy or would like to send an edit request for the content on this page. For general inquiries, please use our contact form . For general feedback, use the public comments section below (please adhere to guidelines ).

Please select the most appropriate category to facilitate processing of your request

Thank you for taking time to provide your feedback to the editors.

Your feedback is important to us. However, we do not guarantee individual replies due to the high volume of messages.

E-mail the story

Your email address is used only to let the recipient know who sent the email. Neither your address nor the recipient's address will be used for any other purpose. The information you enter will appear in your e-mail message and is not retained by Phys.org in any form.

Newsletter sign up

Get weekly and/or daily updates delivered to your inbox. You can unsubscribe at any time and we'll never share your details to third parties.

More information Privacy policy

Donate and enjoy an ad-free experience

We keep our content available to everyone. Consider supporting Science X's mission by getting a premium account.

E-mail newsletter