The Stack Overflow podcast is back! Listen to an interview with our new CEO.

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.

Filter by
Sorted by
Tagged with
0
votes
1answer
38 views

Find a group epimorphism $\mathbb{Z}_m \rightarrow \mathbb{Z}_{(m,n)}$ with kernel $n\mathbb{Z}_m$

Let $m$ and $n$ be positive integers and $\otimes=\otimes_\mathbb{Z}$. Denote the GCD of $m$ and $n$ by $(m, n)$. I proved $\mathbb{Z}_m \otimes \mathbb{Z}_n \cong \mathbb{Z}_{(m,n)}$ by considering ...
1
vote
1answer
80 views

Center of a group with order $p^aq^b$

Are there any examples of groups, $G$, such that $|G|=p^aq^b$ (where $p$ and $q$ are distinct primes and $a,b\geq 1$) and $|\mathrm{Z}(G)|=p^a$? ($\mathrm{Z}(G)$ denotes the center of $G$) I ...
2
votes
1answer
115 views

Nice olympiad inequality

Let's go for an olympiad inequality : let $a,b,c>0$ then we have : $$\sum_{cyc}\frac{ab}{a+b}\geq \frac{3\sqrt{3}}{2}\sqrt{\frac{abc}{a+b+c}}$$ My proof : $$\sum_{cyc}\frac{ab}{a+b}=\frac{(a^...
0
votes
1answer
41 views

Does a countable integral domain have only finitely many maximal ideals?

Does a countable integral domain have only finitely many maximal ideals? I've been thinking about this for awhile, I'd really appreciate a proof or counter example!! Thanks!
2
votes
3answers
49 views

Counterexample of Second fundamental theorem of Calculus if f is not continuous

Define $F(x)=\int_{a}^{x} f(t)\,dt$ on $[a,b]$, then by fundamental theorem of calculus, we know that if $f(x)$ is continuous then $F'(x)=f(x)$. Say we remove the condition that $f(x)$ is continuous ...
-1
votes
1answer
78 views

Nice refinement of an inequality by Michael Rozenberg

It's related to this If $a+b+c=abc$ then $\sum\limits_{cyc}\frac{1}{7a+b}\leq\frac{\sqrt3}{8}$: In fact we have this refinement (wich I think much easier) : Let $a,b,c>0$ then we have : $$\...
0
votes
3answers
54 views

Construct $X$ s.t. it has a dense subset but elements in the complement of the subset have no sequence in the subset converging to them

Construct a topological space $X$ with the following property: There is a proper subset $Y$ of $X$ such that the closure of $Y$ is $X$ but if $c \in X-Y$ then there is no sequence in $Y$ converging to ...
1
vote
1answer
101 views

Undecidable cardinality

