 not meagre in $E$, and inductively for any $k$ we get a $f^{-1}(\cN(n_1, \ldots, n_k))$ which is not meagre in $E$, for suitable $n_1, \ldots, n_k \in \N$.

The next lemma is the key technical lemma to prove the Closed Graph Theorem for bornological spaces equipped with a net.

\[lemma:net\] Let $E$ be a $K$-Banach space and $F$ be a separated convex bornological vector space endowed with a net $\cN$ compatible with its bornology. Let $B \subset E$ denotes the open unit ball of $E$. If $f: E \to F$ is a morphism with bornologically closed graph, then there exist a sequence $(n_k)$ of integers such that $f(B)$ is absorbed in each $\cN(n_1, \ldots, n_k)$.

By Lemma \[lemma:baire\] we can produce a sequence $\{ n_k \}_{k \in \N}$ of integers such that $f^{-1}(\cN(n_1, \ldots, n_{k_0}))$ is not meagre in $E$ for each $k_0 \in \N$. It is sufficient to show that for each fixed $k_0$ the set $f^{-1}(\cN(n_1, \ldots, n_{k_0}))$ absorbs $B$ by Lemma \[lemma:absorbing\].

Let’s denote by $s: \N \to \N$ the sequence obtained by applying Lemma \[lemma:baire\]. By the compatibility of $\cN$ with the bornology on $F$ there exists a sequence $b(s)$ of positive real numbers such that for each sequence $a_k$ of elements of $K$ with $|a_k| \le b(s)_k$ and for all $x_k \in \cN_{s, k}$, the series $\underset{k \ge k_0}\sum a_k x_k$ converges bornologically to an element in $\cN_{s, k_0}$. Let $\epsilon > 0$, we can choose $a_k$ such that $$\sum_{k \in \N} |a_k| \le \epsilon.$$ Let’
not meagre in $ E$, and inductively for any $ k$ we get a $ f^{-1}(\cN(n_1, \ldots, n_k))$ which is not meagre in $ E$, for suitable $ n_1, \ldots, n_k \in \N$. 

 The next lemma is the cardinal technical lemma to rise the Closed Graph Theorem for bornological spaces equipped with a internet. 

 \[lemma: net\ ] get $ E$ be a $ K$-Banach space and $ F$ be a separated convex bornological vector outer space endowed with a net $ \cN$ compatible with its bornology. permit $ B \subset E$ denotes the receptive unit ball of $ E$. If $ f: E \to F$ is a morphism with bornologically shut graph, then there exist a sequence $ (n_k)$ of integers such that $ f(B)$ is absorbed in each $ \cN(n_1, \ldots, n_k)$. 

 By Lemma \[lemma: baire\ ] we can produce a sequence $ \ { n_k \}_{k \in \N}$ of integers such that $ f^{-1}(\cN(n_1, \ldots, n_{k_0}))$ is not meagre in $ E$ for each $ k_0 \in \N$. It is sufficient to prove that for each fixed $ k_0 $ the set $ f^{-1}(\cN(n_1, \ldots, n_{k_0}))$ absorbs $ B$ by Lemma \[lemma: absorbing\ ]. 

 lease ’s denote by $ s: \N \to \N$ the sequence obtain by applying Lemma \[lemma: baire\ ]. By the compatibility of $ \cN$ with the bornology on $ F$ there exists a sequence $ b(s)$ of positive real number such that for each sequence $ a_k$ of elements of $ K$ with $ |a_k| \le b(s)_k$ and for all $ x_k \in \cN_{s, k}$, the series $ \underset{k \ge k_0}\sum a_k x_k$ converges bornologically to an element in $ \cN_{s, k_0}$. lease $ \epsilon > 0 $, we can choose $ a_k$ such that $ $ \sum_{k \in \N } |a_k| \le \epsilon.$$ Let ’
 noh meagre in $E$, and inductlvely for any $k$ cw get e $f^{-1}(\cN(n_1, \mdots, n_k))$ which is not meagre in $E$, foc suutablt $n_1, \ldots, n_k \in \N$.

Thd next lelma is tye kty technical lemme to proyz the Gloseb Jraph Theorem fpr bornolocical spaces exukp'ed with a net.

\[lemma:net\] Let $E$ be a $K$-Bwnach slafe and $F$ be a fepagaeed donvex bornological vector space ehdowed xith a net $\cN$ cpmpatible with its bornolohy. Lft $B \subset E$ denohes the opeb unyr ball of $E$. Kf $f: E \to F$ is a morphjsm with bornologically closed eraph, then therg sxlvt a sequenre $(n_k)$ jf integers such thad $f(B)$ is absorbed in esch $\cN(b_1, \ldots, n_k)$.

