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)

3
votes
1answer
117 views

Examples of functions whose arc-length from the origin is given by their derivative

I'm looking for functions $y:\mathbb{R}\rightarrow\mathbb{R}$ such that $$\int_{0}^{a} \sqrt{1+\left(\frac{dy}{dx}\right)^{2}} dx = \frac{dy}{dx}\Bigg|_{a}$$ (this kind of feels like a ...
0
votes
0answers
28 views

Prove or Disprove If $T : R^n \rightarrow\ell_2$ is linear, then $T(A)$ is totally bounded in $\ell_2$ when $A ⊆ R^n$ is bounded

Prove or Disprove, If $ T: \mathbb R^n \rightarrow \ell_2 $ is linear, then It preserves total boundedness $ T(A) $ is totally bounded in $\ell_2$ when $A \subseteq\mathbb R^n$ is bounded. I think ...
6
votes
1answer
477 views

Rainwater theorem, convergence of nets, initial topology

I've stumbled upon a result called Rainwater's theorem a few times, it seems to be a very useful result in connection with weak convergence in Banach spaces. Rainwater's theorem. Let $X$ be a ...
12
votes
3answers
785 views

Example of a category without product

A question was raised in our class about the non-existence of product in a category. The two examples that came up in the discussion was the category of smooth manifolds with boundary and the category ...
8
votes
2answers
2k views

Examples of compact sets that are infinite dimensional and not bounded

In an infinite dimensional Banach space, does a compact subset have to be finite dimensional? I know it cannot contain any infinite dimensional balls, if this mean it has to be finite dimensional, ...
0
votes
1answer
34 views

problems to understand a special definition of “free graded commutative algebra” from lecture

I have problems to understand a definition from lecture: Let $R$ be a commutative ring with unit and such that $2$ is invertible in $R$. The free graded commutative algebra in generators $a_1, .., ...
3
votes
2answers
255 views

Is there a first countable, 0-dimensonal, locally compact, lindelöf, non-compact space?

Is there a first countable, 0-dimensonal, locally compact, lindelöf, non-compact space in which all non-empty open sets have $\pi$-weight $\mathfrak c$? It also can be seen here. Thanks for your ...
0
votes
1answer
29 views

Why is semi-locally simply connected defined this way?

I would like to know why we define a space $X$ to be semi-locally simply connected if $\forall p\in X \exists U\ni p: i(\pi_1(U))=0\subset \pi_1(X)$ (SLSC), where $i$ is induced by ...
0
votes
1answer
57 views

Pseudocompact space having countable $\pi$-base but not metrizable

Can we find a normal Hausdorff space which is a countably compact locally connected space without isolated points and has a countable $\pi$-base but not metrizable? A collection $\mathcal{B}$ of ...
0
votes
1answer
37 views
1
vote
2answers
71 views

Double sequence, two sequences converge, but to different limits? [duplicate]

