# Questions tagged [examples-counterexamples]

To be used for questions whose central topic is a request for examples where a mathematical property holds, or counterexamples where it does not hold. This tag should be used in conjunction with another tag to clearly specify the subject.

736 questions
Filter by
Sorted by
Tagged with
61k views

### Discontinuous derivative. [duplicate]

Could someone give an example of a ‘very’ discontinuous derivative? I myself can only come up with examples where the derivative is discontinuous at only one point. I am assuming the function is real-...
15k views

### How discontinuous can a derivative be?

There is a well-known result in elementary analysis due to Darboux which says if $f$ is a differentiable function then $f'$ satisfies the intermediate value property. To my knowledge, not many "...
39k views

### Examples of patterns that eventually fail

Often, when I try to describe mathematics to the layman, I find myself struggling to convince them of the importance and consequence of "proof". I receive responses like: "surely if Collatz is true up ...
10k views

### Examples and further results about the order of the product of two elements in a group

Let $G$ be a group and let $a,b$ be two elements of $G$. What can we say about the order of their product $ab$? Wikipedia says "not much": There is no general formula relating the order of a ...
13k views

### Discontinuous linear functional

I'm trying to find a discontinuous linear functional into $\mathbb{R}$ as a prep question for a test. I know that I need an infinite-dimensional Vector Space. Since $\ell_2$ is infinite-dimensional, ...
7k views

### Perfect set without rationals [closed]

Give an example of a perfect set in $\mathbb R^n$ that does not contain any of the rationals. (Or prove that it does not exist).
17k views

### Functions which are Continuous, but not Bicontinuous

What are some examples of functions which are continuous, but whose inverse is not continuous? nb: I changed the question after a few comments, so some of the below no longer make sense. Sorry.
7k views

### Open maps which are not continuous

What is an example of an open map $(0,1) \to \mathbb{R}$ which is not continuous? Is it even possible for one to exist? What about in higher dimensions? The simplest example I've been able to think of ...
9k views

### Does commutativity imply Associativity?

Does commutativity imply associativity? I'm asking this because I was trying to think of structures that are commutative but non-associative but couldn't come up with any. Are there any such examples? ...
12k views

### Is it possible for a function to be in $L^p$ for only one $p$?

I'm wondering if it's possible for a function to be an $L^p$ space for only one value of $p \in [1,\infty)$ (on either a bounded domain or an unbounded domain). One can use interpolation to show that ...
21k views

### Construct a function which is continuous in $[1,5]$ but not differentiable at $2, 3, 4$

Construct a function which is continuous in $[1,5]$ but not differentiable at $2, 3, 4$. This question is just after the definition of differentiation and the theorem that if $f$ is finitely ...
4k views

### If I know the order of every element in a group, do I know the group?

Suppose $G$ is a finite group and I know for every $k \leq |G|$ that exactly $n_k$ elements in $G$ have order $k$. Do I know what the group is? Is there a counterexample where two groups $G$ and $H$ ...
15k views

### Can't argue with success? Looking for “bad math” that “gets away with it”

I'm looking for cases of invalid math operations producing (in spite of it all) correct results (aka "every math teacher's nightmare"). One example would be "cancelling" the 6s in $$\frac{64}{16}.$$ ...
10k views

### Is every Lebesgue measurable function on $\mathbb{R}$ the pointwise limit of continuous functions?

I know that if $f$ is a Lebesgue measurable function on $[a,b]$ then there exists a continuous function $g$ such that $|f(x)-g(x)|< \epsilon$ for all $x\in [a,b]\setminus P$ where the measure of $P$...
14k views

### Are normal subgroups transitive?

Suppose $G$ is a group and $K\lhd H\lhd G$ are normal subgroups of $G$. Is $K$ a normal subgroup of $G$, i.e. $K\lhd G$? If not, what extra conditions on $G$ or $H$ make this possible? Applying the ...
11k views

### Connected metric spaces with at least 2 points are uncountable.

That's a problem I proved (quite a while back) in tiny Rudin. However, I don't really get it. The other questions were actually useful results - I don't think I've ever come near using this result. ...
18k views

### Lebesgue measurable set that is not a Borel measurable set

