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)

63
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 ...
3
votes
2answers
27 views

Metrizability of quotient spaces of metric spaces

Suppose $X$ a metric space and $\sim$ an equivalence relation on $X$. Is the space $X/\mathord{\sim}$ metrizable? I think that the answer is no, but I could not arrive at a counterexample.
0
votes
0answers
10 views

An example of $k$-independent distributions.

I'm trying to better understand the idea of $k$-independence in distributions. The idea is that a distribution $\mu$ over $\{0,1\}^n$ is $k$-independent if any restriction of $\mu$ to $k$ variables ...
49
votes
8answers
2k views

Problems that become easier in a more general form.

When solving a problem, we often look at some special cases first, and then try to work our way up to the general case. It would be interesting to see some counterexamples to this mental process, ...
5
votes
2answers
64 views

A Hausdorff space which is not completely regular

My example is, $f : \mathbb{R}^+ \to \mathbb{R}$ defined by: $$f(x) = \begin{cases} x, &\text{if }0 \leq x < 1 \\ \tfrac{1}{x}, &\text{if }x \geq 1. \end{cases}$$ Even though $f(0)=0$ but ...
0
votes
0answers
10 views

Inclusion of commutators on classical pseudodifferential operators

We denote by $Cl^\mu$ the class of classical pseudo-differential operators of order $\mu$. Consider the notation $$[Cl^{a},Cl^{b}]\hookrightarrow [Cl^{a'},Cl^{b'}]$$ which means that a commutator on ...
3
votes
2answers
290 views

Interesting Problems for NonMath Majors

Sometime in the upcoming future, I will be doing a presentation as a college alumni to a bunch of undergrads from an organization I was in college. I did a dual major in mathematics and computer ...
1
vote
1answer
32 views

One-sided and two-sided cancellability

Is there a semigroup $S$ with right- and left-cancellable elements but no elements cancellable from both sides? $s\in S$ is left-cancellable if for any $a,b\in S$ we have $$sa=sb\implies a=b$$ and ...
4
votes
2answers
73 views

A non-UFD such that $a^2 \mid b^2$ does not lead to $a\mid b$

Is there any non-UFD that is a commutative ring such that $a^2 \mid b^2$ does not always lead to $a\mid b$? It would be preferable if examples are something that does not involve ...
1
vote
1answer
20 views

Converse to Exactness of localization of modules

It is a standard fact that if $R$ is a ring, and $$\tag{1} 0\longrightarrow A\longrightarrow B\longrightarrow C\longrightarrow 0 $$ a short exact sequence of $R$-modules, if $S$ is a multiplicative ...
0
votes
1answer
8 views

closedness of a sublattice under complements

Let $A$ be a bounded sublattice of the bounded lattice $(X,\le)$ with $$\max A=\max X, ~~\min A=\min X$$ Let $a,b\in X$ be complements and $a\in A$. Is $b\in A$?
10
votes
2answers
1k 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 ...
0
votes
1answer
33 views

Nowhere dense set - coarser vs. finer topology

Let $X$ be a set and let $\tau_1\subseteq\tau_2$ be topologies on $X$. Suppose that $A\subseteq X$ is nowhere dense in $\left(X, \tau_2\right)$. I was wondering if it follows that $A$ is nowhere dense ...
4
votes
1answer
45 views

Does $S^\bot+T^\bot = (S\cap T)^\bot$ hold in infinite-dimensional spaces?

If $S$ and $T$ are subspaces of some finite-dimensional inner product space then $$S^\bot+T^\bot = (S\cap T)^\bot.$$ See, for example, this post or this post Does it hold in infinite-dimensional ...
0
votes
1answer
46 views

Are there standard parameters for the Weierstrass nowhere differentiable function?

On Wikipedia, the Weierstass non-differentiable function is defined as: $$f(x)=\sum^{\infty}_{n=0}a^n\cos(b^n\pi x)$$ where $0<a<1$, $0<b$, and $ab>1+\frac 32 \pi$ Since it seems like, ...
0
votes
1answer
46 views

Need an example/counterexample of continuous and increasing function.