Let $(a_{m, n})_{m, n}$ be a "double sequence" of real numbers; that is, for every pair $(m, n) \in \mathbb{N} \times \mathbb{N}$, $a_{m, n}$ is a real number. Suppose that, for every $m$, $(a_{m, ...
0
votes
2answers
71 views

Example of a ring for which $rs \neq 0$ but $sr = 0$. [duplicate]

I am looking for an example of an associative noncommutative ring $R$ with the following property: for $r,s \in R$, $$ rs \neq 0, \text{ but } sr = 0. $$ Moreover, do rings for which this cannot ...
1
vote
0answers
68 views

Counterexamples in integral calculus: do functions like these exist?

Could you give me examples of functions of the following kinds? A function which is Riemann-integrable AND has an antiderivative, but is not continuous A function which is Riemann-integrable, and ...
0
votes
2answers
69 views

If $A\dot{-} B$ is countable and $B \dot{-} C$ is countable then $A\dot{-} C$ is countable? [closed]

Prove that: If $A\dot{-} B$ is countable and $B\dot{-} C$ is countable then $A \dot{-} C$ is countable? If not give a counter-argument
2
votes
1answer
54 views

Are there functions that are Holder continuous but whose variation is unbounded?

I have recently been introduced to the concept of Holder condition and I was told that there are functions that are Holder continuous but whose variation in unbounded. Can anyone present an example, ...
2
votes
2answers
109 views

Two sequences such that $\lim_{n \to \infty }| a_n-b_n |=1$ and only one of them is convergent

I should to find $a_n$ which converges to L (real number) and any sequence $b_n$ (which not converges to real number) so that they holds: $\lim_{n \to \infty }\left | a_n-b_n \right |=1$ Thanks for ...
7
votes
1answer
111 views

Does there exist a graph $G$ such that every edge is contained in a unique Hamiltonian circuit, that is not a cycle graph?

Suppose $G$ is an (undirected, simple) finite graph. If $G$ is a cycle graph, then each edge of $G$ belongs to a unique Hamiltonian circuit. Does there exist a non-cycle graph $G$ with this property?
0
votes
1answer
34 views

Does anybody know an example for a matrix with nullspace property for nonnegative signals?

A vector is $k$-sparse, if there are at most $k$ non-zero entries. In compressed sensing an arbitrary matrix $A\in\mathbb{R}^{m\times n}$ (with usually $m<n$) is said to have the null space ...
5
votes
3answers
489 views

Looking for a counter example for non-connected intersection of descending chain of closed connected sets

Let $X$ be a topological space and let $\left\{ Y_{i}\right\} _{i=1}^{\infty}$ be a descending chain of closed connected subsets of $X$. I know from reading elsewhere that ${\displaystyle ...
0
votes
0answers
28 views

False Counterexample for “for all sets A, B, and C, A ∩ (B - C) = (A ∩ B) - (A ∩ C)”

I've put together a proof on this, (which I would appreciate being verified), but I also want to know what a false counterexample might be for this? I'm new to discrete mathematics, and I'm honestly ...
1
vote
1answer
56 views

$\lim(a_n)\rightarrow 0$, $\lim(b_n)\rightarrow$ no limit, $a_nb_n\rightarrow 1$

Find a sequence $a_n$ such that its $\lim(a_n)\rightarrow 0$ and $b_n$ that $\lim(b_n)$ has no limit (finite or infinite) such that $\lim(a_nb_n)\rightarrow1$ using arithmetic i need to find a ...
0
votes
1answer
52 views

Limit point Compactness does not imply compactness counter-example

I think that I understand why compactness implies limit point compactness: Suppose $A \subseteq X$ has no limit points. Then $A^{\prime} \subseteq A$. Thus, $A$ is closed. Then for all $a \in A$, ...
5
votes
4answers
1k views

Example for a proper dense subspace?

I have been reading some books on functional analysis, and many of them keep talking about a vector space along with a dense proper subspace of it (especially when constructing counterexamples). But ...
5
votes
3answers
192 views

counterexample to a “theorem” on continuity of largest deltas for continuous functions $f:[a,b]\to\mathbb{R}$

"Theorem 12" in these notes states the following (verbatim): Let $f:[a,b]\to\mathbb{R}$ be continuous and let $\epsilon>0$. For $x\in[a,b]$, let ...
0
votes
1answer
24 views

Newton's Method in unconstrained optimization fails to converge

In order to show that Newton's method can produce a sequence of iterates that diverges, an example given in my book is apply Newton's Method to minimize $f(x)={2\over 3}|x|^{3\over 2}$. starting at ...
2
votes
1answer
47 views

What are some interesting cases where the two obvious definitions of “discrete object” diverge?

The nLab page defines "discrete object" as follows: Definition. [nLab] Let $\mathbf{C}$ denote a concrete category whose forgetful functor $U$ has a left adjoint $F$. Call the counit of this ...
1
vote
1answer
22 views

Equality of two multilinear forms

Take two multilinear forms $f,g$ defined on the same set $E$ such that $\forall x\in E,f(x,x,\dots,x)=g(x,x,\dots,x)$. Does that imply that the two functions are necessarily equal ? I can't seem to ...
-1
votes
1answer
40 views

Questions on symmetric difference of events

From a comment on my math overflow question: No, $P(A\bigtriangleup B)=0$ means $A$ and $B$ are essentially the same except in situations that almost surely do not happen. $P(A)=P(B)$ says much ...
29
votes
10answers
2k views

Non-associative commutative binary operation [duplicate]

Is there an example of a non-associative, commutative binary operation? What about a non-associative, commutative binary operation with identity and inverses? The only example of a non-associative ...
0
votes
2answers
44 views

strict local extremum of $f'$ that is neither saddle nor inflection value of $f$

Is there a function $f$ with the following properties: $x_0$ is a strict local extremum of $f'$. $(x_0,f(x_0))$ is neither a saddle point of $f$ (i.e. a point with $f'(x_0) =0$ which is not local ...
2
votes
2answers
169 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 ...
36
votes
6answers
3k 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? ...
6
votes
5answers
541 views

Example of a relation that is reflexive but not symmetric

By definition, $R$, a relation in a set X, is reflexive if and only if $\forall x\in X$, $x\,R\,x$, and $R$ is symmetric if and only if $x\,R\,y\implies y\,R\,x$. I think $x\,R\,x$ can also be ...
4
votes
6answers
4k views

Non-associative, non-commutative binary operation with a identity

Can you give me few examples of binary operation that it is not associative, not commutative but has an identity element?
2
votes
1answer
176 views

A Lipschitz function with no directional derivatives at a point

I am stuck in constructing a function that is locally Lipschitz continuous at $x_0$ but it does not have directional differentiation at $x_0 $ in any direction. The definition of directional ...
0
votes
1answer
30 views

Can't the first (/second) transinfinite ordinal replace the first (/second) uncountable ordinal in several counterexamples?

An example of a sequentially compact but not compact space is $\omega_1$. Indeed, any sequence of countable ordinals either has infinite elements below some countable ordinal, or has an ascending ...
1
vote
2answers
103 views

Is there a well known nontrivial counterexample to this claim?

Suppose we have $A\subseteq\mathbb{N}$ with the property that if $B\subseteq\mathbb{N}$ and $B$ is finite, then $\exists a\in A\setminus\{ 1\}$, $\forall b\in B$, $\gcd(a,b)=1$. Are there any well ...
4
votes
1answer
61 views

Is every Hausdorff homogeneous space also regular?

Every Hausdorff topological group is regular (completely regular, in fact). Is this true if I replace topological group with homogeneous space? This is not obvious to me because there are Hausdorff ...
0
votes
1answer
49 views

Connectedness and path connectedness of a union

Exercise: Let $A = \{(x, \sin (1/x)): 0<x\le 1\}$ and $B = \{(x,y)\in\mathbb R_{\le 0}\times\mathbb R | 0.5\le |y|\}$ be sets and $X = A\cup B$ the union. Show that $X$ is connected and path ...
0
votes
0answers
32 views

What's the biggest number used as a counterexemple? [duplicate]

I'm looking for exemples of big numbers that are counterexemple of some interesting conjecture. Do you know conjectures that seemed to be true until a million (or many more) numbers where checked?
2
votes
1answer
89 views

counterexample relating to l'Hopital's rule

Suppose there are two funtions $f(x),g(x)$ such that (as $x \to a$) we have $f(x) \to +\infty$, $g(x) \to +\infty$, and $f'(x)/g'(x) = g(x)/f(x)$. Then by l'Hopital's rule, if $\lim f(x)/g(x)$ ...
1
vote
2answers
41 views

Open and connected set in metric space [duplicate]

In a normed space, we know that if a set is open and connected, it is path connected. Is it true for general metric space or general topological space?
4
votes
4answers
581 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 ...
7
votes
6answers
1k views

Do we have always $f(A \cap B) = f(A) \cap f(B)$?

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
1
vote
3answers
914 views

Function with infinitely many right inverses?

I was thinking about a function with infinitely many right inverses but I could not come up with anything. Does there exist a function with infinitely many right inverses?
1
vote
1answer
312 views

A strongly pseudomonotone map that is not strongly monotone

Let $K$ be a closed convex subset in $\mathbb{R}^n$ and $F: K\rightarrow \mathbb{R}^n$. We say that $F$ is strongly monotone on $K$ if there exists $\gamma>0$ such that $$ \left<F(y)-F(x), ...
0
votes
2answers
152 views

Sequence in $l^p$ but not $l^q$ for all $q<p$

I need to find a sequence for real $p>1$ so it is in $l^p$ but not in any of the space $l^q$ with $1 \leq q <p$. I tried the sequence $(1/n)^{1/q}$ which is in $l^p\setminus l^q$. However, this ...
3
votes
2answers
2k views

Example of Converge in measure, but not converge point-wise a.e.?

Can anyone give an exam of Converge in measure, but not converge point-wise a.e.? And also for the converse part, professor asks us to prove "pointwise a.e. implies converge in measure", but think ...
1
vote
2answers
34 views

Suppose $d$ is a common divisor of two numbers $a_0$ and $a_1$, can $d$ be written as a linear combination of $a_0$,$a_1$ with integer coefficients?

Suppose $d$ is a common divisor of two numbers $a_0$ and $a_1$, can $d$ be written as a linear combination of $a_0$,$a_1$ with integer coefficients? i.e. there exists two integers $i_0,i_1 \in \Bbb Z$ ...
0
votes
1answer
28 views

Construct an example where x(t, x_0) is bounded but limt→+∞ x(t, x_0) does not exist.

Suppose we are given an IVP $x = f(x), x(0) = x_0 $, x ∈ R^n for which we know that the unique solution x(t, x_0) exists globally in time. Construct an example where x(t, x_0) is bounded but limt→+∞ ...