exact duplicate of Lebesgue measurable but not Borel measurable BUT! can you please translate Miguel's answer and expand it with a formal proof? I'm totally stuck... In short: Is there a Lebesgue ...
5k views

### An example of a division ring $D$ that is **not** isomorphic to its opposite ring

I recall reading in an abstract algebra text two years ago (when I had the pleasure to learn this beautiful subject) that there exists a division ring $D$ that is not isomorphic to its opposite ring. ...
3k views

### Example of a function such that $\varphi\left(\frac{x+y}{2}\right)\leq \frac{\varphi(x)+\varphi(y)}{2}$ but $\varphi$ is not convex

Rudin's Real and Complex Analysis Chapter 3 Exercise 4 is: Assume that $\varphi$ is a continuous real function on $(a,b)$ s.t. $$\varphi\left(\frac{x+y}{2}\right)\leq \frac{\varphi(x)+\varphi(y)}{2}$$...
10k views

### What is an example that a function is differentiable but derivative is not Riemann integrable

I have two questions that i'm curious about. If $f$ is differentiable real function on its domain, then $f'$ is Riemann integrable. If $g$ is a real function with intermediate value property, then $g$...
7k views

### A compact Hausdorff space that is not metrizable

Is there an example of a compact Hausdorff space that is not metrizable? I was thinking maybe the space of continuous functions $f: X \rightarrow Y$ between topological spaces $X, Y$, might work, but ...
3k views

### Is there a function with infinite integral on every interval?

Could give some examples of nonnegative measurable function $f:\mathbb{R}\to[0,\infty)$, such that its integral over any bounded interval is infinite?
22k views

### Example of infinite field of characteristic $p\neq 0$

Can you give me an example of infinite field of characteristic $p\neq0$? Thanks.
19k views

### Not every metric is induced from a norm

I have studied that every normed space $(V, \lVert\cdot \lVert)$ is a metric space with respect to distance function $d(u,v) = \lVert u - v \rVert$, $u,v \in V$. My question is whether every metric ...
18k views

### Intersection of finite number of compact sets is compact?

Is the the intersection of a finite number of compact sets is compact? If not please give a counter example to demonstrate this is not true. I said that this is true because the intersection of ...
2k views

### Is every group the automorphism group of a group?

Suppose $G$ is a group. Does there always exist a group $H$, such that $\operatorname{Aut}(H)=G$, i. e. such that $G$ is the automorphism group of $H$? EDIT: It has been pointed out that the answer ...
5k views

### Derived subgroup where not every element is a commutator

Let $G$ be a group and let $G'$ be the derived subgroup, defined as the subgroup generated by the commutators of $G$. Is there an example of a finite group $G$ where not every element of $G'$ is a ...
1k views

### Function $f: \mathbb{R} \to \mathbb{R}$ that takes each value in $\mathbb{R}$ three times

Does there exist a function $f: \mathbb{R} \to \mathbb{R}$ that takes each value in $\mathbb{R}$ three times? If not, how could I prove that such a function does not exist?
6k views

### The direct sum of two closed subspace is closed? (Hilbert space)

I know that if $X$ is a Banach space, then, the direct sum of two closed subspace $X_1$ and $X_2$ is not necessarily closed. But what if $X$ is Hilbert? I assume there is something to do with the ...
29k views

### Examples of infinite groups such that all their respective elements are of finite order.

I am in need of examples of infinite groups such that all their respective elements are of finite order.
6k views

### Continuity $\Rightarrow$ Intermediate Value Property. Why is the opposite not true?

Continuity $\Rightarrow$ Intermediate Value Property. Why is the opposite not true? It seems to me like they are equal definitions in a way. Can you give me a counter-example? Thanks
8k views

### Examples of non symmetric distances

It is well known that the symmetric property is $d(x,y)=d(y,x)$ is not necessary in the definition of distance if the triangle inequality is carefully stated. On the other hand there are examples of ...
1k views

### Proving $f(C) \setminus f(D) \subseteq f(C \setminus D)$ and disproving equality

Let $f: A\longrightarrow B$ be a function. 1)Prove that for any two sets, $C,D\subseteq A$ , we have $f(C) \setminus f(D)\subseteq f(C\setminus D)$. 2)Give an example of a function $f$, and sets $C$...
1k views

