Examples and counterexamples are great ways to learn about the intricacies of definitions in mathematics. Counterexamples are especially useful in topology and analysis where most things are fairly intuitive, but every now and then one may run into borderline cases where the naive intuition may ...

learn more… | top users | synonyms (2)

4
votes
1answer
61 views

The “converse” of $P\rightarrow(Q\rightarrow R)$

As everyone know, even when reading mathematics books, a paragraph written in natural language contains much more information than just its purely logical translation. For my next tutor session, I am ...
0
votes
1answer
29 views

Homogeneous topological space with the fixed-point property

Let $X$ be a topological space. $X$ is said to be homogeneous if for every $x$ and $y\in X$ there is an self-homeomorphism $f$ of $X$ such that $f(x)=y$. Further, $X$ is said to have the fixed-point ...
1
vote
2answers
26 views

When solving convex problem, why we don't just find the optimal of the cost function and project it back to the feasible set

I know that is wrong, because if it is right people would not develop so many algorithms. But why? Can I ask for some examples illustrating this does not guarantee optimal?
0
votes
1answer
91 views

Example of Something That's Not A Manifold

Two examples of non-manifolds that I know are the cross and the cone. Also the sphere with a hair isn't a topological manifold. But what's an example of a topological space $X$ such that $X$ is not a ...
2
votes
4answers
112 views

Does anyone know of a non-trivial algebraic structure satisfying these four identities?

Does anyone know of a non-trivial (i.e. cardinality $\geq 2)$ algebraic structure $(X,+,-)$ satisfying the following identities? $(x+a)-a=x$ $(x-a)+a=x$ $(x+y)+a = (x+a)+(y+a)$ $(x-y)+a = ...
4
votes
0answers
22 views

Self-duality in a lattice

Is there any self-dual lattice $(X,\le)$ such that there is not any self-duality $f:X\to X$ such that $f\circ f = 1_X$? Let $f,g:X\to X$ be a self-dualities. Then $f^{-1}\circ g$ is an ...
0
votes
0answers
42 views

A counterexample 2

