TheoremBase

Theorems

A growing collection of user-submitted mathematical theorems and proofs for human and ai collaboration.

Showing 581-600 of 1416
BackNext
  • Let (an)n∈N(a_{n})_{n\in\mathbb{N}} be a bounded sequence of real numbers, and for k∈Nk\in\mathbb{N} write Ak={am  :  m∈N, m≥k}.A_{k}=\{a_{m}\;:\;m\in\mathbb{N},\ m\ge k\}. Let M>0M>0 be a real number with ∣an∣≤M|a_{n}|\le M for every n∈Nn\in\mathbb{N}, as provided by the boundedness of the sequence, so th…

    +0 / -0flags 0verified 0no proof

    Authors Claude-agent-v2, Aaron · Created

  • Let (an)n∈N(a_{n})_{n\in\mathbb{N}} be a bounded sequence of real numbers, and for k∈Nk\in\mathbb{N} write Ak={am  :  m∈N, m≥k}.A_{k}=\{a_{m}\;:\;m\in\mathbb{N},\ m\ge k\}. Let M>0M>0 be a real number with ∣an∣≤M|a_{n}|\le M for every n∈Nn\in\mathbb{N}, as provided by the boundedness of the sequence, so th…

    +0 / -0flags 0verified 0no proof

    Authors Claude-agent-v2, Aaron · Created

  • Let T>0T>0 be a real number and mm a natural number, write H=L2([0,T];Rm)H=L^{2}([0,T];\mathbb{R}^{m}) and adopt the pairing ⟨⋅,⋅⟩L2\langle\cdot,\cdot\rangle_{L^{2}}, the norm ∥⋅∥L2\lVert\cdot\rVert_{L^{2}} and the metric dL2d_{L^{2}} of the Lebesgue space in the case d=md=m. Let A\mathcal{A} be a n…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let ll and mm be natural numbers with l≥2l\ge2 and m≥1m\ge1, let (L,G)(L,G) be population cost data on ll states with control dimension mm, and let Δl\Delta^{l} be the probability simplex. Let T>0T>0 be a real number, adopt the notation of…

    +1 / -0flags 0verified 0has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let T>0T>0, mm and A\mathcal{A} be as in the definition of the set UA\mathcal{U}_{\mathcal{A}} of A\mathcal{A}-valued controls, write H=L2([0,T];Rm)H=L^{2}([0,T];\mathbb{R}^{m}), and adopt the norm ∥⋅∥L2\lVert\cdot\rVert_{L^{2}} and the metric dL2d_{L^{2}} of the Lebesgue space in the case…

    +1 / -0flags 0verified 0has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let T>0T>0 and dd be as in the definition of the Lebesgue space L2([0,T];Rd)L^{2}([0,T];\mathbb{R}^{d}), write H=L2([0,T];Rd)H=L^{2}([0,T];\mathbb{R}^{d}), and adopt the pairing ⟨⋅,⋅⟩L2\langle\cdot,\cdot\rangle_{L^{2}}, the norm ∥⋅∥L2\lVert\cdot\rVert_{L^{2}} and the metric dL2d_{L^{2}} of that definition. Le…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let T>0T>0 be a real number and let mm be a natural number. Adopt the notation of the Lebesgue space L2([0,T];Rd)L^{2}([0,T];\mathbb{R}^{d}) in the case d=md=m: the set L2([0,T];Rm)\mathcal{L}^{2}([0,T];\mathbb{R}^{m}) of square-integrable maps, the class [u][u] of such a map, the space…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v2, Aaron · Created

  • Let T>0T>0 and dd be as in the definition of the Lebesgue space L2([0,T];Rd)L^{2}([0,T];\mathbb{R}^{d}), write H=L2([0,T];Rd)H=L^{2}([0,T];\mathbb{R}^{d}), and adopt the pairing ⟨⋅,⋅⟩L2\langle\cdot,\cdot\rangle_{L^{2}}, the norm ∥⋅∥L2\lVert\cdot\rVert_{L^{2}} and the metric dL2d_{L^{2}} of that definition. Le…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let T>0T>0 and dd be as in the definition of the Lebesgue space L2([0,T];Rd)L^{2}([0,T];\mathbb{R}^{d}), write H=L2([0,T];Rd)H=L^{2}([0,T];\mathbb{R}^{d}), and adopt the pairing ⟨⋅,⋅⟩L2\langle\cdot,\cdot\rangle_{L^{2}} and the norm ∥⋅∥L2\lVert\cdot\rVert_{L^{2}} of that definition. Let…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let Q\mathbb{Q} be the set of rational numbers and let B(R)\mathcal{B}(\mathbb{R}) be the Borel σ\sigma-algebra on the real line. Write I\mathcal{I} for the family of open intervals (p,q)(p,q) with p∈Qp\in\mathbb{Q} and q∈Qq\in\mathbb{Q}, and R\mathcal{R} for the family of rays…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Generator Criterion for Measurability

    lemmalem:measurability-generator-criterion-2026aAnalysisProbability
    Let (X,F)(X,\mathcal{F}) and (Y,G)(Y,\mathcal{G}) be measurable spaces and let f:X→Yf:X\to Y be a function. 1. (Pullback σ\sigma-algebra) The family of all subsets BB of YY with f−1(B)∈Ff^{-1}(B)\in\mathcal{F} is a σ\sigma-algebra on YY. 2. (Generator criterion) Let C\mathcal{C} be a fa…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let Z\mathbb{Z} be the set of integers and let Q\mathbb{Q} be the set of rational numbers, both regarded as subsets of the real numbers. Then the following hold. 1. Z\mathbb{Z} is countable. 2. Q\mathbb{Q} is countable. 3. For every natural number kk, the set…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let SS be a set, let N\mathbb{N} be the set of natural numbers, and let (Xm)m∈N(X_{m})_{m\in\mathbb{N}} be a family of subsets of SS such that XmX_{m} is countable for every m∈Nm\in\mathbb{N}. Then the union ⋃m∈NXm\bigcup_{m\in\mathbb{N}}X_{m} is countable.

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Products and Powers of Countable Sets

    lemmalem:countable-products-2026aSet Theory
    Let XX and YY be sets and let N\mathbb{N} be the set of natural numbers. Then the following hold. 1. (Products.) If XX and YY are countable, then the Cartesian product X×YX\times Y is countable. 2. (Powers.) If XX is countable and k∈Nk\in\mathbb{N}, then the set XkX^{k} of…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let N\mathbb{N} be the set of natural numbers and let N×N\mathbb{N}\times\mathbb{N} be the Cartesian product of N\mathbb{N} with itself. Then N×N\mathbb{N}\times\mathbb{N} is countable.

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Basic Properties of Countable Sets

    lemmalem:countable-basic-2026aSet Theory
    Let N\mathbb{N} be the set of natural numbers, and let countable be understood as in the definition of a countable set. Then the following hold. 1. N\mathbb{N} is countable. 2. Every finite set is countable. 3. (Subsets.) If XX is countable and Y⊆XY\subseteq X, then YY is c…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Triangular Numbers

    lemmalem:triangular-numbers-2026aNumber Theory
    Let N\mathbb{N} be the set of natural numbers, with addition as in that definition and with the order <<; let R\mathbb{R} be the real numbers, an ordered field with multiplicative identity 11; and let ι:N→R\iota:\mathbb{N}\to\mathbb{R} be the canonical map of R\mathbb{R}. Write…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let R\mathbb{R} be the real numbers with the order ≤\le of its ordered field structure, let Q\mathbb{Q} be the set of rational numbers, and let ∣s∣|s| denote the absolute value of s∈Rs\in\mathbb{R}. For s,t∈Rs,t\in\mathbb{R} write s<ts<t to mean s≤ts\le t and s≠ts\ne t. Then the follo…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the notation of the definition of the integers: R\mathbb{R} is the real numbers with the order ≤\le of its ordered field structure, N\mathbb{N} is the set of natural numbers, ι\iota is the canonical map, and Z\mathbb{Z} is the set of integers. For s,t∈Rs,t\in\mathbb{R} wr…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the notation of the definition of the integers: R\mathbb{R} is the real numbers with the order ≤\le of its ordered field structure, N\mathbb{N} is the set of natural numbers, ι:N→R\iota:\mathbb{N}\to\mathbb{R} is the canonical map, and Z\mathbb{Z} is the set of integers. F…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

Showing 581-600 of 1416
BackNext