<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">Oalib</journal-id>
      <journal-title-group>
        <journal-title>Open Access Library Journal</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2333-9721</issn>
      <issn pub-type="ppub">2333-9705</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/oalib.1115332</article-id>
      <article-id pub-id-type="publisher-id">Oalib-151922</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Biomedical</subject>
          <subject>Life Sciences</subject>
          <subject>Business</subject>
          <subject>Economics</subject>
          <subject>Chemistry</subject>
          <subject>Materials Science</subject>
          <subject>Computer Science</subject>
          <subject>Communications</subject>
          <subject>Earth</subject>
          <subject>Environmental Sciences</subject>
          <subject>Engineering</subject>
          <subject>Medicine</subject>
          <subject>Healthcare</subject>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
          <subject>Social Sciences</subject>
          <subject>Humanities</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Closability of Closed Compact Linear Operators</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Kerubo</surname>
            <given-names>Bosire Salome</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Mogotu</surname>
            <given-names>Omoke Priscah</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Willy</surname>
            <given-names>Kangogo</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Department of Pure Mathematics, Jaramogi Oginga Odinga University of Science and Technology, Bondo, Kenya </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The authors declare no conflicts of interest.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>05</day>
        <month>06</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>06</month>
        <year>2026</year>
      </pub-date>
      <volume>13</volume>
      <issue>06</issue>
      <fpage>1</fpage>
      <lpage>1</lpage>
      <history>
        <date date-type="received">
          <day>13</day>
          <month>04</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>14</day>
          <month>06</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>17</day>
          <month>06</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/oalib.1115332">https://doi.org/10.4236/oalib.1115332</self-uri>
      <abstract>
        <p>This paper investigates the closability of closed compact linear operators on Hilbert spaces. It establishes that under certain conditions, every closed compact linear operator is closable. Additionally, it investigates the properties of closable operators and highlights their stability under limits and algebraic operations. We establish a non-closability criterion based on sequences in the domain and demonstrate that the limit of bounded compact operators need not be closable. Moreover, we examine the behavior of closability when operators are added, restricted, or composed with isometries. These results prove that closability is not always preserved under such constructions. Thus, it provides a framework for understanding its role in the analysis of closed compact operators. The analysis relies on spectral theory, the closed graph theorem, Fredholm theory, and von Neumann’s theorem. Consequently, the findings extend known properties of bounded compact operators and provide a clearer understanding of closability and the spectral behavior of closed compact linear operators.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Closability</kwd>
        <kwd>Closed Compact Linear Operator</kwd>
        <kwd>Compact Operator</kwd>
        <kwd>Hilbert Space</kwd>
        <kwd>Bounded Linear Operator</kwd>
        <kwd>Spectral Theory</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>The notion of closed and closable operators is key in operator theory. It describes how operator graphs behave under limits and transformations. This paper focuses on closed compact linear operators on Hilbert spaces and investigates stability properties of closability under limits, sums, restrictions, and composition. Moreover, it studies how compactness interacts with closability and related graph-theoretic properties. The main results show when closability is preserved and when it fails, especially under pointwise convergence, algebraic addition, and restriction to subspaces.</p>
      <p>Let <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> be a linear operator such that <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> , closability is defined by the existence of a minimal closed extension <inline-formula><mml:math><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> , which extends spectral considerations to a broader, more stable framework. In recent studies, Shi [<xref ref-type="bibr" rid="B1">1</xref>] and Sharma [<xref ref-type="bibr" rid="B2">2</xref>] investigated closability. They defined closability via graph closure and established a criterion linking closability to properties of the kernel and range. In particular, they proved that a bounded operator with closed range is necessarily closed, establishing the connection between boundedness and closedness. Moreover, Azzouz [<xref ref-type="bibr" rid="B3">3</xref>] clarified the structure of the space of closed linear operators <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> C </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , proving that boundedness preserved closedness.</p>
      <p>In contrast to these results, not all operators are closable. For instance, Popovici [<xref ref-type="bibr" rid="B4">4</xref>] and Mohammed [<xref ref-type="bibr" rid="B5">5</xref>] investigated densely defined paranormal operators and established that they were non-closable. This was because a paranormal operator <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> satisfied; <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> K </mml:mi><mml:mtext> * </mml:mtext></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> and since <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> K </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> K </mml:mi><mml:mtext> * </mml:mtext></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . It was proven that K was trivially paranormal, and hence it could not be closable. In contribution, Messirdi [<xref ref-type="bibr" rid="B6">6</xref>] and Sandovici [<xref ref-type="bibr" rid="B7">7</xref>] studied almost closable operators and von Neumann’s theorem, which asserts that an operator is closed even when it is not densely defined. These results highlighted the importance of closability in an operator´s extension, stability, and spectral behavior.</p>
      <p>In addition, extensive research has been done on the spectral properties of special classes of operators. It is well known that compact operators on Hilbert spaces have spectra consisting only of eigenvalues, with zero as the only possible accumulation point [<xref ref-type="bibr" rid="B8">8</xref>]. Also, self-adjoint operators have real spectra, while unitary operators have spectra that lie on the unit circle [<xref ref-type="bibr" rid="B9">9</xref>]. In the study of the essential spectrum, Feshchenko [<xref ref-type="bibr" rid="B10">10</xref>] and Jeribi [<xref ref-type="bibr" rid="B11">11</xref>] established that the essential spectrum is invariant under compact and demicompact perturbations but also stable under certain operator matrix constructions. Despite these results, the relationship between compactness, closedness, closability, and the essential spectrum is still not fully understood for closed compact linear operators.</p>
      <p>Motivated by this gap, this paper focuses on closability properties of closed compact linear operators and their implications for spectral analysis. We investigate conditions that make an operator closable, the relationship between closability and compactness, and the structural behavior of their graphs and domains.</p>
      <p>Results from this study will contribute to knowledge in operator theory, particularly in the area of the spectrum. The results will also be of help in establishing the relationship between closabality, closedness, and compactness. This method not only improves existing knowledge but also contributes to the deeper understanding of spectral structures in infinite-dimensional spaces.</p>
    </sec>
    <sec id="sec2">
      <title>2. Preliminaries</title>
      <p>Assume that <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> is a Hilbert space. The space of bounded linear operators on <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> is denoted by <inline-formula><mml:math><mml:mrow><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      <p>Let <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> be a linear operator, then <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> denotes the domain of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> represents the graph of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> .</p>
      <sec id="sec2dot1">
        <title>2.1. Closed and Closable Operators</title>
        <p>Let <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> be a linear operator. We define the graph of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> by</p>
        <disp-formula id="FD1">
          <mml:math>
            <mml:mrow>
              <mml:mi>G</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>K</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>{</mml:mo>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>x</mml:mi>
                      <mml:mo>,</mml:mo>
                      <mml:mi>K</mml:mi>
                      <mml:mi>x</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>:</mml:mo>
                  <mml:mi>x</mml:mi>
                  <mml:mo>∈</mml:mo>
                  <mml:mi>D</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>K</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>}</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>1) <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closed if <inline-formula><mml:math><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is closed in <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> ⊕ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> [<xref ref-type="bibr" rid="B12">12</xref>].</p>
        <p>2) <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable if the closure of its graph is the graph of a linear operator [<xref ref-type="bibr" rid="B12">12</xref>].</p>
      </sec>
      <sec id="sec2dot2">
        <title>2.2. Characterization of Closability</title>
        <p>A linear operator <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable if for every sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that</p>
        <disp-formula id="FD2">
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>x</mml:mi>
                <mml:mi>n</mml:mi>
              </mml:msub>
              <mml:mo>→</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>and</mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>K</mml:mi>
              <mml:msub>
                <mml:mi>x</mml:mi>
                <mml:mi>n</mml:mi>
              </mml:msub>
              <mml:mo>→</mml:mo>
              <mml:mi>y</mml:mi>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>it follows that <inline-formula><mml:math><mml:mrow><mml:mi> y </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> [<xref ref-type="bibr" rid="B12">12</xref>].</p>
      </sec>
      <sec id="sec2dot3">
        <title>2.3. Compact Operators</title>
        <p>An operator <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> is said to be compact if it maps bounded sets into relatively compact sets [<xref ref-type="bibr" rid="B12">12</xref>].</p>
      </sec>
      <sec id="sec2dot4">
        <title>2.4. Classical Results</title>
        <p>We will use the following standard results:</p>
        <p>1) If <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is densely defined and closed, then its graph <inline-formula><mml:math><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is closed in <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> ⊕ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
        <p>2) A linear operator <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable if and only if whenever <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> y </mml:mi></mml:mrow></mml:math></inline-formula> , one has <inline-formula><mml:math><mml:mrow><mml:mi> y </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
        <p>3) Every bounded operator is closed [<xref ref-type="bibr" rid="B3">3</xref>].</p>
      </sec>
    </sec>
    <sec id="sec3">
      <title>3. Main Results</title>
      <p><bold>Proposition</bold><bold>3</bold><bold>.1</bold><bold>.</bold><italic>Let</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>be a Hilbert space and</italic><inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>be a linear</italic><italic>operator</italic>. <italic>Suppose there exists a sequence</italic><inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>such that</italic></p>
      <p>1) <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> .</p>
      <p>2) <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> y </mml:mi></mml:mrow></mml:math></inline-formula> for some <inline-formula><mml:math><mml:mrow><mml:mi> y </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>Then, the operator <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is not closable.</p>
      <p><italic>Proof</italic>. By the characterization of closability given in Section 1, <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable when <inline-formula><mml:math display="inline"><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is dense in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> . Assume, for contradiction, that <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable, so <inline-formula><mml:math display="inline"><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is dense.</p>
      <p>Let <inline-formula><mml:math><mml:mrow><mml:mi> v </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> K </mml:mi><mml:mtext> * </mml:mtext></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . By definition of the adjoint,</p>
      <disp-formula id="FD3">
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:mi>K</mml:mi>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:mi>v</mml:mi>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:msup>
                  <mml:mi>K</mml:mi>
                  <mml:mtext>*</mml:mtext>
                </mml:msup>
                <mml:mi>v</mml:mi>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>for</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>all</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>n</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Taking limits as <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> , we obtain <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> 〈 </mml:mo><mml:mrow><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> v </mml:mi></mml:mrow><mml:mo> 〉 </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mi> lim </mml:mi></mml:mrow><mml:mrow><mml:mi> n </mml:mi><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> 〈 </mml:mo><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> v </mml:mi></mml:mrow><mml:mo> 〉 </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mi> lim </mml:mi></mml:mrow><mml:mrow><mml:mi> n </mml:mi><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> 〈 </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msup><mml:mi> K </mml:mi><mml:mo> * </mml:mo></mml:msup><mml:mi> v </mml:mi></mml:mrow><mml:mo> 〉 </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , since <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . Thus,</p>
      <disp-formula id="FD4">
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:mi>y</mml:mi>
                <mml:mo>,</mml:mo>
                <mml:mi>v</mml:mi>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>for</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>all</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>v</mml:mi>
            <mml:mo>∈</mml:mo>
            <mml:mi>D</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>K</mml:mi>
                  <mml:mtext>*</mml:mtext>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Since <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> K </mml:mi><mml:mtext> * </mml:mtext></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is dense in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> , it follows that <inline-formula><mml:math><mml:mrow><mml:mi> y </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , a contradiction.</p>
      <p>Therefore, <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> K </mml:mi><mml:mtext> * </mml:mtext></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is not dense in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> , and hence <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is not closable. □</p>
      <p><bold>Remark</bold><bold>3</bold><bold>.2</bold><bold>.</bold><italic>Proposition</italic>3.1 <italic>shows that closability is determined by the behavior of sequences converging strongly to zero in the domain of the operator</italic>.<italic>In particular</italic>,<italic>an operator fails to be closable whenever a sequence</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula><italic>in norm is mapped to a sequence whose limit is non</italic>-<italic>zero</italic>.</p>
      <p>The following theorem illustrates this instability for bounded compact operators.</p>
      <p><bold>Theorem</bold><bold>3.3.</bold><italic>Consider a Hilbert space</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>and a sequence of bounded compact linear operators</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> n </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> ℕ </mml:mi></mml:mrow></mml:msub><mml:mo> ⊂ </mml:mo><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .<italic>Suppose a linear operator</italic><inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>exists for which</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mi> x </mml:mi><mml:mo> → </mml:mo><mml:mi> K </mml:mi><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula><italic>for each</italic><inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .<italic>Then</italic>,<italic>closability need not be preserved under this convergence</italic>.</p>
      <p><italic>Proof</italic>. Let <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and define</p>
      <disp-formula id="FD5">
        <mml:math>
          <mml:mrow>
            <mml:mi>D</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>C</mml:mi>
            <mml:mrow>
              <mml:mo>[</mml:mo>
              <mml:mrow>
                <mml:mn>0</mml:mn>
                <mml:mo>,</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>]</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>K</mml:mi>
                <mml:mi>f</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>h</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>h</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>1.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Then, <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is dense in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> and <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is linear. To show that <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is not closable, consider</p>
      <disp-formula id="FD6">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>f</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>1</mml:mn>
                        <mml:mo>−</mml:mo>
                        <mml:mi>m</mml:mi>
                        <mml:mi>t</mml:mi>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>t</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>m</mml:mi>
                        </mml:mfrac>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>0</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>m</mml:mi>
                        </mml:mfrac>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>t</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:mn>1.</mml:mn>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Then</p>
      <disp-formula id="FD7">
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>f</mml:mi>
                      <mml:mi>m</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:mrow>
                <mml:msubsup>
                  <mml:mo>∫</mml:mo>
                  <mml:mn>0</mml:mn>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mn>1</mml:mn>
                      <mml:mo>/</mml:mo>
                      <mml:mi>m</mml:mi>
                    </mml:mrow>
                  </mml:mrow>
                </mml:msubsup>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:mn>1</mml:mn>
                          <mml:mo>−</mml:mo>
                          <mml:mi>m</mml:mi>
                          <mml:mi>t</mml:mi>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mtext>d</mml:mtext>
                  <mml:mi>t</mml:mi>
                </mml:mrow>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:mn>3</mml:mn>
                <mml:mi>m</mml:mi>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>→</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>so <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> f </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> , but</p>
      <disp-formula id="FD8">
        <mml:math>
          <mml:mrow>
            <mml:mi>K</mml:mi>
            <mml:msub>
              <mml:mi>f</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>f</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>h</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>h</mml:mi>
            <mml:mo>≠</mml:mo>
            <mml:mn>0.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Thus, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> f </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> while <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> h </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . By Proposition 3.1 <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is not closable.</p>
      <p>Now define, for each <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> ℕ </mml:mi></mml:mrow></mml:math></inline-formula> ,</p>
      <disp-formula id="FD9">
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mi>f</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msubsup>
                      <mml:mo>∫</mml:mo>
                      <mml:mn>0</mml:mn>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                      </mml:mrow>
                    </mml:msubsup>
                    <mml:mrow>
                      <mml:mi>f</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>s</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>
                      </mml:mo>
                      <mml:mtext>d</mml:mtext>
                      <mml:mi>s</mml:mi>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>h</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>f</mml:mi>
            <mml:mo>∈</mml:mo>
            <mml:msup>
              <mml:mi>L</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>0</mml:mn>
                <mml:mo>,</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Each <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is linear. Moreover, for <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , by the Cauchy-Schwarz inequality,</p>
      <disp-formula id="FD10">
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>|</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msubsup>
                      <mml:mo>∫</mml:mo>
                      <mml:mn>0</mml:mn>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                      </mml:mrow>
                    </mml:msubsup>
                    <mml:mrow>
                      <mml:mi>f</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>s</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mtext>d</mml:mtext>
                      <mml:mi>s</mml:mi>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
              </mml:mrow>
              <mml:mo>|</mml:mo>
            </mml:mrow>
            <mml:mo>≤</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mstyle displaystyle="true">
                      <mml:mrow>
                        <mml:msubsup>
                          <mml:mo>∫</mml:mo>
                          <mml:mn>0</mml:mn>
                          <mml:mrow>
                            <mml:mfrac>
                              <mml:mn>1</mml:mn>
                              <mml:mi>n</mml:mi>
                            </mml:mfrac>
                          </mml:mrow>
                        </mml:msubsup>
                        <mml:mrow>
                          <mml:msup>
                            <mml:mrow>
                              <mml:mrow>
                                <mml:mo>|</mml:mo>
                                <mml:mrow>
                                  <mml:mi>f</mml:mi>
                                  <mml:mrow>
                                    <mml:mo>(</mml:mo>
                                    <mml:mi>s</mml:mi>
                                    <mml:mo>)</mml:mo>
                                  </mml:mrow>
                                </mml:mrow>
                                <mml:mo>|</mml:mo>
                              </mml:mrow>
                            </mml:mrow>
                            <mml:mn>2</mml:mn>
                          </mml:msup>
                          <mml:mtext>d</mml:mtext>
                          <mml:mi>s</mml:mi>
                        </mml:mrow>
                      </mml:mrow>
                    </mml:mstyle>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mo>/</mml:mo>
                  <mml:mn>2</mml:mn>
                </mml:mrow>
              </mml:mrow>
            </mml:msup>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mstyle displaystyle="true">
                      <mml:mrow>
                        <mml:msubsup>
                          <mml:mo>∫</mml:mo>
                          <mml:mn>0</mml:mn>
                          <mml:mrow>
                            <mml:mfrac>
                              <mml:mn>1</mml:mn>
                              <mml:mi>n</mml:mi>
                            </mml:mfrac>
                          </mml:mrow>
                        </mml:msubsup>
                        <mml:mrow>
                          <mml:mn>1</mml:mn>
                          <mml:mtext>d</mml:mtext>
                          <mml:mi>s</mml:mi>
                        </mml:mrow>
                      </mml:mrow>
                    </mml:mstyle>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mo>/</mml:mo>
                  <mml:mn>2</mml:mn>
                </mml:mrow>
              </mml:mrow>
            </mml:msup>
            <mml:mo>≤</mml:mo>
            <mml:msqrt>
              <mml:mi>n</mml:mi>
            </mml:msqrt>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mi>f</mml:mi>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Therefore, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∈ </mml:mo><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Since the range of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is contained in <inline-formula><mml:math><mml:mrow><mml:mtext> span </mml:mtext><mml:mrow><mml:mo> { </mml:mo><mml:mi> h </mml:mi><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , each <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> has rank one, hence is compact.</p>
      <p>Since <inline-formula><mml:math><mml:mi> f </mml:mi></mml:math></inline-formula> is continuous,</p>
      <disp-formula id="FD11">
        <mml:math>
          <mml:mrow>
            <mml:mi>n</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msubsup>
                      <mml:mo>∫</mml:mo>
                      <mml:mn>0</mml:mn>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                      </mml:mrow>
                    </mml:msubsup>
                    <mml:mrow>
                      <mml:mi>f</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>s</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>
                      </mml:mo>
                      <mml:mtext>d</mml:mtext>
                      <mml:mi>s</mml:mi>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>→</mml:mo>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Hence, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mi> f </mml:mi><mml:mo> → </mml:mo><mml:mi> K </mml:mi><mml:mi> f </mml:mi></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      <p>Therefore, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mi> x </mml:mi><mml:mo> → </mml:mo><mml:mi> K </mml:mi><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Closability is not preserved under pointwise convergence on a dense domain. □</p>
      <p><bold>Corollary</bold><bold>3.4.</bold><italic>Consider a Hilbert space</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>and a sequence of bounded compact linear operators</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> n </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> ℕ </mml:mi></mml:mrow></mml:msub><mml:mo> ⊂ </mml:mo><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .<italic>Suppose a linear operator</italic><inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>exists for which</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mi> x </mml:mi><mml:mo> → </mml:mo><mml:mi> K </mml:mi><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula><italic>for each</italic><inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .<italic>Then</italic>,<italic>the</italic><italic>limit operator</italic><inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula><italic>need not be closable</italic>,<italic>even though each</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>is bounded and hence closed</italic>.</p>
      <p><italic>Proof</italic>. Since each <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∈ </mml:mo><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , it follows that every <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is bounded and therefore closed.</p>
      <p>To show that the limit operator need not be closable, consider the same construction as in Theorem 3.2. Let <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and define</p>
      <disp-formula id="FD12">
        <mml:math>
          <mml:mrow>
            <mml:mi>D</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>C</mml:mi>
            <mml:mrow>
              <mml:mo>[</mml:mo>
              <mml:mrow>
                <mml:mn>0</mml:mn>
                <mml:mo>,</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>]</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>K</mml:mi>
                <mml:mi>f</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>h</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>h</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>1.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Then, <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is dense in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> and <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is linear.</p>
      <p>Define</p>
      <disp-formula id="FD13">
        <mml:math display="inline">
          <mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mi>f</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msubsup>
                      <mml:mo>∫</mml:mo>
                      <mml:mn>0</mml:mn>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mn>1</mml:mn>
                          <mml:mo>/</mml:mo>
                          <mml:mi>n</mml:mi>
                        </mml:mrow>
                      </mml:mrow>
                    </mml:msubsup>
                    <mml:mrow>
                      <mml:mi>f</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mi>s</mml:mi>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>
                      </mml:mo>
                      <mml:mtext>d</mml:mtext>
                      <mml:mi>s</mml:mi>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>h</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>n</mml:mi>
            <mml:mo>∈</mml:mo>
            <mml:mi>ℕ</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Each <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is linear, bounded, and of rank one, hence compact (and thus closed). Moreover, for every <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> C </mml:mi><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , continuity at 0 gives</p>
      <disp-formula id="FD14">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>K</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mi>f</mml:mi>
            <mml:mo>→</mml:mo>
            <mml:mi>K</mml:mi>
            <mml:mi>f</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>However, as shown in Theorem 3.2, the operator <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is not closable since there exists a sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> f </mml:mi><mml:mi> m </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> f </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> but <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> f </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> h </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>Thus, although each <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is bounded and hence closed, the limit operator <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> fails to be closable.</p>
      <p><bold>Corollary</bold><bold>3</bold><bold>.5</bold><bold>.</bold><italic>Consider a Hilbert space</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>and a sequence of bounded compact linear operators</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> n </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> ℕ </mml:mi></mml:mrow></mml:msub><mml:mo> ⊂ </mml:mo><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .<italic>Suppose a linear operator</italic><inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>exists for which</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mi> x </mml:mi><mml:mo> → </mml:mo><mml:mi> K </mml:mi><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula><italic>for each</italic><inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .<italic>Then</italic>,<italic>the graph</italic><inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi> H </mml:mi><mml:mo> × </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>of the limit operator need not be closed</italic>.<italic>Consequently</italic>, <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula><italic>need not be closable</italic>.</p>
      <p><italic>Proof</italic>. From Theorem 3.2, there exists a sequence of bounded compact operators <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and a linear operator <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> such that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mi> x </mml:mi><mml:mo> → </mml:mo><mml:mi> K </mml:mi><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula> for all <inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , but <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is not closable.</p>
      <p>Suppose there exists a sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> m </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that</p>
      <disp-formula id="FD15">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>in</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>H</mml:mi>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>K</mml:mi>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>m</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mi>y</mml:mi>
            <mml:mo>≠</mml:mo>
            <mml:mn>0.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Hence, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> m </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ∈ </mml:mo><mml:mi mathvariant="script"> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> for all <inline-formula><mml:math><mml:mi> m </mml:mi></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> m </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> m </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mi> y </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> × </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>Since <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is linear, <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , so <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mi> y </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ∉ </mml:mo><mml:mi mathvariant="script"> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , because <inline-formula><mml:math><mml:mrow><mml:mi> y </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . Therefore, <inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is not closed in <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> × </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> . Since every closed operator is closable, it follows that <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is not closable.</p>
      <p>While Corollary 3.4 established that the limit of closable operators may fail to be closable, the next result extended this instability to the algebraic sum of operators. In particular, it demonstrated that adding a non-closable operator to a closable one destroyed the closability property, even when boundedness was assumed.</p>
      <p><bold>Proposition</bold><bold>3</bold><bold>.6</bold><bold>.</bold><italic>Let</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>be a Hilbert space</italic>.<italic>Suppose</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> : </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>are</italic><italic>linear operators defined on the same dense subspace</italic><inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> D </mml:mi><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> .<italic>Assume</italic>:</p>
      <p>1) <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is bounded (hence closable).</p>
      <p>2) <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is not closable.</p>
      <p>Define the operator <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> = </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> + </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> on the domain <inline-formula><mml:math display="inline"><mml:mi> D </mml:mi></mml:math></inline-formula> . Then <inline-formula><mml:math display="inline"><mml:mi> K </mml:mi></mml:math></inline-formula> is not closable.</p>
      <p><italic>Proof</italic>. Since <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is not closable, there exists a sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi mathvariant="script"> D </mml:mi></mml:mrow></mml:math></inline-formula> such that</p>
      <disp-formula id="FD16">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>in</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>H</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and</p>
      <disp-formula id="FD17">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>K</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mi>z</mml:mi>
            <mml:mo>≠</mml:mo>
            <mml:mn>0.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Since <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is closable and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , we have</p>
      <disp-formula id="FD18">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>K</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mn>0.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Therefore,</p>
      <disp-formula id="FD19">
        <mml:math>
          <mml:mrow>
            <mml:mi>K</mml:mi>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>K</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>K</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mi>z</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>z</mml:mi>
            <mml:mo>≠</mml:mo>
            <mml:mn>0.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Hence, there exists a sequence <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> such that <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> z </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mo> ⇒ </mml:mo><mml:mi> K </mml:mi></mml:mrow></mml:math></inline-formula> is not closable. □</p>
      <p><bold>Remark</bold><bold>3</bold><bold>.7</bold><bold>.</bold><italic>This proposition highlighted the following</italic>:</p>
      <p>1) Closability is not necessarily preserved under the addition of operators.</p>
      <p>2) If one operator in the sum is non-closable, then the resulting operator is also non-closable. Moreover, non-closability is stable under bounded perturbations. That is: if <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is not closable and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is bounded, then <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> + </mml:mo><mml:msub><mml:mi> K </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is not closable.</p>
      <p>3) This occurs because the sequence violating the closability condition for the non-closable operator also prevents the sum from admitting a closed extension.</p>
      <p>Moreover, the study considered whether closability is preserved under domain restriction.</p>
      <p><bold>Proposition</bold><bold>3</bold><bold>.8</bold><bold>.</bold><italic>Let</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>be a Hilbert space and let</italic><inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>be a closable linear operator</italic>.<italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> ⊂ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>be a linear subspace</italic>,<italic>and define the restriction</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mrow><mml:mi> K </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> .<italic>Then</italic>, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula><italic>is closable</italic>.</p>
      <p>Moreover:</p>
      <p>1) If <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is dense in <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with respect to the graph norm, then <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover><mml:mo> = </mml:mo><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> .</p>
      <p>2) If <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is not dense in <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with respect to the graph norm, then <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> may be a proper restriction of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> , although <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> remains closable.</p>
      <p><italic>Proof</italic>. A linear operator <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable if and only if the closure of its graph.</p>
      <disp-formula id="FD20">
        <mml:math>
          <mml:mrow>
            <mml:mi>G</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mo>,</mml:mo>
                    <mml:mi>K</mml:mi>
                    <mml:mi>x</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>∈</mml:mo>
                <mml:mi>H</mml:mi>
                <mml:mo>⊕</mml:mo>
                <mml:mi>H</mml:mi>
                <mml:mo>:</mml:mo>
                <mml:mi>x</mml:mi>
                <mml:mo>∈</mml:mo>
                <mml:mi>D</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>K</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>}</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>is the graph of a single-valued operator.</p>
      <p>Consider the restriction <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> : </mml:mo><mml:msub><mml:mrow><mml:mrow><mml:mi> K </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> whose graph is</p>
      <disp-formula id="FD21">
        <mml:math>
          <mml:mrow>
            <mml:mi>G</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mn>0</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mo>,</mml:mo>
                    <mml:mi>K</mml:mi>
                    <mml:mi>x</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>:</mml:mo>
                <mml:mi>x</mml:mi>
                <mml:mo>∈</mml:mo>
                <mml:msub>
                  <mml:mi>D</mml:mi>
                  <mml:mn>0</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>}</mml:mo>
            </mml:mrow>
            <mml:mo>⊆</mml:mo>
            <mml:mi>G</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Taking closures in <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> ⊕ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> , we obtain</p>
      <disp-formula id="FD22">
        <mml:math>
          <mml:mrow>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>K</mml:mi>
                      <mml:mn>0</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mo>⊆</mml:mo>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>K</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Since <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable, <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> is the graph of a linear operator. The closure of a subset of a graph is also the graph of a single-valued operator in <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> ⊕ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> . Hence, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is closable.</p>
      <p>1) Suppose that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is dense in <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with respect to the graph norm. Then, for every <inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , there exists a sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> such that</p>
      <disp-formula id="FD23">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>x</mml:mi>
                      <mml:mi>n</mml:mi>
                    </mml:msub>
                    <mml:mo>−</mml:mo>
                    <mml:mi>x</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>K</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mn>0.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>That is, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> K </mml:mi><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> .</p>
      <p>Hence, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> K </mml:mi><mml:mi> x </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mrow><mml:mi> H </mml:mi><mml:mo> ⊕ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> , which implies <inline-formula><mml:math><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mover accent="true"><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> .</p>
      <p>Therefore,</p>
      <disp-formula id="FD24">
        <mml:math>
          <mml:mrow>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>K</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mo>=</mml:mo>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>K</mml:mi>
                      <mml:mn>0</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and consequently,</p>
      <disp-formula id="FD25">
        <mml:math>
          <mml:mrow>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mn>0</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mo>=</mml:mo>
            <mml:mover accent="true">
              <mml:mi>K</mml:mi>
              <mml:mo>¯</mml:mo>
            </mml:mover>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>2) Suppose that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is not dense in <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with respect to the graph norm. Then, there exists <inline-formula><mml:math><mml:mrow><mml:mi> z </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that <inline-formula><mml:math><mml:mrow><mml:mi> z </mml:mi><mml:mo> ∉ </mml:mo><mml:msup><mml:mrow><mml:mover accent="true"><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mtext>   </mml:mtext><mml:mo> ⋅ </mml:mo><mml:mtext>   </mml:mtext></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mi> K </mml:mi></mml:msub></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula>.</p>
      <p>Hence, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> z </mml:mi><mml:mo> , </mml:mo><mml:mi> K </mml:mi><mml:mi> z </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ∉ </mml:mo><mml:mover accent="true"><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> , even though <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> z </mml:mi><mml:mo> , </mml:mo><mml:mi> K </mml:mi><mml:mi> z </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ∈ </mml:mo><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Therefore,</p>
      <disp-formula id="FD26">
        <mml:math>
          <mml:mrow>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>K</mml:mi>
                      <mml:mn>0</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mo>⊊</mml:mo>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>K</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and hence <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> is a proper restriction of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> .</p>
      <p>Since <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> is still the graph of a linear operator, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> remains closable. □</p>
      <p><bold>Corollary</bold><bold>3</bold><bold>.9</bold><bold>.</bold><italic>Let</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>be a Hilbert space</italic>,<italic>and let</italic></p>
      <disp-formula id="FD27">
        <mml:math>
          <mml:mrow>
            <mml:mi>K</mml:mi>
            <mml:mo>:</mml:mo>
            <mml:mi>D</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>⊆</mml:mo>
            <mml:mi>H</mml:mi>
            <mml:mo>→</mml:mo>
            <mml:mi>H</mml:mi>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>be a closable linear operator. Let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> ⊂ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> be a linear subspace, and define the restriction <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> : </mml:mo><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mrow><mml:mi> K </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> . If <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is not dense in <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with respect to the graph norm</p>
      <disp-formula id="FD28">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mi>x</mml:mi>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>K</mml:mi>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mrow>
                <mml:mi>K</mml:mi>
                <mml:mi>x</mml:mi>
              </mml:mrow>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>then, the closure <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> may be a proper restriction of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> , although <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> remains closable.</p>
      <p><italic>Proof</italic>. Since <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable, its closure <inline-formula><mml:math><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> exists and has graph <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> .</p>
      <p>Consider the restriction <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> : </mml:mo><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mrow><mml:mi> K </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> with graph</p>
      <disp-formula id="FD29">
        <mml:math>
          <mml:mrow>
            <mml:mi>G</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mn>0</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>⊆</mml:mo>
            <mml:mi>G</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Taking closures,</p>
      <disp-formula id="FD30">
        <mml:math>
          <mml:mrow>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>K</mml:mi>
                      <mml:mn>0</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mo>⊆</mml:mo>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>K</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Hence, <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> is also the graph of an operator, and therefore <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is closable.</p>
      <p>Now suppose that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is not dense in <inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with respect to the graph norm. Then, there exists <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mo> ∉ </mml:mo><mml:msup><mml:mrow><mml:mover accent="true"><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mtext>   </mml:mtext><mml:mo> ⋅ </mml:mo><mml:mtext>   </mml:mtext></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mi> K </mml:mi></mml:msub></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula>.</p>
      <disp-formula id="FD31">
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>f</mml:mi>
                <mml:mo>,</mml:mo>
                <mml:mi>K</mml:mi>
                <mml:mi>f</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>∉</mml:mo>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>K</mml:mi>
                      <mml:mn>0</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>even</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>though</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>f</mml:mi>
                <mml:mo>,</mml:mo>
                <mml:mi>K</mml:mi>
                <mml:mi>f</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>∈</mml:mo>
            <mml:mi>G</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Therefore,</p>
      <disp-formula id="FD32">
        <mml:math>
          <mml:mrow>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>K</mml:mi>
                      <mml:mn>0</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mo>⊊</mml:mo>
            <mml:mover accent="true">
              <mml:mrow>
                <mml:mi>G</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>K</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo stretchy="true">¯</mml:mo>
            </mml:mover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and hence <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow><mml:mo stretchy="true"> ¯ </mml:mo></mml:mover><mml:mo> ≠ </mml:mo><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> .</p>
      <p>Thus, while <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> remains closable, its closure may be strictly smaller than the closure of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> . □</p>
      <p>As examined by Kato [<xref ref-type="bibr" rid="B13">13</xref>], composition with an isometry or partial isometry often preserves certain stability properties of operators. Motivated by this, this recent study presented a sufficient condition for preservation of closability under composition.</p>
      <p><bold>Proposition</bold><bold>3</bold><bold>.10</bold><bold>.</bold><italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> H </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>be an isometry</italic>.<italic>Define the composition</italic></p>
      <disp-formula id="FD33">
        <mml:math>
          <mml:mrow>
            <mml:mi>U</mml:mi>
            <mml:mi>K</mml:mi>
            <mml:mo>:</mml:mo>
            <mml:mi mathvariant="script">D</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>→</mml:mo>
            <mml:mi>H</mml:mi>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>U</mml:mi>
                <mml:mi>K</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>x</mml:mi>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mi>U</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>K</mml:mi>
                <mml:mi>x</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>∈</mml:mo>
            <mml:mi mathvariant="script">D</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Then, <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mi> K </mml:mi></mml:mrow></mml:math></inline-formula> is closable on <inline-formula><mml:math display="inline"><mml:mrow><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      <p><italic>Proof</italic>. Let <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> be such that</p>
      <disp-formula id="FD34">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>in</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>H</mml:mi>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>and</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>U</mml:mi>
            <mml:mi>K</mml:mi>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mi>h</mml:mi>
            <mml:mo>∈</mml:mo>
            <mml:mi>H</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Since <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> converges, it is Cauchy. Because <inline-formula><mml:math display="inline"><mml:mi> U </mml:mi></mml:math></inline-formula> is an isometry,</p>
      <disp-formula id="FD35">
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mrow>
                <mml:mi>K</mml:mi>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:mi>K</mml:mi>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mi>m</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mrow>
                <mml:mi>U</mml:mi>
                <mml:mi>K</mml:mi>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:mi>U</mml:mi>
                <mml:mi>K</mml:mi>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mi>m</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>for</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>all</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>n</mml:mi>
            <mml:mo>,</mml:mo>
            <mml:mi>m</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Hence, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is a Cauchy sequence in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> . Since <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> is complete, there exists <inline-formula><mml:math><mml:mrow><mml:mi> y </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> such that <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> y </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>By continuity of <inline-formula><mml:math><mml:mi> U </mml:mi></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> h </mml:mi><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mi> lim </mml:mi></mml:mrow><mml:mrow><mml:mi> n </mml:mi><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:msub><mml:mi> U </mml:mi><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mi> lim </mml:mi></mml:mrow><mml:mrow><mml:mi> n </mml:mi><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:msub><mml:mi> U </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> U </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> y </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>Therefore, <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mi> K </mml:mi></mml:mrow></mml:math></inline-formula> is closable. □</p>
      <p>This shows that while general bounded composition can destroy closability, composition with an isometry preserves it.</p>
      <p><bold>Corollary</bold><bold>3</bold><bold>.</bold><bold>11</bold><bold>.</bold><italic>Consider a Hilbert space</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>be a closable linear operator</italic><inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊆ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> .<italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mo> : </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>be unitary</italic>.<italic>Then</italic>, <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mi> K </mml:mi></mml:mrow></mml:math></inline-formula><italic>is closable an</italic>d<inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mi> U </mml:mi><mml:mo> : </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> K </mml:mi><mml:mi> U </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>is closable</italic>,<italic>where</italic><inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> K </mml:mi><mml:mi> U </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> H </mml:mi><mml:mo> : </mml:mo><mml:mi> U </mml:mi><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      <p><italic>Proof</italic>. Consider a Hilbert space <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> be a closable linear operator <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> on <inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , and let <inline-formula><mml:math><mml:mi> U </mml:mi></mml:math></inline-formula> be a unitary operator on <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> .</p>
      <p>For <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mi> K </mml:mi></mml:mrow></mml:math></inline-formula> : Take any sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that</p>
      <disp-formula id="FD36">
        <label>(3.1)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>in</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>H</mml:mi>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>U</mml:mi>
            <mml:mi>K</mml:mi>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mi>U</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>K</mml:mi>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>→</mml:mo>
            <mml:mi>y</mml:mi>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>in</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>H</mml:mi>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Since <inline-formula><mml:math><mml:mi> U </mml:mi></mml:math></inline-formula> is unitary, <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> U </mml:mi><mml:mrow><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup><mml:mo> = </mml:mo><mml:msup><mml:mi> U </mml:mi><mml:mtext> * </mml:mtext></mml:msup></mml:mrow></mml:math></inline-formula> is bounded, so applying <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> U </mml:mi><mml:mtext> * </mml:mtext></mml:msup></mml:mrow></mml:math></inline-formula> to both sides of Equation (3.1) gives <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msup><mml:mi> U </mml:mi><mml:mtext> * </mml:mtext></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> U </mml:mi><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:msup><mml:mi> U </mml:mi><mml:mtext> * </mml:mtext></mml:msup><mml:mi> y </mml:mi></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> . Because <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable, the conditions <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:msup><mml:mi> U </mml:mi><mml:mtext> * </mml:mtext></mml:msup><mml:mi> y </mml:mi></mml:mrow></mml:math></inline-formula> imply <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> U </mml:mi><mml:mtext> * </mml:mtext></mml:msup><mml:mi> y </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , applying <inline-formula><mml:math><mml:mi> U </mml:mi></mml:math></inline-formula> , we obtain <inline-formula><mml:math><mml:mrow><mml:mi> y </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . Therefore, <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mi> K </mml:mi></mml:mrow></mml:math></inline-formula> is closable.</p>
      <p>For <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mi> U </mml:mi></mml:mrow></mml:math></inline-formula> : Consider the domain</p>
      <disp-formula id="FD37">
        <mml:math>
          <mml:mrow>
            <mml:mi mathvariant="script">D</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>K</mml:mi>
                <mml:mi>U</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mo>∈</mml:mo>
                <mml:mi>H</mml:mi>
                <mml:mo>:</mml:mo>
                <mml:mi>U</mml:mi>
                <mml:mi>x</mml:mi>
                <mml:mo>∈</mml:mo>
                <mml:mi mathvariant="script">D</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>K</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>}</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Take any sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> K </mml:mi><mml:mi> U </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that</p>
      <disp-formula id="FD38">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>in</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>H</mml:mi>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>K</mml:mi>
            <mml:mi>U</mml:mi>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mi>K</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>U</mml:mi>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>→</mml:mo>
            <mml:mi>y</mml:mi>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>in</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>H</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Since <inline-formula><mml:math><mml:mi> U </mml:mi></mml:math></inline-formula> is bounded, we have <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> . Also, <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> U </mml:mi><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mi> y </mml:mi></mml:mrow></mml:math></inline-formula> . Because <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable, it follows that <inline-formula><mml:math><mml:mrow><mml:mi> y </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . Hence <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mi> U </mml:mi></mml:mrow></mml:math></inline-formula> is closable. □</p>
      <p>Therefore, both <inline-formula><mml:math><mml:mrow><mml:mi> U </mml:mi><mml:mi> K </mml:mi></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mi> U </mml:mi></mml:mrow></mml:math></inline-formula> are closable on their respective domains.</p>
      <p><bold>Proposition</bold><bold>3</bold><bold>.12</bold><bold>.</bold><italic>Let</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula><italic>be a Hilbert space</italic>,<italic>and let</italic><inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>be a compact linear operator with dense domain</italic><inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . <italic>Suppose that</italic><inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula><italic>is closable and that its closure</italic><inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mo> : </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula><italic>is a bounded operator defined on all of</italic><inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> . <italic>Then</italic>:</p>
      <p>1) <inline-formula><mml:math><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> is compact on <inline-formula><mml:math><mml:mi> H </mml:mi></mml:math></inline-formula> .</p>
      <p>2) The non-zero spectra of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> and <inline-formula><mml:math><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> coincide, that is,</p>
      <disp-formula id="FD39">
        <mml:math>
          <mml:mrow>
            <mml:mi>σ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>\</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>}</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>σ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mover accent="true">
                <mml:mi>K</mml:mi>
                <mml:mo>¯</mml:mo>
              </mml:mover>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>\</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>}</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Proof</italic>. Let <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mo> : </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> be compact and densely defined, and assume <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> is closable with bounded closure <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mo> : </mml:mo><mml:mi> H </mml:mi><mml:mo> → </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>1) <inline-formula><mml:math><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> is compact. Take any bounded sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> , say <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Since <inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is dense, for each <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> choose <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> y </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ∈ </mml:mo><mml:mi mathvariant="script"> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> y </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> / </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:mrow></mml:math></inline-formula> . Then, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> y </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is bounded: <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:msub><mml:mi> y </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow><mml:mo> + </mml:mo><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> y </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>By compactness of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> , there exists a subsequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> y </mml:mi><mml:mrow><mml:msub><mml:mi> n </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:msub><mml:mi> y </mml:mi><mml:mrow><mml:msub><mml:mi> n </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo> → </mml:mo><mml:mi> z </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> . Now,</p>
      <disp-formula id="FD40">
        <mml:math>
          <mml:mrow>
            <mml:mover accent="true">
              <mml:mi>K</mml:mi>
              <mml:mo>¯</mml:mo>
            </mml:mover>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>n</mml:mi>
                  <mml:mi>k</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:mi>K</mml:mi>
            <mml:msub>
              <mml:mi>y</mml:mi>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>n</mml:mi>
                  <mml:mi>k</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mover accent="true">
              <mml:mi>K</mml:mi>
              <mml:mo>¯</mml:mo>
            </mml:mover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>n</mml:mi>
                      <mml:mi>k</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>y</mml:mi>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>n</mml:mi>
                      <mml:mi>k</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and since <inline-formula><mml:math><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> is bounded, <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mrow><mml:msub><mml:mi> n </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> y </mml:mi><mml:mrow><mml:msub><mml:mi> n </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mrow><mml:mo> ‖ </mml:mo><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mo> ‖ </mml:mo></mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mrow><mml:msub><mml:mi> n </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> y </mml:mi><mml:mrow><mml:msub><mml:mi> n </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow></mml:msub></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . Thus,</p>
      <disp-formula id="FD41">
        <mml:math>
          <mml:mrow>
            <mml:mover accent="true">
              <mml:mi>K</mml:mi>
              <mml:mo>¯</mml:mo>
            </mml:mover>
            <mml:msub>
              <mml:mi>x</mml:mi>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>n</mml:mi>
                  <mml:mi>k</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mi>K</mml:mi>
            <mml:msub>
              <mml:mi>y</mml:mi>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>n</mml:mi>
                  <mml:mi>k</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mover accent="true">
                  <mml:mi>K</mml:mi>
                  <mml:mo>¯</mml:mo>
                </mml:mover>
                <mml:msub>
                  <mml:mi>x</mml:mi>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>n</mml:mi>
                      <mml:mi>k</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:mi>K</mml:mi>
                <mml:msub>
                  <mml:mi>y</mml:mi>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>n</mml:mi>
                      <mml:mi>k</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>→</mml:mo>
            <mml:mi>z</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>showing that <inline-formula><mml:math><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> is compact.</p>
      <p>2) Let <inline-formula><mml:math><mml:mrow><mml:mi> λ </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . Since both <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> and <inline-formula><mml:math><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> are compact, every non-zero spectral value is an eigenvalue. Thus, it suffices to compare non-zero eigenvalues.</p>
      <p>If <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mi> x </mml:mi><mml:mo> = </mml:mo><mml:mi> λ </mml:mi><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula> for some non-zero <inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , then</p>
      <disp-formula id="FD42">
        <mml:math>
          <mml:mrow>
            <mml:mover accent="true">
              <mml:mi>K</mml:mi>
              <mml:mo>¯</mml:mo>
            </mml:mover>
            <mml:mi>x</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>λ</mml:mi>
            <mml:mi>x</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>so <inline-formula><mml:math><mml:mrow><mml:mi> λ </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> σ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mo> ) </mml:mo></mml:mrow><mml:mo> \ </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mn> 0 </mml:mn><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      <p>Conversely, if <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mi> K </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mi> x </mml:mi><mml:mo> = </mml:mo><mml:mi> λ </mml:mi><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula> for some non-zero <inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> H </mml:mi></mml:mrow></mml:math></inline-formula> , then <inline-formula><mml:math><mml:mi> x </mml:mi></mml:math></inline-formula> belongs to the operator part determined by the closure of the graph of <inline-formula><mml:math><mml:mi> K </mml:mi></mml:math></inline-formula> , and hence <inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> D </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> K </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with <inline-formula><mml:math><mml:mrow><mml:mi> K </mml:mi><mml:mi> x </mml:mi><mml:mo> = </mml:mo><mml:mi> λ </mml:mi><mml:mi> x </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <disp-formula id="FD43">
        <mml:math>
          <mml:mrow>
            <mml:mi>λ</mml:mi>
            <mml:mo>∈</mml:mo>
            <mml:mi>σ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>\</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>}</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Therefore,</p>
      <disp-formula id="FD44">
        <mml:math>
          <mml:mrow>
            <mml:mi>σ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>K</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>\</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>}</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>σ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mover accent="true">
                <mml:mi>K</mml:mi>
                <mml:mo>¯</mml:mo>
              </mml:mover>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>\</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>}</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>□</p>
    </sec>
    <sec id="sec4">
      <title>4. Conclusion</title>
      <p>This study examined closability for closed compact linear operators, establishing that closability may fail under different circumstances. That is, under pointwise limits of bounded compact operators, under addition with non-closable operators, and when domains are restricted. In contrast, closability can also be preserved under composition with isometries and unitaries. Furthermore, the study illustrated how the closure of a closable operator relates to its domain and spectral properties when compact. These results enhance our understanding of the structural stability of linear operators as they establish conditions that preserve or destroy closability and thus suggest further research on the relationship between closability and spectral behavior for bounded compact, non-closable, sum, restriction, and composition operators.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Shi, Y., Xu, G. and Ren, G. (2018) Boundedness and Closedness of Linear Relations. <italic>Linear</italic><italic>and</italic><italic>Multilinear</italic><italic>Algebra</italic>, 66, 309-333. https://doi.org/10.1080/03081087.2017.1298080 <pub-id pub-id-type="doi">10.1080/03081087.2017.1298080</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1080/03081087.2017.1298080">https://doi.org/10.1080/03081087.2017.1298080</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Shi, Y.</string-name>
              <string-name>Xu, G.</string-name>
              <string-name>Ren, G.</string-name>
            </person-group>
            <year>2018</year>
            <article-title>Boundedness and Closedness of Linear Relations</article-title>
            <source>Linear and Multilinear Algebra</source>
            <volume>66</volume>
            <pub-id pub-id-type="doi">10.1080/03081087.2017.1298080</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Sharma, P. (2020) A Study of Closure of an Operator. <italic>International</italic><italic>Journal</italic><italic>of</italic><italic>Trend</italic><italic>in</italic><italic>Scientific</italic><italic>Research</italic><italic>and</italic><italic>Development</italic>, 5, 354-356.</mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Sharma, P.</string-name>
            </person-group>
            <year>2020</year>
            <article-title>A Study of Closure of an Operator</article-title>
            <source>International Journal of Trend in Scientific Research and Development</source>
            <volume>5</volume>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Azzouz, A., Messirdi, B. and Djellouli, G. (2011) New Results on the Closedness of the Product and Sum of Closed Linear Operators. <italic>Bulletin</italic><italic>of</italic><italic>Mathematical</italic><italic>Analysis</italic><italic>and</italic><italic>Applications</italic>, 3, 151-158.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Azzouz, A.</string-name>
              <string-name>Messirdi, B.</string-name>
              <string-name>Djellouli, G.</string-name>
            </person-group>
            <year>2011</year>
            <article-title>New Results on the Closedness of the Product and Sum of Closed Linear Operators</article-title>
            <source>Bulletin of Mathematical Analysis and Applications</source>
            <volume>3</volume>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Popovici, D., Sebestyén, Z. and Tarcsay, Z. (2020) On the Sum between a Closable Operator <italic>T</italic> and a <italic>T</italic>-Bounded Operator. arXiv:1409.5711.</mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Popovici, D.</string-name>
              <string-name>Tarcsay, Z.</string-name>
            </person-group>
            <year>2020</year>
            <article-title>On the Sum between a Closable Operator T and a T-Bounded Operator</article-title>
            <fpage>1409</fpage>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Mortad, M.H. (2020) Simple Examples of Non Closable Paranormal Operators. arXiv:2002.06536.</mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Mortad, M.H.</string-name>
            </person-group>
            <year>2020</year>
            <article-title>Simple Examples of Non Closable Paranormal Operators</article-title>
            <fpage>2002</fpage>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Messirdi, S., Messirdi, B. and Messirdi, M. (2014) On Different Concepts of Closedness of Linear Operators. <italic>Operators</italic><italic>and</italic><italic>Matrices</italic>, 68, 139-156. https://doi.org/10.7153/oam-08-07 <pub-id pub-id-type="doi">10.7153/oam-08-07</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.7153/oam-08-07">https://doi.org/10.7153/oam-08-07</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Messirdi, S.</string-name>
              <string-name>Messirdi, B.</string-name>
              <string-name>Messirdi, M.</string-name>
            </person-group>
            <year>2014</year>
            <article-title>On Different Concepts of Closedness of Linear Operators</article-title>
            <source>Operators and Matrices</source>
            <volume>68</volume>
            <pub-id pub-id-type="doi">10.7153/oam-08-07</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Sandovici, A. (2018) Von Neumann’s Theorem for Linear Relations. <italic>Linear and Multilinear Algebra</italic>, 66, 1750-1756.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Sandovici, A.</string-name>
            </person-group>
            <year>2018</year>
            <article-title>Von Neumann’s Theorem for Linear Relations</article-title>
            <source>Linear and Multilinear Algebra</source>
            <volume>66</volume>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="thesis">Youcef, H. (2020) Study of Some Spectral Properties of Linear Operators and Their Applications. Master’s Thesis, University of Eloued.</mixed-citation>
          <element-citation publication-type="thesis">
            <person-group person-group-type="author">
              <string-name>Youcef, H.</string-name>
              <string-name>Thesis, U</string-name>
            </person-group>
            <year>2020</year>
            <article-title>Study of Some Spectral Properties of Linear Operators and Their Applications</article-title>
            <source>Master’s Thesis</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="thesis">Chilcoat, K. (2016) The Spectral Theorem for Self-Adjoint Operators. Master’s Thesis, East Carolina University.</mixed-citation>
          <element-citation publication-type="thesis">
            <person-group person-group-type="author">
              <string-name>Chilcoat, K.</string-name>
              <string-name>Thesis, E</string-name>
            </person-group>
            <year>2016</year>
            <article-title>The Spectral Theorem for Self-Adjoint Operators</article-title>
            <source>Master’s Thesis</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Feshchenko, I.S. (2014) On the Essential Spectrum of the Sum of Self-Adjoint Operators and the Closedness of the Sum of Operator Ranges. <italic>Banach</italic><italic>Journal</italic><italic>of</italic><italic>Mathematical</italic><italic>Analysis</italic>, 8, 55-63. https://doi.org/10.15352/bjma/1381782087 <pub-id pub-id-type="doi">10.15352/bjma/1381782087</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.15352/bjma/1381782087">https://doi.org/10.15352/bjma/1381782087</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Feshchenko, I.S.</string-name>
            </person-group>
            <year>2014</year>
            <article-title>On the Essential Spectrum of the Sum of Self-Adjoint Operators and the Closedness of the Sum of Operator Ranges</article-title>
            <source>Banach Journal of Mathematical Analysis</source>
            <volume>8</volume>
            <pub-id pub-id-type="doi">10.15352/bjma/1381782087</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B11">
        <label>11.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Jeribi, A., Krichen, B. and Zitouni, A. (2019) Properties of Demicompact Operators, Essential Spectra and Some Perturbation Results for Block Operator Matrices with Applications. <italic>Linear</italic><italic>and</italic><italic>Multilinear</italic><italic>Algebra</italic>, 68, 2506-2522. https://doi.org/10.1080/03081087.2019.1586826 <pub-id pub-id-type="doi">10.1080/03081087.2019.1586826</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1080/03081087.2019.1586826">https://doi.org/10.1080/03081087.2019.1586826</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Jeribi, A.</string-name>
              <string-name>Krichen, B.</string-name>
              <string-name>Zitouni, A.</string-name>
              <string-name>Operators, E</string-name>
            </person-group>
            <year>2019</year>
            <article-title>Properties of Demicompact Operators, Essential Spectra and Some Perturbation Results for Block Operator Matrices with Applications</article-title>
            <source>Linear and Multilinear Algebra</source>
            <volume>68</volume>
            <pub-id pub-id-type="doi">10.1080/03081087.2019.1586826</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B12">
        <label>12.</label>
        <citation-alternatives>
          <mixed-citation publication-type="thesis">Benharrat, M. (2013) Comparison between the Different Definitions of the Essential Spectrum and Applications. Doctoral Dissertation, University of Oran.</mixed-citation>
          <element-citation publication-type="thesis">
            <person-group person-group-type="author">
              <string-name>Benharrat, M.</string-name>
              <string-name>Dissertation, U</string-name>
            </person-group>
            <year>2013</year>
            <article-title>Comparison between the Different Definitions of the Essential Spectrum and Applications</article-title>
            <source>Doctoral Dissertation</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B13">
        <label>13.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Kato, T. (2013) Perturbation Theory for Linear Operators. Springer-Verlag.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Kato, T.</string-name>
            </person-group>
            <year>2013</year>
            <article-title>Perturbation Theory for Linear Operators</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>