### Examples of Baire class 2 functions

Do you know of examples of Baire class 2 functions which are not Baire class 1 functions, besides the the indicator function of the rationals and the indicator function of the Cantor set?
4k views

### Do we have always $f(A \cap B) = f(A) \cap f(B)$? [closed]

Suppose $A$ and $B$ are subsets of a topological space and $f$ is any function from $X$ to another topological space $Y$. Do we have always $f(A \cap B) = f(A) \cap f(B)$? Thanks in advance
6k views

### Fake induction proofs

Question: Can you provide an example of a claim where the base case holds but there is a subtle flaw in the inductive step that leads to a fake proof of a clearly erroneous result? [Note: Please do ...
12k views

### Lebesgue measurable but not Borel measurable

I'm trying to find a set which is Lebesgue measurable but not Borel measurable. So I was thinking of taking a Lebesgue set of measure zero and intersecting it with something so that the result is not ...
7k views

### Example of a Borel set that is neither $F_\sigma$ nor $G_\delta$

I'm looking for subset $A$ of $\mathbb R$ such that $A$ is a Borel set but $A$ is neither $F_\sigma$ nor $G_\delta$.
6k views

### compactness / sequentially compact

I'm looking for two examples: A space which is compact but not sequentially compact A space which is sequentially compact but not compact Explanations why the spaces are compact / not compact and ...
4k views

### Groups where all elements are order 3

I am a student trying to learn some abstract algebra this summer, and I recently proved (as an exercise) that if $G$ is a group where every element has order 2, then $G$ is abelian. I was wondering ...
4k views

### Is a semigroup $G$ with left identity and right inverses a group?

Hungerford's Algebra poses the question: Is it true that a semigroup $G$ that has a left identity element and in which every element has a right inverse is a group? Now, If both the identity and the ...
3k views

### Construct a monotone function which has countably many discontinuities

I read in a textbook, which had seemed to have other dubious errors, that one may construct a monotone function with discontinuities at every point in a countable set $C \subset [a,b]$ by enumerating ...
3k views

### Function whose image of every open interval is $(-\infty,\infty)$ [duplicate]

How to find a function from reals to reals such that the image of every open interval is the whole of R? Is there one which maps rationals to rationals?
14k views

### Examples of mathematical induction

What are the best examples of mathematical induction available at the secondary-school level---totally elementary---that do not involve expressions of the form $\bullet+\cdots\cdots\cdots+\bullet$ ...
2k views

### The “Easiest” non-smoothable manifold

In 1960, Kervaire found the first example of a PL-manifold which does not admit a smooth structure. Since then, I understand that there are many examples of non-smoothable manifolds that can be built. ...
3k views

### Bounded sequence which is not convergent, but differences of consecutive terms converge to zero

I have a question that says "Show that there is a bounded sequence $x_n$ which is not convergent but has the property that $x_n - x_{n+1} \to 0$ as $n \to 0$. What does this mean? Do I need to come ...
712 views

### How do we prove that $\lfloor0.999\cdots\rfloor = \lfloor 1 \rfloor$?

Are the floor functions of $0.999\cdots$ and 1 equal? It is true that $0.999\cdots=1$ but how does one justifies the integer part of $0.999\cdots$ being 1 , where it is not, or alternatively without ...
902 views

### Making Tychonoff Corkscrew in Counterexamples in Topology rigorous?

I'm reading pages 109 and 110 of Seebach and Steen's Counterexamples in Topology (p. 61 here) and I don't understand one of their steps. In particular, at the bottom of page 109 they say, "by ...
In this recent question, Iota asked if, given a finite group $G$ and two isomorphic normal subgroups $H$ and $K$, it would follow that $G/H$ and $G/K$ are isomorphic. This is not true (a simple ...
### Can we construct a function $f:\mathbb{R} \rightarrow \mathbb{R}$ such that it has intermediate value property and discontinuous everywhere?
Can we construct a function $f:\mathbb{R} \rightarrow \mathbb{R}$ such that it has intermediate value property and discontinuous everywhere? I think it is probable because we can consider  y = \...