Can we find a function $f:\mathbb{R}\to(0,\infty)$ which satisfies $$\limsup_{|x|\to + \infty}\frac{f(x+c)}{f(x)}<+\infty, \ \ \forall c\in \mathbb{R},(\text{limit in }+\infty\text{ and ...
4
votes
3answers
38 views

Does continuity of $f$ imply $f^{-1}(\bar A)\subset\overline{f^{-1}(A)}$?

I'm struggling to prove or disprove that the continuity of $f$ implies $f^{-1}(\bar A)\subset\overline{f^{-1}(A)}$. $f:X\to Y$ is a map between metric spaces $(X,d),(Y,d')$ while $\bar M$ denotes the ...
2
votes
1answer
37 views

Do two II$_1$-factors with trivial intersection generate $B(H)$?

Let $H$ be an infinite dim. separable Hilbert space and $B(H)$ the algebra of bounded operators. Let $A$, $B \subset B(H)$ be II$_1$-factors such that $A \cap B = \mathbb{C}I$. Examples: (1) Take ...
2
votes
1answer
34 views

Product of divisible module is divisible

I have the following problem Is the product of divisible $R$-modules divisible? I think it is not. But I need some counterexample to this, somebody can give me a "place" to search one? Thanks a ...
3
votes
3answers
140 views

A persisting element in all subgroups.

Let $G$ be a finitely generated abelian group and $a$ be a nontrival element of $G$ contained in all nontrivial subgroups of $G$. Is $G$ necessarily cyclic?
0
votes
2answers
32 views

an example of a continuous bijection which is not a homeomorphism [duplicate]

I need an example of a continuous bijection $f:X \to Y$, where $X$ is NOT compact and $Y$ is Hausdorff, such that $f$ is not a homeomorphism. (It is easy to show that if $X$ is compact, then $f$ is ...
3
votes
1answer
44 views

Is kinetic energy a positive definite quadratic form?

Recall (Arnold, Mathematical methods of classical mechanis, 4.19, B) Definition. Let $M$ be a riemannian manifold. The quadratic form on each tangent space $$ T = \frac{1}{2} \langle v, v ...
0
votes
1answer
28 views

Homomorphic image of intersection equals intersection of homomorphic images?

This is a tangent of this question. I wanted to remark in my answer that it is not generally true that given a group homomorphism $f:G\rightarrow H$ and two subgroups $X,Y\leq G$ that $$f(X\cap ...
2
votes
3answers
43 views

Example of ring $R$ with ideals $I\neq J$ such that $R/I \cong R/J$ as modules

It's easy to prove that if $I$, $J$ are two-sided ideals and $R/I\cong R/J$ as modules over $R$, then $I=J$. What about left ideals? Is there a simple counterexample? I believe I've found an answer, ...
4
votes
4answers
174 views
+50

Constructing a family of distinct curves with identical area and perimeter

Two recent questions were posed by Arjuba [1] [2] asking for counter-examples regarding whether two different figures could have the same perimeter and area. Responders quickly raised a number of such ...
12
votes
8answers
2k views

Polygons with equal area and perimeter but different number of sides?

Let's say we have two polygons with different numbers of sides. They can be any sort of shape, but they have to have the same area, and perimeter. There could be such possibilities, but can someone ...
0
votes
1answer
33 views

Linear bijection non-preserving Hausdorff propery

My question is: If $f: X \to Y$ is a continuous and linear bijection between topological vector spaces, is it possible that $X$ is Hausdorff and $Y$ is non-Hausdorff? (TVSs are considered in the more ...
2
votes
0answers
29 views

Separability of conjugacy classes in conjugacy separable semidirect products.

We say that group $G$ is conjugacy separable if for every $g \in G$ the set $g^G = \{cgc^{-1} \mid c \in G\}$ is closed in the profinite topology on $G$, i.e. for every $f \in G \setminus g^G$ there ...
62
votes
31answers
7k views

What are some 'conceptualizations' that work in mathematics but are not strictly true?

I am having an argument with someone who thinks that it's never justified to teach something that is not strictly correct. I disagree: often, the pedagogically most efficient way to make progress is ...
2
votes
1answer
41 views

Semidirect products as (amalgamated) free product

It is well known that $\mathbb{Z}\rtimes \mathbb{Z}_2$ is free product $\mathbb{Z}_2 \star \mathbb{Z}_2$. Are there more examples of these kind?
1
vote
3answers
46 views

“Full”-Simplification of arbitrary mathematical expressions

I've come across many (classroom) problems, like Roy did, whereby the solution to a problem, $$−3(7−2x)^2−5(1+x)^2$$ is the result of simplifying that expression as much as is possible, i.e. ...
0
votes
1answer
42 views

Pair of functions $F(x)$ (transcendental),$A(x)$ (algebraic) with expanded series of positive integer coefficient linked by derivative

$$F(x)=\sum_0^{\infty}b_k x^k,b_k\in \mathcal{N} \bigcup 0,\exists M \space b_k \leq M^k$$. $$A(x)=\sum_0^{\infty}a_k x^k,a_k\in \mathcal{N} \bigcup 0,\exists M \space a_k \leq L^k$$ where $F(x)$ is ...
3
votes
2answers
110 views

Is an arbitrary group generated by a traversal of the conjugacy classes?

Let $G$ be a group, and let $\mathcal C$ be the collection of conjugacy classes of $G$. Let $S$ be a traversal of $\mathcal C$ (that is $S$ contains exactly one element from each set in $\cal C$). ...
3
votes
1answer
39 views

Free cyclic subgroups in a non-abelian group

Is there any non-abelian group $G$ such that for each $a\in G$ and any automorphism $g:\left<a\right>\to \left<a\right>$ the function $$f:G\to G$$ $$f(x) = \begin{cases} g(x) & \text{ ...
5
votes
7answers
188 views

If $A^2 = B^2$, then $A=B$ or $A=-B$

Let $A_{n\times n},B_{n\times n}$ be square matrices with $n \geq 2$. If $A^2 = B^2$, then $A=B$ or $A=-B$. This is wrong but I don't see why. Do you have any counterexample?
1
vote
1answer
26 views

If the quotient by the $i$th center is cyclic, does it follow that the original group is abelian?

Let $G$ be a group such that there exists an $i$ such that $G/Z^i(G)$ is cyclic. Does it follow that $G$ is abelian? This question is a generalization of the well known fact that if $G/Z(G)$ is ...
0
votes
3answers
61 views

Proof by contradiction using counterexample

Why can't we use one counter example as the contradiction to the contradicting statement? Example: Let a statement be A where a-->b. We can prove A is not true by finding a counter example. Now, in ...
6
votes
1answer
37 views

Divergence set at radius of convergence

I came up with this question on my own while I was musing around reviewing notes. After unsuccessful Google search (thwarted by a deluge amount of webpages on basic calculus), I decided to ask here. ...
2
votes
0answers
32 views

Natural examples of multiplicatively-graded rings

A ring $A$ is multiplicatively graded if, as an additive group, it decomposes as $$A=\bigoplus_{n\geq 1} A_n$$ and the product satisfies $A_n \times A_m \rightarrow A_{nm}$. A natural example of ...
5
votes
2answers
98 views

Give an example of a function $f$ satisfying $\lim_{x\to 0}(f(x)f(2x))=0$,but $\lim_{x\to 0}f(x)$ does not exists

Question: Give an example of a function $f$ satisfying the condition $$\lim_{x\to 0}(f(x)f(2x))=0$$ and such that $$\lim_{x\to 0}f(x)$$ does not exists. I think this question have many example. But ...
12
votes
2answers
177 views

Do differentiable functions preserve measure zero sets? Measurable sets?

Consider Lebesgue measure on $\mathbb{R}$ and let $f:\mathbb{R}\to\mathbb{R}$ be differentiable. Does $f$ necessarily preserve measure zero sets? Does $f$ necessarily preserve measurable sets? ...
3
votes
1answer
24 views

What are some examples of non-commutative monoids that are both idempotent and self-distributive (on both sides)?

In the presence of the axioms for a commutative monoid, idempotency is equivalent to self-distributivity. Proof. Suppose a commutative monoid is idempotent. Then: $$x(yz) = xxyz = (xy)(xz)$$ On the ...
0
votes
0answers
89 views

Please give me an example of the algorithm where $\Theta$ will be equal to $e^n$

Please give me an example of the algorithm where $\Theta$ or $O$ will be equal exactly to $e^n$ . The algorithm should not be simple counting from 0 till $e^n$ . It should be a clear relation of two ...
11
votes
1answer
118 views

If $f\tau$ is continuous for every path $\tau$ in $X$, is $f:X\rightarrow Y$ continuous?

Let $X$ be a path connected space and $Y$ be a topological space. Let $f:X\rightarrow Y$ be a function such that for every path $\tau:\mathbb{I}\rightarrow X$ , $f\tau:\mathbb{I}\rightarrow Y$ is ...
0
votes
1answer
41 views

Example of a function $f$ which is Lebesgue integrable on $[0,1]$, but max{$f,0$} is NOT Lebesgue integrable?

Can anyone come up with an example of a function $f$ which is Lebesgue integrable on $[0,1]$, but max{$f,0$} is NOT Lebesgue integrable? Thanks.
9
votes
1answer
125 views

Are elements commutative when subgroups are?

Suppose G is a group and for every $H_1,H_2\le G$, $H_1H_2=H_2H_1$. Is $G$ abelian?
0
votes
0answers
20 views

A Lindelof non-scattered space $X$ which is not an extention of $\mathbb R$

Is anyone familier with an example for a Lindelof non-scattered topological space $X$ which is not an extention of $\mathbb R$ (with Euclidean topology). I am looking for an example which is not a ...
0
votes
1answer
69 views

An example in Spivak's Calculus on Manifolds (chain rule).

Spivak gives an example which has step that is giving me some problems to get it, even if it's supposed to be trivial. Spivak says: Let $f:\mathbb{R}^2\to\mathbb{R}$ given by $f(x,y)=\sin(xy^2)$. ...
4
votes
3answers
72 views

Non-isomorphic algebraic structures such that each surjects homomorphically onto the other

Off the top of my head, I cannot think of any algebraic structures $X$ and $Y$ such that each surjects homomorphically onto the other, yet $X$ and $Y$ are non-isomorphic. What are some examples of ...
2
votes
2answers
49 views

Convergence of integrals but $\int_a^b|f_n(x)-f(x)|dx$ does not converge to $0$

Can I have an example of a sequence of continuous functions $(f_n)_n$ and a continuous function $f:[a,b]\to \mathbb{R}$ such that $$\int_a^bf_n(x)dx\to\int_a^bf(x)dx,$$ when $n\to+\infty$, but ...
2
votes
1answer
68 views

An operator such that $\|A\|^2 \neq \|A^2\|$

The question asks for a bounded linear operator on a Hilbert space satisfying the condition in the title. This is what I came up with: Let $A_1:\mathbb{R}^2\rightarrow \mathbb{R}^2$ be a 90-degree ...
-1
votes
1answer
52 views

Why set is not equal its closure minus its boundary? [closed]

Why $ \Omega \neq \bar{\Omega} \setminus \partial \Omega $ ? Can somebody show any counterexample?
3
votes
2answers
52 views

Groups reluctant to have infinite subgroup

Is there a group with only one infinite subgroup‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌?
0
votes
1answer
38 views

A counter-example to Dini's Theorem (after removing a hypothesis)

Recall Dini's Theorem: Let $K$ be a compact metric space. Let $f: K\to\mathbb{R}$ be a continuous function and $f_{n}: K\to\mathbb{R}$, $n\in\mathbb{N}$ be a sequence of continuous functions. ...
1
vote
2answers
90 views

Conjecture: if $a+b$ and $ab$ are rational, $a$ and $b$ are rational

I can't find a rigorous proof but I have a feeling it's true. Informal argument: Suppose $a+b$ and $ab$ are rational, $a$ and $b$ are irrational (since just one can't be irrational). Then $a$ and ...
2
votes
1answer
47 views

Fundamental theorem of calculus necessary assumption

The fundamental theorem of calculus is stated as follows: Let $f$ and $F$ be real-valued functions defined on a closed interval $[a, b]$ such that the derivative of $F$ is $f$. That is, $f$ and $F$ ...
1
vote
2answers
54 views

Sequentially compact space

Is every sequentially compact space metrisable? If not, then, can you give me an example of a sequentially compact space that is not compact.
6
votes
1answer
48 views

Definition of the normalizer of a subgroup

Let $G$ be a group and $H$ a subgroup of $G$. Is there any counterexample to the assertion $N_G(H):=\{g\in G\mid gHg^{-1}=H\}=\{g\in G\mid gHg^{-1}\subset H\}$? Thanks!
3
votes
1answer
33 views

Example of a function f that is Generalized Riemann Integrable, but its square is NOT Generalized Riemann Integrable.

I am reading a section about Generalized Riemann Integral (Kurzweil-Henstock), and there was a problem on that section to provide an example of a function $f$ on $[0,1]$ that is Generalized Riemann ...