<?xml version="1.0" encoding="UTF-8"?>
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" dtd-version="1.4" article-type="research-article">
  <front>
    <journal-meta>
      <journal-id journal-id-type="issn">2411-3336</journal-id>
      <journal-id journal-id-type="eissn">2541-9404</journal-id>
      <journal-title-group>
        <journal-title xml:lang="ru">Записки Горного института</journal-title>
        <journal-title xml:lang="en">Journal of Mining Institute</journal-title>
      </journal-title-group>
      <publisher>
        <publisher-name xml:lang="ru">Санкт-Петербургский горный университет императрицы Екатерины ΙΙ</publisher-name>
        <publisher-name xml:lang="en">Empress Catherine II Saint Petersburg Mining University</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id custom-type="pmi" pub-id-type="custom">pmi-15430</article-id>
      <article-id pub-id-type="uri">https://pmi.spmi.ru/pmi/article/view/15430</article-id>
      <article-categories>
        <subj-group subj-group-type="section-heading" xml:lang="ru">
          <subject>Статьи</subject>
        </subj-group>
        <subj-group subj-group-type="section-heading" xml:lang="en">
          <subject>Articles</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title xml:lang="en">To the concept of a definite integral and the proof of the main theorem for the existence of an integral of ordinary differential equations</article-title>
        <trans-title-group xml:lang="ru">
          <trans-title>К понятию об определенном интеграле и о доказательстве основной теоремы существования интеграла обыкновенных дифференциальных уравнений</trans-title>
        </trans-title-group>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="eastern">
            <surname>Krylov</surname>
            <given-names>N. M.</given-names>
          </name>
          <name-alternatives>
            <name name-style="eastern" xml:lang="ru">
              <surname>Крылов</surname>
              <given-names>Н. М.</given-names>
            </name>
            <name name-style="western" xml:lang="en">
              <surname>Krylov</surname>
              <given-names>N. M.</given-names>
            </name>
          </name-alternatives>
          <email>pmi@spmi.ru</email>
          <xref ref-type="aff" rid="aff1"/>
        </contrib>
        <aff-alternatives id="aff1">
          <aff>
            <institution xml:lang="ru"> (Россия)</institution>
          </aff>
          <aff>
            <institution xml:lang="en"> (Russia)</institution>
          </aff>
        </aff-alternatives>
      </contrib-group>
      <pub-date pub-type="epub" iso-8601-date="1913-02-25">
        <day>25</day>
        <month>02</month>
        <year>1913</year>
      </pub-date>
      <pub-date date-type="collection">
        <year>1913</year>
      </pub-date>
      <volume>4</volume>
      <issue>2</issue>
      <fpage>67</fpage>
      <lpage>73</lpage>
      <history>
        <date date-type="received" iso-8601-date="1912-06-28">
          <day>28</day>
          <month>06</month>
          <year>1912</year>
        </date>
        <date date-type="accepted" iso-8601-date="1912-08-07">
          <day>07</day>
          <month>08</month>
          <year>1912</year>
        </date>
        <date date-type="rev-recd" iso-8601-date="1913-02-25">
          <day>25</day>
          <month>02</month>
          <year>1913</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© N. M. Krylov</copyright-statement>
        <copyright-year>1913</copyright-year>
        <copyright-holder xml:lang="ru">Н. М. Крылов</copyright-holder>
        <copyright-holder xml:lang="en">N. M. Krylov</copyright-holder>
        <license xlink:href="http://creativecommons.org/licenses/by/4.0">
          <license-p>CC BY 4.0</license-p>
        </license>
      </permissions>
      <self-uri xlink:type="simple" xlink:href="https://pmi.spmi.ru/pmi/article/view/15430">https://pmi.spmi.ru/pmi/article/view/15430</self-uri>
      <abstract xml:lang="ru">
        <p>К числу интегрируемых относятся также функции, разрывы непрерывности которых могутъ быть заключены в интервалы, причем сумма протяжения последних, есть произвольно малая величина; в самом деле, заключая точки разрыва в интервалы, разность (b— а) можем представить в виде суммы двух частей из которых первая относится к интервалами, лежащими в свою очередь внутри интервалов, заключающих точки разрыва (см. статью). Достаточно показать, что разность (b — а) может быть сделана сколь угодно малой лишь при одном, вполне определенном законе деления, то можно взять такие точки деления, который совпадут с оконечностями интервалов, заключающих разрывы непрерывности функции f и тогда разность (b — а) действительно будет сколь угодно мала. Отсюда заключаем, что к числу интегрируемых относятся между прочими функции, обладающие конечным числом разрывов непрерывности, а также функции, точки разрыва непрерывности которых, будучи в безконечном числе, обладают конечными числом так называемых предельных точек.</p>
      </abstract>
      <abstract xml:lang="en">
        <p>Integrable functions also include functions whose discontinuities can be contained in intervals, and the sum of the extension of the latter is an arbitrarily small value; in fact, by enclosing the discontinuity points in intervals, we can represent the difference (b - a) as the sum of two parts of which the first refers to intervals that, in turn, lie inside the intervals enclosing the discontinuity points (see article). It is enough to show that the difference (b - a) can be made arbitrarily small only under one, well-defined division law, then we can take division points that coincide with the ends of the intervals containing discontinuities in the function f and then the difference (b - a) will actually be as samll as you can imagine. From here we conclude that integrable functions include, among others, functions that have a finite number of discontinuities, as well as functions whose discontinuity points, being infinite in number, have a finite number of so-called limit points.</p>
      </abstract>
    </article-meta>
  </front>
  <body/>
  <back>
    <ref-list>
      <ref id="ref1">
        <label>1</label>
        <mixed-citation xml:lang="ru">-</mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>