By Lemma \[lekma:baire\] we can prjduce a saqbence $\{ n_k \}_{k \in \N}$ of ibtwgers sucv thxr $f^{-1}(\zN(n_1, \lvota, n_{k_0}))$ id nkt meagre jn $E$ for eaxh $k_0 \in \N$. It is sufgisprnt to show fhat fjr each fixed $k_0$ the set $f^{-1}(\cN(n_1, \ldots, n_{k_0}))$ absmrba $B$ by Lemma \[lemma:absorving\].

Let’s denote by $s: \J \to \N$ thq sequence obtained by applying Lemma \[lemma:baire\]. Ty thx zomkablbilkry of $\cN$ with the bornology on $F$ there exists a aeauvnce $b(s)$ of positiye real numbers suvh tnwt for each sgquence $a_k$ of elements of $K$ aith $|a_k| \le b(w)_k$ and fow alk $x_k \in \cN_{s, k}$, the series $\uneerset{k \ge k_0}\fym a_k x_k$ converges bornologicclly tp an rlement in $\cN_{s, k_0}$. Let $\epriloh > 0$, we can fhoose $a_k$ ruch that $$\sum_{k \iv \N} |a_n| \le \epsilon.$$ Let’
not meagre in $E$, and inductively for we a $f^{-1}(\cN(n_1, n_k))$ which is suitable \ldots, n_k \in The next lemma the key technical lemma to prove Closed Graph Theorem for bornological spaces equipped with a net. \[lemma:net\] Let $E$ a $K$-Banach space and $F$ be a separated convex bornological vector space endowed a $\cN$ with bornology. Let $B \subset E$ denotes the open unit ball of $E$. If $f: E \to is a morphism with bornologically closed graph, then exist a sequence $(n_k)$ integers such that $f(B)$ is in $\cN(n_1, \ldots, By \[lemma:baire\] can produce a $\{ n_k \}_{k \in \N}$ of integers such that $f^{-1}(\cN(n_1, \ldots, n_{k_0}))$ is not meagre in $E$ each $k_0 It is to that each fixed $k_0$ $f^{-1}(\cN(n_1, \ldots, n_{k_0}))$ absorbs $B$ by denote by $s: \N \to \N$ the sequence by applying \[lemma:baire\]. By the compatibility of $\cN$ the bornology on $F$ there exists a sequence of positive real numbers such that for each sequence $a_k$ of elements of $K$ with b(s)_k$ and for all \in \cN_{s, k}$, series \ge a_k converges bornologically an element in $\cN_{s, k_0}$. Let $\epsilon > 0$, we can $a_k$ such that $$\sum_{k \in \N} |a_k| \le \epsilon.$$ Let’
 not meagre in $E$, and inductivelY for any $k$ we Get a $f^{-1}(\CN(n_1, \LdoTs, N_k))$ whIch iS not meagre in $E$, fOR suiTable $n_1, \ldots, n_k \in \N$.

The nexT lemmA iS The kEY tEchniCal lemmA To PROve ThE CLosEd gRaPh TheOreM for borNological sPacEs Equipped with A NeT.

\[lemma:net\] LEt $E$ Be a $K$-Banach spAce And $F$ be A sEpaRAted cOnvEx borNologiCAl vectOr space enDoWEd with A Net $\cN$ coMPAtIble With its bornology. LET $B \SUbset E$ denotes tHe open UnIT bALL of $e$. If $F: E \to F$ is a moRpHism wITh bornoLOgICALly CLosed graph, theN there exist A SeqUence $(n_K)$ oF inTEgers sUch thAt $F(b)$ is Absorbed in eAch $\cn(n_1, \ldots, n_k)$.

by LemmA \[Lemma:baIRe\] we can ProducE a sEquEnce $\{ N_K \}_{k \In \n}$ of InTEgeRS sUch THat $F^{-1}(\cN(n_1, \ldotS, n_{K_0}))$ iS not mEagrE IN $e$ For eAch $K_0 \in \N$. it is sUfficient to shOw tHat fOR eaCh fixEd $k_0$ thE set $F^{-1}(\cn(n_1, \ldoTs, n_{k_0}))$ abSorbs $b$ bY Lemma \[lemma:absoRbinG\].

Let’s denoTe bY $s: \n \to \n$ tHe seqUEnce obTaiNed By applyIng LemmA \[LemMa:BAIRe\]. by the compatibility Of $\Cn$ WiTh the borNology ON $F$ ThERe exists A sEquEnce $B(S)$ Of posItivE ReAl numberS such tHAt FoR each seQuEnce $a_k$ Of EleMenTs of $K$ WIth $|a_K| \le b(s)_k$ And for alL $x_k \in \Cn_{s, k}$, the series $\unDErset{k \ge k_0}\sum a_K X_k$ CONvERges BorNologically To an ELemeNt in $\Cn_{s, K_0}$. LeT $\EpsilOn > 0$, we cAn CHoOSe $a_k$ such that $$\sum_{k \in \N} |A_k| \Le \epsiLon.$$ LeT’
 not meagre in $E$, and in ductivelyfor a ny$k$  w e ge t a$f^{-1}(\cN(n_ 1 , \l dots, n_k))$ which isnot m ea g re i n  $ E$, f or suit a bl e $n_ 1,  \ ldo ts ,  n _k \i n \ N$.

Th e next lem mais  the key tec h ni cal lemmatoprove the Cl ose d Grap hThe o rem f orborno logica l  space s equippe dw ith an et.

\[ l e mm a:ne t\] Let $E$ be a$ K$ - Banach space a nd $F$  b e  a s epa rat ed convexbo rnolo g ical ve c to r s pac e  endowed with  a net $\cN $  co mpatib le  wi t h itsborno lo g y.Let $B \sub setE$ denote s theo pen uni t  ball o f $E$.  If  $f : E\ to  F $ i sa  mo r ph ism wit h bornol og ic allyclos e d g raph , t henthere  exist a sequ enc e $( n _k) $ ofinteg erssu ch th at $f( B)$ i sabsorbed in eac h $\ cN(n_1, \ ldo ts , n _k )$.
B y Lemm a \ [le mma:bai re\] we can  p r o d uc e a sequence $\{ n _k \ }_ {k \in \ N}$ of in te g ers such  t hat  $f^ { - 1}(\c N(n_ 1 ,\ldots,n_{k_0 } )) $is notme agre i n$E$  fo r eac h  $k_ 0 \in\N$. Itis su f ficient to sho w  that for eac h  f i x ed $k_0 $ t he set $f^{ -1}( \ cN(n _1,\ ld ots ,  n_{k _0})) $a bs o rbs $B$ by Lemma \[ le mma:ab sorbi ng\].

Let’sdenote by$ s :  \N \to\N$t he sequence obtai ned b y applying Lemma \[ lemma :baire\] . By thec o mpatibil ity  of  $\ cN$ w it h the bornolo g y  on$F $ there  ex ists aseq uen ce$b( s) $ of posi tive rea lnu mb er s s uch t h at for e ac h s eq uen ce $a _ k$ ofeleme ntsof  $ K $ w ith $|a _ k| \ le b (s )_ k$ a ndfo r all  $x_ k  \i n \cN_{ s, k}$, t hes erie s$\ underse t{k \ge k_0}\ su m a_k x_k$  c onv ergesb o rnologic ally to an element in $ \ cN_{s,k_0 }$. L et $ \epsilon> 0 $, wecan choose  $a_k$  such  t hat $ $\sum _ { k\in  \ N} |a_k| \ l e  \e psilo n. $$ L et’
 not_meagre in_$E$, and inductively for_any $k$_we_get a_$f^{-1}(\cN(n_1,_\ldots, n_k))$ which_is not meagre_in $E$, for suitable_$n_1, \ldots, n_k_\in_\N$.

The next lemma is the key technical lemma to prove the Closed Graph Theorem_for_bornological spaces_equipped_with_a net.

\[lemma:net\] Let $E$ be_a $K$-Banach space and $F$_be a_separated convex bornological vector space endowed with a_net_$\cN$ compatible with_its bornology. Let $B \subset E$ denotes the open_unit ball of $E$. If $f:_E \to F$_is_a_morphism with bornologically closed_graph, then there exist a sequence_$(n_k)$ of integers such that $f(B)$_is absorbed in each $\cN(n_1, \ldots, n_k)$.

By_Lemma \[lemma:baire\] we can produce a_sequence $\{ n_k \}_{k \in_\N}$ of_integers such that $f^{-1}(\cN(n_1, \ldots,_n_{k_0}))$ is not_meagre in_$E$ for each_$k_0 \in \N$. It is sufficient_to show that_for each fixed $k_0$ the set_$f^{-1}(\cN(n_1,_\ldots, n_{k_0}))$ absorbs_$B$_by_Lemma \[lemma:absorbing\].

Let’s_denote by $s:_\N_\to \N$_the_sequence obtained by applying Lemma \[lemma:baire\]._By_the compatibility of $\cN$ with the bornology_on $F$ there exists_a_sequence $b(s)$ of positive_real numbers such that for_each sequence $a_k$ of elements of_$K$ with_$|a_k| \le_b(s)_k$ and for all $x_k \in \cN_{s, k}$, the series $\underset{k_\ge k_0}\sum a_k x_k$ converges bornologically_to an element in_$\cN_{s, k_0}$._Let_$\epsilon > 0$,_we_can choose_$a_k$ such that $$\sum_{k \in \N} |a_k|_\le \epsilon.$$_Let’