Let $S$ be an infinite subset of $\mathbb{R}$ with the property that the existence of $S$ can be proved within ZFC (and in particular the definition of $S$ does not invoke the negation of the ...
0
votes
2answers
50 views

Example of an experiment in which A, B, C are independent, but not pairwise independent

Can somebody give an example of process in which we have at least three events A, B, C and: P(A ∩ B ∩ C) = P(A) * P(B) * P(C) But A, B, C are not pairwise independent
3
votes
1answer
71 views

Example of non regular surface

I was reading definition of surface in differential geometry book which defined as follows A subset $S\subset \mathbb R^3$ is regular surface if $\forall p\in S $ there is open set in S such that ...
2
votes
1answer
52 views

$\{f_n \}$ is equicontinuous and pointwise converge to f is f uniformly continuous?

Let $\{f_n \}$ is equicontinuous and pointwise converge to $f$ now is $f$ uniformly continuous ? I can prove f is continuous but is this uniformly continuous? and we know every $f_n$ is uniformly ...
0
votes
1answer
33 views

Any algebraic function that can be expanded as infinite series with unbounded positive integral coefficients?

Cound one give examples of irrational algebraic function that can be expanded as infinite series with unbounded positive integral coefficients, like: $$f(x)=\sum_0^{\infty}a_i x^i,\qquad a_i\in \...
1
vote
1answer
28 views

Examples of commutative semirings satisfying $kb = hb + r \ \; \text{ iff } \; k = h \text{ and } r = 0$.

Let $\Bbb M$ be a commutative semiring. Setting $b = 1 + 1$, $\, \Bbb M$ also satisfies P-1: For every $k,h \in \Bbb M$ and $r \in \{0,1\}$ $$\tag 1 kb = hb + r \ \; \text{ iff } \; k = h \text{ and ...
2
votes
2answers
74 views

Easy counterexamples for each containment $Field\subsetneq ED \subsetneq PID \subsetneq UFD \subsetneq GCD \subsetneq Integral\space Domain$

$\mathbb Z$ could be used for an example of an Euclidean Domain that is not a Field. Can you give other easy examples for the other proper inclusions?
1
vote
1answer
33 views

Does every linear injective open map between Banach spaces map closed sets to closed sets?

Let $X$ and $Y$ be Banach spaces and $T \in L(X,Y)$, i.e. $T$ is a linear continuous map from $X$ to $Y$. Further let $T$ be injective and open. Does $T$ map closed sets to closed sets? I know this ...
0
votes
1answer
25 views

What are some examples of statement-reason format for ratios of segments?

I'm wondering what some examples might be for a proof (statement/reason format) that required you to find the length of two segments if you know that their ratio is $x:y$ and that the total length is $...
1
vote
1answer
45 views

Convergence to standard normal distribution but law of large numbers does not hold. Difficult example

Let $X_1, X_2,...$ be a sequence of random variables (not necessarily independent or identically distributed) Give an example of a sequence such that $\sum_{i=1}^n ({X_i-\mu}) \over \sqrt{n}$ ...
1
vote
1answer
71 views

Is the unit object in a closed monoidal category always integral?

I.Bucur and A.Deleanu in their "Introduction to the theory of categories and functors" define integral object in a category ${\mathcal C}$ as an arbitrary object $I$ that satisfies the following two ...
5
votes
2answers
177 views

Topological spaces which are not pseudometrizable.

Let $(X,\tau)$ be a topological space. Then we know some conditions under which $(X,\tau)$ is metrizable (see for example this and this). It is also clear from these theorems that not every ...
0
votes
0answers
18 views

If $f = o(g)$ and $h = o(p)$, what can we say about the asymptotic behavior of $f + g$?

I would very much like to say that $f + h = o(\text{whichever is bigger between g and p})$ but am a little bit worried if we have $g$ and $p$ oscillating as (say) $x \to \infty$. If we add the ...
1
vote
1answer
30 views

Find two functions $f,g$ such that $\displaystyle\lim_{x\to a}f(x)=A$ and $\displaystyle\lim_{y\to A}g(y)=B$

Find two functions $f,g$ such that $\displaystyle\lim_{x\to a}f(x)=A$ and $\displaystyle\lim_{y\to A}g(y)=B$, but $\displaystyle\lim_{x\to a}g(f(x))\neq B$. I wrote the definitions for both limits. ...
0
votes
2answers
30 views

Operator with given spectrum which is not projector.

I'm stuck in making an example of such operator $A$, that spectrum of $A$ is $\{0,1\}$, but A is not a projector. Could you give me such example, please
2
votes
1answer
52 views

Is the convex hull of a countable set a Borel set?

The convex hull of a subset $X$ of $\mathbb{R}^2$ is the smallest convex subset of $\mathbb{R}^2$ containing $X$. My question is, if $X$ is countable, then is the convex hull of $X$ necessarily a ...
0
votes
0answers
15 views

Example of fixed point free of order 2 which is not inverse mapping

I just learn about fixed point free of order 2 and when G is finite, this is nothing but map $\phi (x)= x^{-1}$. I am looking for example of fixed point free of order 2 which is not the map which $\...
1
vote
0answers
26 views

Concrete example of Lie algebra $\mathfrak{g}$ with $x$ s.t. $x$ is in the radical of $\mathfrak{g}$ but not the radical of the Killing form?

Let $\mathfrak{g}$ be a Lie algebra over algebraically closed field $k$ of characteristic $0$. The radical $R(\mathfrak{g})$ is the largest solvable ideal of $\mathfrak{g}$. The Killing form $\kappa$...
3
votes
0answers
58 views

Is there is group which can not be made into ring with any operation? [duplicate]

I wanted to have example of group which can not be ring? I think if we have non abelian group with some operation we can not proceed to ring . Is it correct or it required to more argument ? ...
-1
votes
1answer
67 views

Is the interior of a Jordan curve a Borel set?

A Jordan curve is a continuous closed curve in the plane with no self-intersections. My question is, is the interior of a Jordan curve always a Borel set? If not, is the interior of a convex Jordan ...
1
vote
4answers
62 views

Differentiability class: Example of maps that are $C^k$ but not $C^{k+1}$.

Is there a classical example for the fact that the differentiability class satify $$ C^{k+1} \subsetneq C^{k} $$ I'm interested in the $C^{k+1} \neq C^{k}$, then is I'm looking for a classical ...
0
votes
1answer
36 views

Quotient ring of the zero-divisor ideal is a flat module

Let $A$ be a commutative unitary ring. In the D. G. Northcot's Multilinear Algebra it is claimed that if a proper ideal $I$ of $A$ contains a zero non-divisor element, say $a$, then the $A$-module $\...
0
votes
0answers
17 views

Non Markov chain process.

Consider $\xi_n $ are independent, non-negative, equal distributed random variables. Let $S_n = \xi_1 + \dots + \xi_n$. Let $N_t = \max \{n : S_n \le t\}$. Does there example of such process, which ...
4
votes
2answers
59 views

Properties of a derivative on a compact interval

Suppose a function $F$ is differentiable on an interval $(a,b) \supset [0,1]$. Denote its derivative by $f$, and suppose that $f > 0$ on $[0,1]$. Question 1: Is it true that $f$ can be bounded ...
0
votes
2answers
42 views

Find sequences such that …

Let $c\in \mathbb{R}$. Find two sequences $(a_n)_n$, $(b_n)_n \subset \mathbb{R}$ with: (i) $\lim\limits_{n\to\infty}a_n=\infty, \lim\limits_{n\to\infty}b_n=0 $ and $\lim\limits_{n\to\infty}a_nb_n=c$ ...
0
votes
0answers
18 views

Graded endomorphisms factoring through nilpotent ones

Let $M$ be a finitely generated 2-graded $k[x,y]$-module, concentrated in nonnegative degrees, and $f$ be a degree $(n,m)$-endomorphism of $M$. We can consider $f$ as a morphism $M\langle n,m\rangle\...
2
votes
2answers
71 views

What is a good example of prefix induction?

the Wikipedia article for Mathematical induction introduces a few variations of the classic principle, such as the strong induction. The strong induction comes with a few examples, namely the closed ...
0
votes
2answers
67 views

Counterexample in topological vector space.

Let's $X$ be a topological vector space. So it has two operations $+$ and $\times$. As we know these operations could be continous. But can it be that one of this operation is continous, but the ...
0
votes
1answer
34 views

Basic theorem for solvable groups not true for nilpotent groups - counterexample.

it's my first question on MathStackExchange so please be tolerant. Let H be a normal subgroup of group G. If H and G/H are both solvable, then G is solvable. But H nilpotent and G/H nilpotent doesn't ...
0
votes
1answer
59 views

Example of noncompact space in which every real valued continuous function on it is uniformly continuous

I wanted to find Example of non-compact metric space $(X,d)$ such that every real-valued continuous function is uniformly continuous My attempt: $X$ is an infinite set $d$ is a discrete metric. ...
4
votes
0answers
66 views

Linear bounded operator from $L^p[0,1]$ to itself whose range consists of continuous functions.

Let $T\colon \mathbb L^p[0,1]\to \mathbb L^p[0,1]$, $1<p<+\infty$, be a linear bounded operator such that $\operatorname{Im}(T)$ is contained in the space of continuous functions. It was shown ...
1
vote
1answer
52 views

Cantor's Intersection Theorem iff complete metric spaces?

If a metric space is complete, we know that the Cantor's Intersection Theorem holds. Does the converse also hold? And if not, what is a suitable counterexample for the same? Also, if the converse ...
0
votes
1answer
39 views

Pointwise convergence vs convergence in measure [closed]

I would be very grateful if I could be given an example of a sequence convergent pointwise but it is not convergent in measure and an example of a sequence convergent in measure but it is not ...
10
votes
1answer
285 views

“Counterexample” for the Inverse function theorem

In my class we stated the theorem as follows: Let $\Omega\subseteq\mathbb{R}^n$ be an open set and $f:\Omega\to\mathbb{R}^n$ a $\mathscr{C}^1(\Omega)$ function. If $|J_f(a)|\ne0$ for some $a\in\Omega$...
0
votes
2answers
38 views

Example of $\sum a_n$ convergent but $\sum \sqrt{a_{2^k}}$ divergent?

The problem is this: Prove that the convergence of $\sum a_n$ implies the convergence of $$\sum \frac{\sqrt{a_n}}{n},$$ if $a_n\geq 0.$ I'm using the Cauchy's method: $\sum \frac{\sqrt{a_n}}{n}$ ...
2
votes
1answer
55 views

A hyperbolic but nonstrictly hyperbolic linear conservation law

I need an example of hyperbolic but nonstrictly hyperbolic linear conservation law, but I am not getting one example in any books that I am studying. My main book is LeVeque (1) and the only example ...
0
votes
0answers
65 views

Product of two sequential spaces is not sequential

The product of two sequential topological spaces is not necessarily sequential. Could you give an example confirming this? As each first-countable space is sequential and the operation of taking a ...
9
votes
2answers
307 views

Example in Measure theory about Borel Measures

I need to show that there are distinct $\sigma$-finite measures in $B(\mathbb{R})$ that are the same in the open sets. Im not really seeing a good example cause every open set is a countable union of ...
2
votes
0answers
39 views

Example of Linear functional on subspace which cannot have extension

I wanted to find example of linear functional on subspace of vector space which cannot be extended to whole vector space. I know that if we are in normed linear space then extension is always ...
2
votes
1answer
51 views

Can the real numbers be embedded into all non-Archimedean real closed fields?

Every Archimedean real closed field is isomorphic to a subfield of $\mathbb{R}$. But I’m wondering if something in the opposite direction is true. Suppose that $F$ is a non-Archimedean real closed ...
3
votes
2answers
41 views

Example of function $g(x)$ s.t. $E(g|X_n|) \not\to 0$

Consider the following result (assuming probability space ($\Omega, \mathcal F, \mathsf P$)) If $g : [0, \infty) \to [0,\infty)$ bounded, strictly increasing, $g(x) > 0$ for $x > 0$ and $\...
0
votes
1answer
24 views

Inequality within complex

I step with a inequality and would like to know if it is truth... $||(a_1-a_2)^2+i(b_1-b_2)^2||\leq ||a_1^2+ib_1^2||+||a_2^2+ib_2^2||,\quad \forall a_1,a_2\in\mathbb{R}$. I tried to prove it but ...
0
votes
0answers
9 views

Proposition about field of fractions [duplicate]

A proposition was left in abstract algebra course that is Fields of fractions of different integral domains are different too. I must prove if it’s true and give a counter example if it’s not true....