If $\mu$ is a finite measure on the measurable space $\big( X, \mathscr{F} \big)$, $f : X\to [ 0, +\infty)$ is measurable. Then $\textbf{does it exist a continuous function $g : [ 0, +\infty)\to [ ...
0
votes
2answers
48 views

Significance of low order terms in base expansion of integer square root

My head is turning into a uniform gel of random thoughts! I cannot see a proof or find a counterexample to the following: Conjecture: Let integer $x$ be expressed as $a_3 \, b^3 + a_2 \, b^2 + a_1 \, ...
12
votes
6answers
284 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?
1
vote
1answer
25 views

Diff. Eq. Example with Matrices

I'm currently working on a side project of mine that deals with $\sin(A)$ and $\cos(B)$, where $A,B\in\mathbb{C}^{nxn}$. I'm trying to find some interesting (or non-interesting) examples where one ...
4
votes
3answers
99 views

Is every such function convex or concave?

I was pondering convex functions today, and the following questions naturally posed themselves. Call a function $f : \mathbb{R} \rightarrow \mathbb{R}$ $2$-limited iff for all $m,c \in \mathbb{R},$ ...
1
vote
1answer
27 views

Counterexample: Convergence in finite dimensional distributions does not imply weak convergence

I'm working at the following exercise: Give an example of a sequence of stochastic processes $(\mathbb{X}^n)_{n\geq 1}$ such that the finite dimensional distributions converge to the finite ...
1
vote
1answer
44 views

Series converges but term by term integration not valid?

Give an example of a series $\sum g_n$ of Lebesgue integrable functions on $\mathbb{R}$ that converges but for which term by term integration is not valid. This is last minute exam revision so I do ...
9
votes
3answers
280 views

Examples of non-Riemann integrable functions that appear “in nature”?

I am teaching an honours calculus class, and am looking for examples on non-integrable functions that occur somewhere real in mathematics. (The standard example of 1 on $\mathbb{Q}$ and 0 elsewhere ...
3
votes
1answer
46 views

Closed surjection that does not preserve regularity

Def Map $p\colon X\rightarrow Y$ is perfect if it is a closed surjection and $p^{-1}\left(\left\{y\right\}\right)$ is compact for each $y\in Y$ It is well known that perfect maps preserve regularity, ...
15
votes
10answers
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 ...
2
votes
1answer
24 views

Absolutely continuous probability measures example

I was given the following definition: Then this example: It is said that $\mathbb P_1\ll\mathbb P_2$ , but I don't really see it.Please help.
2
votes
0answers
27 views

Kullback-Leibler $KL(p,q)\neq KL(q,p)$

I'm doing a course of Artificial Intelligence and in my homework I must to provide a counter example to show that the Kullback-Leibler distance is not a symmetric function of its arguments: $$ ...
3
votes
2answers
40 views

Example of a function $F(x,y)$

I'm trying to find a non trivial function $F(x,y)$ such that $div F(x,y)=0$ everywhere and $F(x,y)=0$ on the unit square. I know that there are some books that provide such example but I didn't find ...
1
vote
2answers
30 views

A non-algebraic complete lattice

Do you have an example of a complete lattice which is not algebraic‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌?
0
votes
2answers
29 views

Example: Algebraic Multiplicity vs Geometric Multiplicity

Is there a simple example of a matrix having an eigenvalue whose geometric multiplicity is strictly smaller than its algebraic multiplicity?
3
votes
2answers
74 views

Example of a function between boolean lattices that preserves $(\top,\bot,\wedge,\vee)$ but not complements.

Its easy to find boolean lattices $A$ and $B$ together with a function $f : A \rightarrow B$ such that $f$ preserves both top and bottom elements, as well as binary meets, but not complements. ...
9
votes
7answers
396 views

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 ...
4
votes
0answers
34 views

Self-duality in a lattice

Is there any finite 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 ...
2
votes
2answers
60 views

If $S \subseteq X$ is closed, is $f(S,r)$ necessarily closed?

Let $X$ denote a metric space. Whenever $S \subseteq X$ and $r \in \mathbb{R}_{\geq 0}$, write $f(S,r)$ for the following set. $$\{x \in X \mid \exists s \in S : d(x,s) \leq r\}$$ Question. ...
2
votes
1answer
33 views

Discontinuous function whose restriction on closed sets is continuous

Let $X$ a metric space, $\{U_i\}$ a collection of non-empty closed sets whose union is all of $X$. Give an example of a function $f:X\rightarrow \mathbb{R}$ such that the restriction $f|_{U_i}$ is ...
2
votes
1answer
66 views

Does every nonmeasurable set split into a measurable subset and a purely nonmeasurable subset?

Being curious I'm wondering: Suppose you're given a continuous function over a Borel space. Then the preimage of every open is measurable. However, while the preimage of every neighborhood of some ...
1
vote
1answer
52 views

Definition of the total variation of a measure: countable partitions versus finite partitions

The total variation according to Rudin is defined as: $$|\mu|(E):=\sup_{\bigcup_{k\in\mathbb{N}}E_k=E}\sum_k|\mu(E_k)|$$ where the supremum is taken over all countable partitions. Now I'm reading in ...
4
votes
1answer
75 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

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 ...
0
votes
1answer
32 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 ...
0
votes
1answer
99 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
118 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 = ...
5
votes
1answer
111 views

Example of a singular element which is not a topological divisor of zero

We know that every topological divisor of zero in a commutative Banach algebra is singular. I need an example of a singular element which is not a topological divisor of zero.
1
vote
2answers
29 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?
3
votes
3answers
149 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
0answers
44 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
39 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 ...
1
vote
1answer
36 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 ...
4
votes
3answers
399 views

Locally Compact Hausdorff Space That is Not Normal

Someone told me that locally compact Hausdorff spaces (unlike compact ones) need not be normal. Can one give me please such an example? Thank you.